k - 0*k, 2*k = -10. Suppose 46*v - b = 41*v. Do 52 and v have different values?
False
Let w(u) = -2*u**3 + 2*u**2 + 3*u + 3. Let t be w(-2). Let g be t - (-3)/(-6)*2. Suppose -2*o - 18 = -5*x - 55, g = -4*x. Is 6 < o?
False
Let s be 199 + -188 - (-116)/2. Suppose -4*u + 9*u - 340 = 0. Which is smaller: u or s?
u
Let n = 10 + -9.78. Let i = n - -0.08. Let o = 0.3 - i. Is 3 less than o?
False
Let a = 0.969 + -237.969. Is a not equal to 1/2?
True
Let j = -0.086 - 0.514. Is j <= -2?
False
Suppose 0*m = 4*m - 76. Let l be 9/18 - m/2. Let c = -8 - l. Which is bigger: c or -1/8?
c
Let v(q) = q**3 + 46*q**2 + 48*q + 134. Let n be v(-45). Is n != 1/231?
True
Let l = -94 - -66. Is l greater than -31?
True
Let d(v) = 13 + 2 - 5 - v. Let o be d(10). Are o and 3/8 nonequal?
True
Let k(z) = z**2 + 5*z + 7. Let j be 1/(-1) + 1 + -4. Let m be k(j). Let d be (-2 + m + 1)/2. Which is smaller: d or 2/13?
2/13
Let m be 18/12*22/3. Let o be (-2)/m - 192/(-88). Let l be 1*2 + -4 + 4. Is l bigger than o?
False
Suppose 0 = d - 0*d - 5. Let t = 65 - 68. Let r be ((-2)/t)/(-9*10/(-1215)). Which is smaller: r or d?
d
Suppose 44*n + 3345 = 41*n + m, 0 = 2*n - m + 2230. Are -1115 and n nonequal?
False
Let c = 873 - 839. Is 381/11 >= c?
True
Suppose -w + 108 = -n, 4*w - 62 - 365 = 5*n. Is 114 greater than or equal to w?
True
Let r = -22 - -18. Let b be (-19 - 0) + (-5 - -9). Let h be ((-3)/(b/(-4)))/(8/40). Does r = h?
True
Let u = 30 + -19. Let f = u - 11.15. Let l = -0.85 + f. Which is bigger: 0.4 or l?
0.4
Suppose 0 = -4*z, -t - 1344 = -4*z - z. Let d = t - -95426/71. Which is greater: d or 0?
d
Let x(s) = -3*s - 42. Let p be x(-15). Let v be (-2)/2*p/((-3)/1). Is v at least 1/37?
True
Let c = -0.033 + 2.133. Let s = c - 0.1. Is s not equal to 1?
True
Let i = 0.0547 + 0.0053. Which is bigger: i or -15/4?
i
Let d be 93/33 + (-6)/(-33). Suppose 0 = o + 4*m + 12 - 3, -6 = -5*o - d*m. Suppose 13 = o*i - 26. Which is smaller: i or 14?
i
Let x be ((-20)/(-192))/(33/(-44)). Is x != -1?
True
Let f be (2/20)/((-31)/3689). Is -13 greater than or equal to f?
False
Let f be (-2 - (-7)/2)*2. Suppose -7*u + 20 = -f*u. Suppose 28 = -u*w + w. Is w less than or equal to -9?
False
Let u(k) = -6 + 0 + 3*k - 9 + k**2 - 12. Let j be u(4). Is j at most -12?
False
Let w be -9*-1*2/6. Let r(q) = -q**3 - 4*q**2 - 2*q + 7. Let n be r(-3). Is w equal to n?
False
Suppose 0 = -2*g + 5*g + 6, 5*b - 32 = -4*g. Suppose 5*y - y + 3*c - b = 0, -3*y = c - 11. Which is smaller: y or 9/2?
9/2
Let o = -3403/15 + 562/15. Which is bigger: -189 or o?
-189
Let n be -1 + 2/(-4)*(-6 + 4). Suppose 5*f + 96 = 4*b, -b + n*f = 3*f - 7. Suppose a = 4*a - 51. Which is smaller: b or a?
a
Let t = 348 + -206. Let y be 7/35 + t/(-510). Are y and -1 unequal?
True
Let i = -69 - -36. Let a = i - -31. Suppose 2*t - 4*h = -10, 4*t + 1 + 5 = h. Which is smaller: t or a?
a
Let g = -5/8 + 1/8. Suppose 2*l - 5*y - 18 = l, -4*y = 3*l + 3. Suppose -3*n - l*z - 2*z + 7 = 0, 5*n = z - 7. Which is smaller: g or n?
n
Let f = -194 + 223.8. Let p = -30 + f. Which is greater: -0.1 or p?
-0.1
Let b(g) be the second derivative of -g**3/6 + 5*g**2 + 2*g. Let o be b(6). Suppose o*i + 42 = -22. Are i and 0 nonequal?
True
Suppose 3*t + 7 = 10. Let j be t*7/(-2)*2. Are -8 and j non-equal?
True
Let q = 0.01 + -0.1. Let z = 35.76 + -0.76. Let t = -35.1 + z. Is q >= t?
True
Let k be (-2 - 1337/(-168))/((-1)/(-4)). Is 24 not equal to k?
True
Let u = 74 - 39. Which is bigger: u or 36?
36
Let g(o) = -39*o + 379. Let n be g(9). Is n >= 57/2?
False
Let p be 5 + 0 + (-10 - 559/(-117)). Is p at most as big as 241?
True
Let v(w) = 2*w - 2. Let s be v(5). Let b(n) = 372*n - 1846. Let f be b(5). Which is greater: f or s?
f
Suppose -4*i = -4*p, -p - 8 = -2*p + 3*i. Suppose -4*g = -3*g + 16. Let m be p/g + (-5)/4. Do m and 1/8 have different values?
True
Let i = -9 + 9. Suppose -3*a - 5*x + 10 = i, -a = -5*x - 0 + 10. Let m = a - 2/3. Which is smaller: 1/2 or m?
m
Suppose 2*q = -2*q + 12. Suppose -4*t - 5*u - 4 = 0, 0 = -4*t + q*u + u - 4. Which is bigger: 2/215 or t?
2/215
Let w = 6 - 18. Let c be (-5)/(-20)*(-32)/w. Which is smaller: c or 14?
c
Let j = 7.97 + -10.97. Let z = -0.1 - 0.9. Which is smaller: j or z?
j
Suppose -32 = 5*q + 8. Which is bigger: 29 or q?
29
Let u be 10/50 - (-224)/5. Let t be (-3)/(-2)*(-560)/18. Let x = t + u. Which is smaller: -1 or x?
x
Suppose -4*d - 179 + 175 = 0. Is -0.86 less than or equal to d?
False
Let k(q) = -38*q**3 - q**2 + 24*q + 67. Let x be k(-4). Which is smaller: x or 2388?
x
Let g = -0.8 + -2.5. Let v = 3.7 - g. Is v at least as big as -0.3?
True
Let f = 1639211/289 + -5672. Is 0 > f?
False
Let o be (1/4)/((-75)/(-20)). Let m = o + -2/3. Is m > -2?
True
Let h(o) = o**3 - 3*o**2 - 1. Let m be h(3). Let l be (4227/(-9))/((-294)/(-738)). Let u = -1179 - l. Is u smaller than m?
False
Let i = 28 + -25. Let h be (i/(-78))/((-141)/36 + 4). Do h and 3/7 have the same value?
False
Let j = -44 + -1. Let g = 41497/5 + -8344. Let p = g - j. Is 1/11 smaller than p?
True
Let b = -6.8 + -0.2. Let a = -398/5 - -80. Which is bigger: b or a?
a
Let f be 6/(-1*3) - 0. Let x be (-15)/165*(-2 + 20). Are x and f unequal?
True
Suppose d + 4*j = 6, -5*j + j = -8. Is -40/17 > d?
False
Let q(f) = -6*f - 14. Let l be q(-4). Suppose -l*d = -129 - 21. Is d at least as big as 15?
True
Suppose 3*f + a = 4, a = -4*f + 5 - 0. Which is smaller: f or -1/515?
-1/515
Let c be (-5612)/940 + 0/(-3) + 6. Is c bigger than 1?
False
Let u be 0/1 + 20 + -10. Suppose 0 = -2*g + 4*p - u, -5*g + 5*p + 4 - 14 = 0. Let a = 322 + -5149/16. Is a greater than or equal to g?
False
Suppose 0 = o - 5*o - 32. Let d be 38/o - 2/8. Suppose -4*r = 5*c + 4 + 6, c = -r - 1. Is d > c?
True
Let v(j) = j**2 - 10*j - 8. Let u(r) = r**2 - 21*r - 15. Let o(t) = 3*u(t) - 5*v(t). Let m be o(-6). Is m smaller than 21/11?
True
Let p = -50.3 + 54. Let s = 0.7 - p. Let h = -140 + 1538/11. Is h greater than or equal to s?
True
Let n = 10 + -23. Suppose 183*i = -891 - 608 - 880. Is n > i?
False
Let v be 9/(-21) - 1968/(-84). Is 22 at least v?
False
Let c be 17/(-3)*11/(11/(-3)). Suppose 12 = -5*i + c. Which is smaller: i or 53?
i
Let m(z) = 1 - 9*z**3 - 2*z + 5 + 4*z**2 + 10*z**3. Let t(r) = r**2 - 5. Let o be t(0). Let v be m(o). Do v and -8 have the same value?
False
Let r = -0.433 - -39.433. Is -1 at least r?
False
Let y be (-8)/2*30/(-280). Which is greater: y or -5/4?
y
Suppose -2*w + t = 5*t + 30, -4 = -4*t. Let a = w - -17. Which is smaller: a or -1?
-1
Let x = -10.49 - 419.51. Which is greater: x or -2/5?
-2/5
Let w = 40.7 + 21.7. Let s = -69 + w. Let z = s - 1.4. Which is bigger: -1/2 or z?
-1/2
Suppose 0*r - 8 = r. Does r = 4?
False
Let i = -0.1289 - -6.2659. Let s = -0.137 + i. Let z = -1.98 + -0.02. Does z = s?
False
Suppose -25*w + 10412 = 13*w. Is 273 less than w?
True
Suppose -24*w + 27*w = -162. Let z = -78 - w. Which is smaller: z or -23?
z
Let c = -1 + 37. Let o be (c/8)/9*2. Which is smaller: o or 6/11?
6/11
Let k be (-2756)/(-1855) + (-6)/5. Which is smaller: k or -90?
-90
Let s = 38 + -40. Which is greater: -1 or s?
-1
Let w = 15.94 + -16. Let g = -0.16 - w. Which is bigger: g or 0.3?
0.3
Let s(d) = d**2 + 3*d + 9. Let x(r) = -8*r**2 - 2*r + 1. Let t be x(1). Let v be s(t). Let q be (2/(-3))/(6/v). Is -8 at least as big as q?
False
Let k = 282 + -283. Do k and -6.8 have the same value?
False
Let r be (-101)/(-9) - 2/9. Let x = -2485/4 + 621. Is x at least r?
False
Let i = -0.08 + -0.04. Let o = i + 0.02. Does -18 = o?
False
Let t be 15309/5040 + 4/10. Which is greater: t or 3?
t
Let m be (12 - 4)/(2*1). Let f = 7 - 12. Let g be -2 - (f + 3 + -3). Is g >= m?
False
Let n = 48/41 - 529/697. Let a(t) = t**3 + 11*t**2 + 51*t + 162. Let b be a(-7). Which is smaller: n or b?
n
Let c = -8 - -5. Let z be 20/12 - (-2)/c. Suppose 5*j + v + z = -v, -4*v - 8 = 4*j. Is j > -8?
True
Let d = -3 + 16. Let z be 45/(-36) - (-45)/60. Is d > z?
True
Let o be ((-335)/(-331) - 1)*83/(-83). Which is smaller: o or 0?
o
Let y = 2 - -814. Which is smaller: -1 or y?
-1
Let k be 4/16 + 41/(-148). Do k and 1/3 have the same value?
False
Let t = 0.8 + -0.6. Let g = -27 - -27.1. Let d = 4.1 - g. Which is bigger: d or t?
d
Let z be 12/(-7)*49/(-2). Let o be (-132)/21 + 12/z. Let l be 18/4*4/o. Is -