/(-6). Do -3 and u have the same value?
False
Let k = 9 - 6. Suppose -n = -5*f - 0*n - 2, 0 = k*f + 5*n - 10. Let c = 27 + -79/3. Is f not equal to c?
True
Let y(c) = -c**3 - 12*c**2 - 18*c + 6. Let z be y(-10). Which is bigger: -10 or z?
-10
Let d = 6 + -6.18. Let h = 0.13 - 0.24. Let r = h - d. Which is smaller: r or 1?
r
Let d(f) = f**2 + 8*f - 8. Let i = -35 - -26. Let y be d(i). Do y and 3/13 have the same value?
False
Let r = -1.87 + 2.1. Let z = r - 7.23. Is 0.2 greater than z?
True
Suppose 3*g = -w + 29, w = -g + 24 - 1. Let j = 51 - 30. Let r = w - j. Which is greater: r or 5?
5
Let b be (4/6)/((-12)/16). Let z(n) = -n**2 + 11*n + 15. Let u be z(12). Let f be u + (8*-1 - -3). Which is smaller: b or f?
f
Let y = 5612/3 - 1892. Which is smaller: -20 or y?
y
Let a = 86.268 - 0.068. Let r = 86 - a. Which is bigger: r or -2?
r
Let q(f) = f**2 - 2*f - 5. Let r be q(4). Let t = -5 + r. Suppose 13*w + 33 = 2*w. Which is bigger: w or t?
t
Let o(c) = -c**3 - 2*c**2 + 18*c + 12. Let b be o(-5). Let s be (-148)/8 + b/(-6). Is s at least 3?
False
Let u(t) = -t**3 - 10*t**2 - 3*t + 5. Let b = -4 + -5. Let m be u(b). Let i be 14/m + (-26)/7. Are -3 and i nonequal?
True
Let k = -184 - -183. Which is greater: k or 41/3?
41/3
Suppose 0*o + 5*q + 24 = 3*o, -3*o - 3*q = 0. Suppose -3*w + o*r - 24 = 0, 3*r = 5*w - 4*w + 16. Let s be (-60)/(-9) + w/6. Is 6 <= s?
True
Let i = 664 - 3316/5. Which is greater: i or -0.59?
i
Let f(x) = -x**3 + 24*x**2 - 72*x + 15. Let g be f(19). Which is bigger: 449 or g?
g
Let v = -882 + 36164/41. Are 1 and v nonequal?
True
Let b(f) = 10*f + 108. Let i be b(-11). Let d be 13 - (3 + -1) - 2. Which is smaller: d or i?
i
Let r = -110 + 74. Are r and -26 non-equal?
True
Suppose -12*v + 22*v = 50. Let y be -1 - -2 - (0 - 4). Is y at least v?
True
Suppose -n - 785 = 2*c, 2*c - 4*n - 164 + 934 = 0. Is -392 > c?
False
Let m = 64 - 9. Let c = 3 + m. Is c <= 59?
True
Let r(x) = x**3 + 11*x**2 + 3. Let t be r(-11). Are t and 0 nonequal?
True
Suppose -8*j = -5*y - 4*j - 12, 2*y - 4*j = -12. Let w be (-2 - 26)*1/54. Let q = -206/189 - w. Are q and y non-equal?
True
Let g be 1 + -233*(-4)/(-928). Let m = 26 + -27. Is g greater than or equal to m?
True
Suppose 25 = -4*o + 85. Let x = o + -16. Which is greater: x or 2/91?
2/91
Let y be -27*(325/165 + -2). Let h = y + -16/33. Which is smaller: -4 or h?
-4
Let f be (-54)/5 + (-4)/(-5). Let c be (-5)/(-25) + (-326)/30. Which is bigger: f or c?
f
Suppose -5*m = i + 2*i - 12, i - 2*m = 4. Suppose 4*r = i*u + 112, -30 = -r - 5*u + 4*u. Which is smaller: r or 30?
r
Let r be (354/(-1890) + (-2)/(-14))*-145. Which is smaller: r or 7?
r
Suppose 4*c = 1 - 13. Let r be (-2 - -1) + 0/c. Let i be -1*(1 + 8)/(-126). Is r bigger than i?
False
Let h = -16 + 16. Let i = h - -8. Let c = -0.06 + -2.94. Is i greater than c?
True
Let j be (-4)/14 - 810/(-2100). Let z = -539/90 - -44/9. Let v = z - j. Is v at most as big as -2?
False
Let d = -0.0089 + -1.9911. Is d not equal to 6/17?
True
Let x be (-54)/(-12)*(-52)/6. Is x > -2?
False
Let u = 4/33 - -347/33. Is u at least as big as 11?
False
Let z = 0.08 + 4.92. Let f = -12 + 10. Let a = f + z. Which is smaller: a or -1?
-1
Let u = -17 + 43. Let a be u/(-140) - (-30)/75. Is a greater than or equal to -1?
True
Let f = 8/41 - 385/82. Is f greater than or equal to -3?
False
Let d(s) = -s**2 + 2 + 4*s + s - 5. Let r be d(7). Which is greater: -16 or r?
-16
Let v = 34.2 - 34.1. Let y = -0.744 + 0.8. Is y >= v?
False
Let s(f) = f**3 - 10*f**2 + 8*f + 6. Let h be s(9). Let u = h - -2. Let z = -416 - -4572/11. Which is greater: u or z?
z
Let a be (-12)/152 + (-3)/(-5). Let u = a - 2/95. Is u > 1?
False
Let r = -16.65 + 16. Let m = r - -0.55. Is 0.1 at most m?
False
Let j be 200/282 + 2/(-3). Let g = -44 - -59. Suppose -2*f + 5*s - g = f, -f - s = -3. Is f at least j?
False
Suppose 6*u = 11*u. Let z be (2 - (2 - u))*(-1)/(-2). Which is smaller: z or -8/7?
-8/7
Let i = 47 - 1082/23. Let u(g) = -2 + 14 - 3*g + 1 + 6. Let j be u(6). Which is bigger: j or i?
j
Let g = -935 - -961. Let v = -0.2 - 0. Does v = g?
False
Let p = 2.17 + -1.97. Let a = 0 - -2. Let d = -2 + a. Is p at least as big as d?
True
Let n be 42/(-105) - 7/((-385)/492). Which is bigger: n or 9?
9
Suppose 12*y = 8*y - 4*m - 12, 5*m + 25 = 5*y. Does y = 10/7?
False
Let s = -3.45 - -3. Let t = 0.65 + s. Does -5/4 = t?
False
Let s = -2599/25 - -104. Which is bigger: s or -1?
s
Let t(v) = -v**3 - 10*v**2 - v + 6. Let l be t(-9). Let d = l - -46. Let k be (4/d)/((-6)/10). Is 1 equal to k?
False
Let n be (-145)/(-45) + 2/(-9). Let r = n + -14. Let k = r + 14. Which is greater: 3/2 or k?
k
Let v(k) = -k**3 + 10*k**2 + 46*k - 389. Let z be v(11). Let d = 0 - 0. Is d at most z?
False
Suppose -12 = 4*z - 4*b, -5*b + 4 - 1 = -3*z. Let d = 14 + -12. Suppose 2 = -l - 2*j + 7, d*l = j - 10. Which is smaller: z or l?
z
Let w = -174/31 + 44084/7843. Is 1 smaller than w?
False
Suppose -4*u - 21 = -4*q + 3*q, 3*q - 28 = 5*u. Let o be (4*u/10)/(-1*8). Are -6/13 and o equal?
False
Let f = -140.8 - -140.9. Let g = 2.5 + 0.5. Are f and g nonequal?
True
Suppose 37*a - 41328 = -11691. Which is smaller: a or 802?
a
Let a = 62 - 59. Suppose v = -2*o - 14 - 7, -15 = -a*o. Do v and -31 have the same value?
True
Let t be (-3)/24*4*(-20)/2. Suppose -4 = -o + 1, 3*h + t*o - 13 = 0. Suppose 13 = -2*q - 3*f, f - 9 = 3*q + 2*f. Which is greater: q or h?
q
Let p be (1/10)/((-3)/(-12)). Let s = -0.2 + 0.4. Let k = s + -0.2. Is k >= p?
False
Let r = 2.9 + -9. Let u = r - -6. Which is smaller: -6/19 or u?
-6/19
Let q be (-1)/3 - 56/(-6). Let n be (3 - 42)*(-1)/q. Let u be (-2)/1 - ((-12)/6 - 5). Is n less than or equal to u?
True
Let k be (2/5)/((-2)/(-11)). Let j(h) be the third derivative of h**5/60 - h**4/6 - 5*h**3/3 + 4*h**2. Let m be j(6). Is k at most m?
False
Let u(f) = 3*f - 6. Let a be u(5). Suppose 6*q + 3 = a*q. Let z be q*(-3 + 4)*-1. Is z greater than 4?
False
Let f be 9 + (1652/20 - -8). Which is bigger: 100 or f?
100
Let v be -9*5/(-315)*1. Suppose -2*t + 11 = 1. Suppose l - t = -4*l. Which is smaller: v or l?
v
Let o be ((-8)/(-28))/((-4)/(-84)). Let p be 3/2 - o/(-4). Suppose 3*r + 2*r + 61 = p*q, q - 2 = 0. Is -11 at most r?
True
Suppose 0 = 16*t + 35 - 19. Is -0.089 at most as big as t?
False
Let h(m) = -m**3 - 6*m**2 - 6*m - 2. Let p be h(-5). Suppose 15*t - 14*t = 42. Suppose -2*b = 4*r + 18 - 2, -5*r + p*b - t = 0. Which is greater: r or -3?
-3
Let j = -483 + 713. Is 230 greater than j?
False
Let j(p) = -14*p + 5. Let w be j(5). Let h be w/40 - (-1 + -1). Suppose -2*x - 3*s = s + 10, -2*x - 5*s - 13 = 0. Which is greater: x or h?
x
Let t = 270 - 274. Suppose -5*d + 12 = -d. Which is greater: d or t?
d
Let r be ((-8)/20)/(84/(-60)). Is 1/1357 > r?
False
Let o be (-18)/(187/(-51) + (2 - -1)). Which is smaller: 205/8 or o?
205/8
Suppose 21 = 5*o - 8*o. Let u(p) = p + 3. Let x be u(o). Is -4 != x?
False
Let i be (-11)/55 + 12/(-15). Are i and 2/2031 equal?
False
Let k(s) = -33*s. Let v be k(2). Let d = 131/2 + v. Is -2.6 at most as big as d?
True
Suppose 5*s + k = -0*s - 1, 4*s - 1 = k. Let q(r) = -3*r - 1. Let h be q(s). Let y(x) = -23*x**2. Let a be y(h). Is -24 < a?
True
Let a be 2/(-5) + 206080/200. Is a bigger than 1031?
False
Let x = -12.68 - 0.52. Let q = 16 + x. Let u = 5.8 - q. Is 0.1 not equal to u?
True
Suppose y - 519 = 4*l, 378 = -6*l + 3*l + 3*y. Is -134 greater than l?
False
Let x = -281 - -717. Which is smaller: 435 or x?
435
Let c be ((-39)/117)/(214/4). Is 2/3 != c?
True
Suppose 0*g - 238 = 2*g - s, -464 = 4*g + s. Let w be g/(-91) - (-2)/(-7). Is -3/25 less than w?
True
Suppose 12 = u + 3. Let o(m) = 2 - 2*m + u + 1 - 2. Let p be o(9). Does -7 = p?
False
Let t(s) = s**3 - 6*s**2 + 5*s - 26. Let d be t(6). Suppose -18*f + 56 = -d*f. Do f and 5 have different values?
True
Let d = -14.2 + -0.8. Let l = -5699/21 + 815/3. Which is smaller: l or d?
d
Let h = -0.252 + 0.236. Are -2 and h equal?
False
Let w = 11.22 - 11. Let y = w - 1.22. Which is smaller: -0.2 or y?
y
Let x be 3 + (-1)/((-2)/4 - -1). Which is smaller: -4/655 or x?
-4/655
Let d = -765 - -673. Which is smaller: 2 or d?
d
Suppose -95*t + 100*t = 0. Is 1/126 > t?
True
Let l = -1034 + 1033. Are l and -1/143 non-equal?
True
Suppose z + 3 = -3*k, -2*k =