 Which is smaller: x or t?
x
Let l = 9 + -5. Let p = 125 + -125.4. Which is smaller: p or l?
p
Let a be (2 - (-2)/2) + 837/(-243). Let m(t) = -5*t + 0 + 0*t - 5*t**2 - t**3 - 3. Let k be m(-4). Which is bigger: k or a?
k
Let d = -62099/330 + -73/330. Let p = d + 189. Does 0.2 = p?
False
Let f = 1 - 2. Let w be 35/(-140)*50/15. Is w >= f?
True
Let o(l) = l**2 + 34*l - 36. Let b be o(-35). Which is smaller: -1/287 or b?
b
Let d(j) = j**2 - 1. Let l be d(-2). Let m(u) = u**2 + 15*u + 18. Let v be m(-14). Suppose v*a = 3*a - 0*a. Is l != a?
True
Let a(t) = -7*t - 99. Let w be a(-20). Which is bigger: 43 or w?
43
Let r(c) = -4*c - 88. Let o be r(-14). Is -34 greater than o?
False
Let l(u) = u + 5. Let i be l(-3). Let z be (4/14)/(i/14). Suppose z*o = -b - 7, 0*o - 4*o = 4*b + 24. Which is smaller: b or -4?
b
Let b = -8 + 7. Let k = 19 + -31. Let s be (-75)/k + -3 - 3. Which is greater: s or b?
s
Let l = -169 + 184. Which is smaller: -0.2 or l?
-0.2
Let s be ((-3)/((-30)/(-4)))/(16/10). Which is greater: -5/6 or s?
s
Suppose -3*k = -z - z + 10, -z - k = 0. Suppose -u + 84 = z*u. Let g be (-1)/2 + 46/u. Does g = 0?
False
Suppose -2*u + 3 = -3*u. Let z be 0 - (108/53 - (u + 5)). Suppose -3*l = -3*y, 0 = 5*y - 3*l + 2 - 4. Which is greater: z or y?
y
Let n be 33/(-15) + 0 + 24 + -29. Is n at least as big as -8?
True
Let u(j) = 13*j - 14. Let d be u(4). Let z = 37 - d. Which is smaller: -7/16 or z?
z
Let g = 873.94 - 816. Let b = 0.06 + g. Is -1 equal to b?
False
Let h = 68.3 - 123.9. Let c = -56 - h. Do 6 and c have the same value?
False
Let l = -391 + 200. Does -192 = l?
False
Let q = -28 + 220. Let g = q + -2878/15. Let v = 3549 + -3553. Is g at least as big as v?
True
Let i be -3 - (-11 + 2 + -3). Let y be ((-18)/(-8))/(i/(-36)). Let d be (-1)/(2 - (-21)/y). Which is bigger: d or 2?
d
Let y be ((-12)/(-4) + -3)/2. Let g(q) = 3. Let f(c) = -c - 1. Let k(o) = -2*f(o) - g(o). Let j be k(y). Is -1 < j?
False
Let j = 904 - 397. Which is bigger: 505 or j?
j
Let i(p) = 2*p**2 + 9*p - 9. Let m(w) = -w + 2. Let h be m(9). Let a be i(h). Is a at least 26?
True
Let v = -3084 - -2504. Is v smaller than -579?
True
Let a be 0 + -13 + 300/(-120). Is a equal to -17?
False
Suppose 0 = w - 5*m - 288, -3*w - 4*m + 2*m + 813 = 0. Which is greater: 274 or w?
274
Let q(a) = 3*a + 30. Let x be q(-10). Are 7/82 and x nonequal?
True
Let k = -170.23 - -171. Let v = 4.77 - k. Let b = 15 + -9. Is v <= b?
True
Let h = 8/163 - 697/4238. Let y(v) = -2*v + 13. Let n be y(6). Does n = h?
False
Let i = -16 + 15.1. Let x = -36.34 + 36. Let y = x + 0.44. Is i less than y?
True
Let t(x) = 8*x**2 - 32*x - 4. Let j be t(4). Is -16 < j?
True
Suppose 0 = 10*g - 4*g + 66. Let y = -11 - g. Let q be (-3)/12 - 4/(-16). Is y != q?
False
Let o = -2283 - -2328.7. Are -1 and o unequal?
True
Let k = 42 - 40. Suppose -k*w + 45 = -43. Which is bigger: 43 or w?
w
Suppose 4*a + 0 = 8. Suppose -6*m - 48 = -a*m + 2*k, -60 = 5*m - k. Let b be 5 + -15 + (2 - 5). Which is smaller: b or m?
b
Let b(y) = y**2 - 6*y + 7. Let m be b(6). Suppose 0*r + 119 = -m*r. Which is bigger: r or -18?
r
Suppose -s = -0 - 8. Suppose -2*x - t - t = -8, -3*x - 2*t = -s. Is x not equal to 1/53?
True
Let m be (84/(-49))/(24/(-112)). Is -3 greater than or equal to m?
False
Let m = -0.059 - -10.159. Let a = 10 - m. Is 0.12 less than a?
False
Let o(p) = -2*p**3 + 7*p**2 + 8*p + 11. Let d(t) = -t**3 + 3*t**2 + 4*t + 5. Let j(v) = 7*d(v) - 4*o(v). Let a be j(8). Which is smaller: 25 or a?
a
Let n(v) = 51*v - 867. Let f be n(19). Do f and 102 have the same value?
True
Let i be 8 - (0 - 1) - 1. Suppose i = -4*r + 24. Let p be -1*r/16*-4. Which is bigger: 5/4 or p?
5/4
Let m = 16/33 + 2/11. Let k(u) = -5*u**3 - 7*u**2 - 11*u - 4. Let c be k(-3). Let r be (-2 - 1*-1)*(100 - c). Is r != m?
True
Suppose -3*b = -4*g + 6, 2*g - b + 8 = 12. Suppose -3 = -2*a - g. Is a > 2/293?
False
Suppose 37*c - 27 = -3*z + 42*c, -3*z + 9 = c. Let t = 10 + -9. Is t bigger than z?
False
Let b = 59 - 57. Let i be 2 - -4 - (-8)/b. Let n = 23 + -13. Is i < n?
False
Let m(l) = 2*l**2 + 76*l + 29. Let n be m(-37). Is -318/7 bigger than n?
False
Let u = 134 - 350. Which is bigger: -215 or u?
-215
Suppose -45 = -n - 5*f + 8, -5*n + 352 = -4*f. Is 74 >= n?
True
Let x be 5 - (0 - (1 - 4)). Do x and 16/19 have different values?
True
Let g(d) = -29*d**2 - 27*d - 102. Let k be g(-6). Is k less than or equal to -984?
True
Let d(q) = q - 4 + 3 + 2. Let i be d(-1). Let r = -5/83 - -299/830. Is i greater than r?
False
Let g = 258.05 - 258. Which is smaller: g or -0.1?
-0.1
Let b be (-4081)/24288 + ((-7)/6)/(-7). Are 0 and b unequal?
True
Let v = -3 + 12. Let s = v - 9.15. Let t = 0.35 - s. Which is smaller: t or 1/6?
1/6
Let c be 1/6*-3*0. Suppose 36 = 4*l - c*l. Suppose -q + 2*z + 42 = 3*q, -3*z - 13 = -q. Is q greater than or equal to l?
True
Let l be (3 + -4)*(4/5 - 1). Let s = 1.07 + -0.07. Which is bigger: s or l?
s
Suppose 5*v + 5*m - 15 = -0*v, -9 = 5*v - 3*m. Does -5/78 = v?
False
Suppose 4*x - 129 - 7 = -r, 0 = 3*r - 12. Suppose -x*o = -28*o - 25. Do 11 and o have different values?
True
Let k = 38101/20 - 1906. Is -2 >= k?
False
Let h = 1118/7 + -160. Let r = -0.5 + 0.49. Let t = 0.1 + r. Which is smaller: t or h?
h
Let f be 57/798 - (-8)/(-14). Suppose 2*w + x - 1 + 2 = 0, -5*x - 5 = w. Which is smaller: f or w?
f
Suppose -3*k - k = 0. Let h be (27/(-2))/(33/(-12)). Let g = h - 58/11. Is k at least as big as g?
True
Suppose 5*g + 35 = -0. Let o = g + 7. Let j be ((-6)/15 + o)*15. Which is bigger: j or -7?
j
Let t = -6 - -6. Let a = -231 - -4849/21. Is a at most t?
True
Suppose -5*w + 151 = -3*j, 2*j + w = -j - 121. Let u = -40 - j. Is u at most as big as -2?
False
Let x be 265/318 + 193/(-6) + 5. Which is smaller: -26 or x?
x
Let w(g) be the third derivative of -g**6/120 + 13*g**5/60 - g**4/2 - 4*g**3/3 - 4*g**2. Let l be w(12). Let r be 7 + -8 + l/(-7). Which is greater: r or 0?
r
Suppose -2*i = 3*h + 4, 2*h = -2*i + 3*h - 20. Let q = 10 + i. Suppose -q*o + 4 = 2. Is -2/9 greater than or equal to o?
False
Let z(t) = -20*t + 67. Let n be z(18). Which is smaller: -292 or n?
n
Let z(n) = -2*n - 4. Let x(a) = -a**2 + 10*a - 3. Let o be x(10). Let m be z(o). Suppose 4*y + 4 = m*y. Which is greater: y or 3?
3
Let h(i) = -5*i + 4. Let b(n) = 9*n - 7. Let q(z) = 6*b(z) + 11*h(z). Let g be q(3). Which is greater: g or 2/49?
2/49
Let j(f) = 12*f - 270. Let q be j(34). Which is smaller: q or 143?
q
Suppose 42*r - 1235 = 6115. Is 175 smaller than r?
False
Let v = -0.1 - -0.1. Let z = 940.79 + -948. Let t = 0.21 + z. Which is smaller: t or v?
t
Let r(o) = 5*o**2 + 18*o + 10. Let x be r(-5). Suppose p - f + 3*f = 9, -5*p - f + x = 0. Which is smaller: 66/7 or p?
p
Let y be (-8)/(-92) - 16/184. Let r = -1/215 - -1514/1935. Does r = y?
False
Let l(c) = c**3 - 7*c**2 - 5*c + 26. Let b be l(5). Is -50 != b?
True
Let d = -1 - -1. Let m be 8/(-22) + 0 + d. Suppose 2*x = 5*w + 10, 2*x - 54 = 4*w - 44. Which is greater: m or w?
w
Let f = 6 - 6. Let c = -390.4 - -392. Does c = f?
False
Let k = 0.15 + -0.1. Let t be 3*4/18*(-69)/115. Which is greater: k or t?
k
Let f(c) = -c**3 + 58*c**2 - 60*c + 190. Let h be f(57). Is 98/5 at most as big as h?
False
Let v be 648/858 + 9/(-12). Which is greater: v or -1?
v
Let u be (-1)/(-4)*4*-1*0. Suppose u*w + 60 = -2*w. Is -31 less than w?
True
Let t be -49*7/(-196) + -2. Is t smaller than 84?
True
Suppose -h = 2 - 3. Let b = 6/79 + 128/395. Is h less than b?
False
Suppose -69 = -23*t + 20*t. Let p = t + -22. Which is smaller: p or 8/7?
p
Let p be 9/(9/2) + 187. Let i be (-4)/18 - 21/p. Suppose 0 = -0*f + 5*f + 5. Which is bigger: f or i?
i
Suppose 0 = f + 2*v - 9, -3*f = 4*v - 14 - 7. Suppose -4*r - f*g = 12, 4*r + g + 6 = 2. Let i be (-7)/(273/(-4))*(-9)/6. Is i less than r?
True
Let r(c) = -c**2 - 4*c + 4. Let f be ((-2)/4)/(9/54). Let s be r(f). Suppose s*p - 2*p = 5. Is p <= 1/26?
False
Suppose 2*f = 6*f. Suppose q + 1 = -0*q + 4*k, 5*k = -q + 35. Which is smaller: q or f?
f
Let m = 13.2 + -183.2. Let f = m - -177.1. Which is greater: 1 or f?
f
Let i = -166353/14 - -11877. Is 1 greater than i?
True
Suppose -5*q = -30 - 55. Do 20 and q have the same value?
False
Let k = 4.5 - 15.5. Are 6 and k equal?
False
Suppose 2*h - 41 = -25. Are h and 