 s and -24/5 non-equal?
True
Let j = 16 - 10. Suppose -3*f = -j*f - 6. Suppose 3*l - 4*v = 9, -5*l - 5*v = 9 + 11. Is l at least f?
True
Suppose 6*p = 4*p + 36. Let a = 17 - p. Let r = 0.18 - 0.14. Which is smaller: a or r?
a
Let d = 1549 + -1537. Which is smaller: -16 or d?
-16
Let f(t) be the third derivative of t**5/60 + 5*t**4/24 + 3*t**3/2 - 10*t**2. Let u be f(-6). Let x be -4*(0 + (-3)/u). Which is greater: 0 or x?
x
Suppose 2*b = 44 + 8. Let x = 24 - b. Is x at most as big as -18/7?
False
Suppose -5*t = -13*s + 9*s - 1819, 4*s + 1864 = -4*t. Is s at most as big as -462?
False
Let g(v) = -v**3 + 12*v**2 + 35*v + 15. Let y be g(15). Is -133 less than or equal to y?
False
Let f(o) = o + 12. Suppose -5*n = -3*n - 8. Let u be f(n). Is 16 less than or equal to u?
True
Let r be 63/12 - (-1)/(-4). Suppose 5*u - r = 3*o, -5*o + 0*o - 4*u = -4. Let a = 7689 + -23066/3. Is a greater than or equal to o?
True
Suppose 0 = o + 4*t - 432, 7*o - 3*t + 869 = 9*o. Is 436 bigger than o?
False
Suppose -10*w - 31728 = 14*w. Do w and -1322 have different values?
False
Let s = 569/12 - 1519/36. Which is bigger: 5 or s?
s
Let b(i) = i + 2. Suppose 0 = 3*u + 2*u. Let v be b(u). Let w be (3/12)/(2/15). Which is bigger: w or v?
v
Let y = 333/5 + -2286/35. Let s be 4/18 - 32/(-18). Which is smaller: s or y?
y
Let l(a) = 3*a**3 + 3*a - 3. Let b be l(2). Let i = b - 80/3. Let f = -22 - -24. Are i and f nonequal?
True
Let a = -0.13 + 0.12. Let d = -17.4 - -2.4. Let b = d + 14.9. Which is greater: b or a?
a
Let x be 8/(-10) + (-1)/(25/(-1020)). Which is smaller: -2/3 or x?
-2/3
Let u = -0.3357 + 0.0357. Which is smaller: 0.3 or u?
u
Let j = -3 + 2. Is 4 bigger than j?
True
Let w = 0.8771 + 0.1229. Which is greater: w or -5.4?
w
Suppose 0 = -2*x - 5*p + 30, -2*x + x - 4*p + 12 = 0. Suppose -2*v = 3*v - x. Suppose -g = v*y + 10 + 6, 4*g - 3*y - 12 = 0. Which is smaller: 5 or g?
g
Let l = -26 + 31. Suppose -c - 18 = 5*j, l*j = -4*c - c - 30. Is 0.5 at most as big as c?
False
Suppose -5*o + 0*w - 3*w - 41 = 0, -2*o + 2*w = 26. Let g be 0*(2 + o/4). Suppose -j - l = 1, j + 3*j - 2*l - 20 = g. Which is smaller: j or 9/4?
9/4
Let u = 4 - 3. Let r be (2 + 9)*(2 - 4)/(-2). Let d = r - 10. Is d equal to u?
True
Suppose 2*d + 18 = -2*t, -3*d - 11 = -4*d + 3*t. Let o be d/(-30) - 590/(-75). Which is greater: o or 9?
9
Let g = -41.051 - -0.051. Let m = g - -40.47. Let b = -0.32 - m. Which is greater: b or -1?
b
Suppose 3*u - 115 = -a, a = -2*u - 2*u + 155. Which is bigger: u or 42?
42
Let q = -90 + 62. Let f be (-12)/17 - q/42. Is 0 bigger than f?
True
Let f(h) = h + 6. Let t be f(-4). Suppose -7*q + 9 = t. Let n be (-6)/(-4) + 2/4. Which is bigger: q or n?
n
Suppose -36*b + 35*b = 278. Is -279 at most b?
True
Let m be ((-24)/(-15))/(-4) + 2405/6200. Are 0 and m equal?
False
Let v = 253.26 - 254. Do 1 and v have the same value?
False
Let s = -181 - -160. Does 0.2 = s?
False
Let j be 1647/4 + 3 + 66/(-24). Let t be 6/(-69) - j/23. Suppose c + 2*y + 2 + 9 = 0, 2*y = 2*c + 40. Are c and t nonequal?
True
Let n = -0.39 - 0.01. Let l = 51 - 29. Let q = l + -22.1. Is q less than or equal to n?
False
Let l(f) be the first derivative of -f**3/3 - 9*f**2/2 + 14*f - 7. Let p be l(-10). Let v = 7 + -3. Is p bigger than v?
False
Let n = 63 + -61. Suppose b - 4*g - 4 = 0, 3*g + n + 1 = 5*b. Is b less than or equal to -4?
False
Let u(c) = -12*c + 6. Suppose 3*x + 2 = 2*x. Let o be u(x). Which is smaller: 29 or o?
29
Suppose 0 = -j - 2, -j - 59 = -3*g - 0*g. Suppose 4*w + g = 7. Let m be 2/w + 15/36. Which is greater: m or 0.4?
0.4
Let h be 10/30*130/(-4). Is -12 smaller than h?
True
Let d = 0.18 + -3.38. Let j = -1.36 - -0.16. Let b = j - d. Is b > 4?
False
Suppose 161 = 56*m + 105*m. Suppose 2*r = 4*s - 20, 4*r = 3*s - 2*s - 19. Let d be ((-1)/(-3))/(2/s). Is m != d?
True
Suppose -9*w = 4*t - 4*w - 16, 5*w - 20 = 0. Is -6/25 at least as big as t?
True
Suppose 5*x - 192 = 37*x. Let f be 2/3 + (-64)/78. Is x >= f?
False
Let g = -368 + 2287/6. Which is smaller: 1/3 or g?
1/3
Let i(u) be the first derivative of u**3/3 + 6*u**2 + 4*u + 10. Let t be i(-12). Which is greater: t or 3?
t
Let m = -81 - -205. Suppose 2*w - 3*w - m = 4*l, -31 = l - 3*w. Is l at most as big as -32?
False
Suppose 0 = 79*z + 61 - 61. Which is smaller: z or -5/237?
-5/237
Let g = 820 + -826. Is g greater than or equal to -11?
True
Let v(f) = 3*f**2 - 37*f + 108. Let n be v(12). Let i be 99 - (0/3 - -3). Do n and i have different values?
False
Let r(n) = 2*n**2 + n - 4. Suppose 10 = 3*j - s, 0 = -0*j - 2*j - 4*s + 2. Let w be r(j). Let p be ((-1)/w)/(1/2). Are p and -2 nonequal?
True
Let x = -23.5 + 26. Let i = 2.4 - x. Let k = 2 - 4. Which is smaller: k or i?
k
Let h = 51 + -17789/349. Are h and 1 non-equal?
True
Suppose -2 = -3*i + 4. Suppose -4*h + 12 = -4*p, -2 = -5*h + h - p. Suppose -i*f + 36 = -4*t + 10, 2*f + h = -5*t. Do f and 7 have different values?
False
Let d(z) = z**3 + 18*z**2 - z - 42. Let r be d(-18). Which is greater: r or -176/7?
r
Let z(b) = b**3 - 8*b**2 - 11*b + 19. Suppose 0 = -6*f + 6 + 48. Let r be z(f). Which is smaller: r or 11?
r
Let k be (11 + 1)*6/9. Let y be -2 - (k + -11 + 5/4). Which is greater: y or -1.33?
y
Let s = 2.048 - 0.048. Which is greater: 2/61 or s?
s
Suppose 0 = 2*u - 0*u + 2. Let a be 18/6 + u*10. Let q(r) = -7*r**2 - 1. Let o be q(-1). Which is smaller: o or a?
o
Let i(j) = -j**3 - 11*j**2 - 3*j - 26. Let r be i(-11). Let z(g) = -g**3 + 8*g**2 - 9*g + 6. Let k be z(r). Let t be (-6)/24 - 10/k. Which is smaller: 1/8 or t?
1/8
Let k(b) be the first derivative of b**2 - 4*b - 1. Suppose 0 = 3*m - 5*u + 12, -2*m + 3*u = 6 + 2. Let x be k(m). Is x <= 1?
True
Let p = 1481/4 - 357. Is p smaller than 14?
True
Suppose 430*i - 418*i = 24. Which is smaller: i or -1?
-1
Let m = -45 - -44. Do 2/159 and m have the same value?
False
Let n = -41407/65 + 637. Suppose 0 + 3 = 3*r. Let d = r - 0. Which is smaller: n or d?
n
Let h(y) = -y**2 + 11*y - 9. Let u be h(10). Suppose 0 = -2*t - 1 - u, 0 = -4*m - 4*t - 4. Suppose 5*f + 3*l - 40 = 0, -f - l - l + 15 = m. Is f less than 4?
False
Suppose 3*y + 14 = 2. Let z be y/48 + 6/(-24). Let n = -1 + 2. Is n != z?
True
Suppose -4*m = -2*q + 858, -4*m - 749 = -5*q + 100. Let k = m + 175. Which is greater: -40 or k?
-40
Let m = -82 - -81. Are m and 73 nonequal?
True
Let u be 87/270 - 18/81. Suppose -4*q = -3*q - 2. Let g be (0 + 0)/(q - 4). Are g and u non-equal?
True
Suppose 3*i + 2*i - 2*i = 0. Is i less than or equal to -86?
False
Let v(n) = n**3 + n**2 - 2*n + 2. Let b be v(2). Let z = -7 + b. Suppose 128*d - 155*d + 54 = 0. Do d and z have different values?
True
Suppose 156*q - 155*q - 3 = 0. Which is greater: -40 or q?
q
Let f = 697202/53 - 13154. Let b = 1746/2173 - f. Is 1 less than b?
False
Let a(p) = -12*p**2 - p - 2. Let g be a(1). Suppose 76 = -4*u - 48. Let o = u - g. Is -16 at most as big as o?
True
Let x be 6/39 - 102086/(-442). Suppose 6*z + 962 + 424 = 0. Let c = x + z. Which is smaller: c or -1?
-1
Let v = -15 + 14.8. Let y = v - -1.2. Is -1/9 at least y?
False
Let q = -19.41 - 0.59. Let x = -18 - q. Is x at most 3?
True
Let q = 4.43 + -4.3. Which is greater: q or -4.1?
q
Let r be ((-756)/30)/((-6)/(-20)). Let d be r/70*(-45)/2. Is 27 at least d?
True
Let y = 111 + -75. Suppose -3*w = -w + y. Which is smaller: -17 or w?
w
Let w = -661/9 + 4051/9. Is 378 at least as big as w?
True
Let v = 1825/1336 + 3/334. Suppose 3*l + 6 = -3*m, -2*l = 5*m - 5*l - 22. Is v > m?
False
Let f(x) = x. Let q(i) = -i**2 - 2*i. Let w(v) = 6*f(v) + q(v). Let c be w(2). Are c and 4 nonequal?
False
Suppose -3*t = 12, 2*v = -18*t + 19*t - 118. Is -187/3 less than or equal to v?
True
Let z be 5 - 1*(-1 + 0). Let v(l) = l**2 - 5*l - 6. Let p be v(z). Let g be (36/117)/(26/6 - 3). Is g greater than or equal to p?
True
Let g = 12 - 14. Let f be -7 - (-2 + g) - -1. Let b be ((-1)/f)/((-4)/(-24)). Which is smaller: b or 5/3?
5/3
Suppose -110*p + 126*p = 16. Let f be -2 - ((-12)/5 + 0). Which is smaller: p or f?
f
Let j be 8 + (-16)/4 + 4. Let v(h) = 2*h**2 - 20*h - 12. Let s be v(11). Does s = j?
False
Suppose -24*w - 5852 = -52*w. Is w <= 1?
False
Let i(t) = 10*t + 4. Let p be i(6). Let r = p + -64. Do 1/90 and r have different values?
True
Let b(w) = -w**3 + 20*w**2 