ig as v?
False
Let o(v) = -203*v**3 + 2*v - 3. Let c be o(1). Let b = c + 265. Is 57 at most as big as b?
True
Let s(f) = 83*f + 478. Let x be s(15). Let z = 5165840 + -118774697/23. Let u = x - z. Which is smaller: 1 or u?
u
Suppose -17*d - 21 + 13 = 26. Let x be (-1 - 0) + (-1 - 0). Let t be (-1)/d*(x - -2). Does t = -1/7?
False
Let w(t) = -t**3 + 7*t**2 + 13*t - 5. Let l be w(8). Suppose -l*s - 5 = -30*s. Is s bigger than -1/43?
False
Let f(x) = -5*x + 32. Let k be f(6). Suppose -g = -2*s - 2, -9*g + 11*g = k*s + 6. Is -7/18 < s?
True
Let a(p) = -p**2. Let k(o) = o**2 - 5*o - 11. Let g(u) = 3*a(u) - k(u). Let h be g(-2). Is h bigger than -59/4?
False
Let t be 116/8 - (-6)/4. Let d be ((-8)/t)/(1/(-22)). Suppose 5*b - 51 = -1. Which is smaller: d or b?
b
Let u = 6917/143 - 406/11. Which is greater: 3 or u?
u
Let a be (-15)/(-20) - (-2 + 58/(-8)). Suppose 36*h - 624 = a*h. Is 121/5 at least as big as h?
True
Suppose 2*x - 81 = -b, -8 + 5 = 3*b. Let z = x + -47. Let l be (-3 - -2) + (-5 - z). Is l not equal to -5/19?
True
Let g(c) = 2*c + 4. Let x be g(24). Let a = -110 + x. Which is smaller: a or -57?
a
Suppose -26*a + 98 = -22*a - z, 0 = 4*a - 5*z - 106. Let l be (-2 + 54/a)*(-8)/(-363). Which is bigger: l or 0?
l
Suppose -q + 7 = 10*l - 9*l, 5*l = -q + 27. Suppose 3*u = i + q, -u - 17 = u + 3*i. Which is smaller: u or 2/107?
u
Suppose 3*y + 35*h - 40*h - 3507 = 0, 2346 = 2*y - 2*h. Which is greater: 1182 or y?
1182
Let z = 95 + -97. Let k be (z/6)/1 + (-13)/78. Is -36 != k?
True
Let i = -145 - -169. Let d be 2/i + (-429)/(-2340). Are 0 and d equal?
False
Suppose -15 = 4*m + 5*c - 11, m + 5*c + 1 = 0. Are m and -25/126 non-equal?
True
Let v(y) = -5*y + 37. Let r(k) = -79*k - 145. Let d be r(-2). Let i be v(d). Which is greater: -27 or i?
-27
Let n be 8 - (-770)/(-95) - 131320/76. Which is smaller: -1727 or n?
n
Let k(t) = t**2 - t - 25. Let j be k(6). Let b be (-2 + -8)/j + 0 + 6. Suppose -2*o = r + 5, -b*r + 1 = -3*r - o. Is r > 8/47?
False
Suppose 3*o - 101 = -0*o + 4*u, 4*u + 47 = o. Let i be (12*1)/(o/(-834)). Let t = 374 + i. Which is greater: -3 or t?
t
Let y = 1826 + -1812. Let r = 2.3 + -1.38. Let q = r - -0.08. Which is bigger: q or y?
y
Let t = -3 - -4. Let w be (t/(-13)*-6)/(-8). Let y(p) = -2*p**2 - 260*p - 763. Let u be y(-127). Which is bigger: w or u?
w
Let m(r) = -289*r + 3840. Let t be m(12). Which is smaller: t or 363?
363
Let k = -6813 + 6547. Which is smaller: -263 or k?
k
Suppose 0 = 2*f, w - 3*w + 2*f - 390 = 0. Let b = w - -1366/7. Which is smaller: b or -0.2?
-0.2
Let w(i) = -78*i - 5622. Let n be w(24). Which is smaller: -7496 or n?
-7496
Let b = -9 + 8.825. Let l = 74.1 - 74.2. Which is smaller: l or b?
b
Let n = 40307/110247674 - 3/28838. Which is smaller: n or 1?
n
Let j be 11/(-6)*-3*26/(364/189). Which is greater: j or 74?
j
Let o = 3309 - 2579. Which is smaller: -2/5 or o?
-2/5
Let n = -154 - -180. Let l = n + 103. Is 128 < l?
True
Suppose 23*r + 12 = 12. Suppose 16 = 5*w - 24. Let f(b) = b**3 - 8*b**2 + 2. Let y be f(w). Do r and y have the same value?
False
Suppose 4 = -4*c - 0*c - i, -c = -4*i + 1. Let w be ((-4920)/(-165) + -30 + 238/99)/6. Which is bigger: c or w?
w
Suppose 5 = -4*p - 5*z, 2*p + 2*z + 2*z = -10. Suppose 2*g + 3*k = -2*g - 28, g = -p*k + 10. Which is smaller: -4 or g?
g
Let z be ((-2)/20)/(11678/210 - 21/147). Is z less than or equal to -1?
False
Let s be ((-4)/3)/(9/(428190732/(-184))). Let w = 344826 - s. Let a = w - 67. Is 1 less than a?
False
Suppose 0 = -5*o + 17*o + 1152. Let r = 187/146 - 70723/730. Let z = r - o. Which is smaller: z or 0?
0
Let d be (9/(-15) - 123564/(-16290)) + -7. Which is bigger: 1 or d?
1
Let t = -63.68 + 63.48. Is -827 < t?
True
Let i(p) = -2*p**2 + 11*p - 11. Let k be i(5). Let m be (k/8 - 0)/(120/9112). Let t = m - -57. Which is greater: 1 or t?
1
Let t = -68 - -208. Let i = t - 4902/35. Let k = 10 - 9. Which is smaller: i or k?
i
Let t(p) = -76*p - 2. Let q be t(-6). Suppose -q = 5*u - 69. Let a be -1 + (u/12)/(130/(-20)). Is 1 less than a?
False
Let z be 140/(-200)*(-986)/(-187). Is z less than -3?
True
Suppose 7 = 2*f + 41. Suppose 50*m = 40*m + 570. Suppose -m*j = 21*j + 1092. Which is smaller: j or f?
f
Let f(d) = 4*d**2 + 186*d - 2807. Let x be f(12). Let o = -259477/99 - -2621. Is x > o?
True
Let y(g) = -g**3 + 18*g**2 + 1366*g - 77. Let d be y(47). Which is bigger: 444/7 or d?
d
Let i = 25.2 + -29. Let b = -0.026 - -3.926. Let p = b + i. Which is bigger: p or 3/5?
3/5
Let j be 18/21*(-28)/(-6). Suppose j*x - 5*x = -2*r + 1, -5*x = 2*r + 5. Let q be (-2)/(-37 - (3 + -15)). Is q greater than r?
True
Let x = 114 - 120. Let a be (-3)/(-3 - 3/(-2)) + x. Let f be (-21)/(-14) + a + 2. Do 2.6 and f have different values?
True
Let s be 170/1428 + (-2)/(-3). Let g(j) = 5*j - 33. Let h(k) = -2*k**2 + k + 7. Let w be h(0). Let n be g(w). Which is smaller: n or s?
s
Let n = 1.3 - 1.4. Let u = 209 - 206. Suppose 5*d + 96 = -u*f + 3*d, -4*f + 4*d - 128 = 0. Is f >= n?
False
Let h be (-3 - -5 - 3)*25. Let r = 30572 - 30569. Is h less than or equal to r?
True
Let i be ((-272)/(-672) + 2/12)*70/(-20). Let a be (1 - (0 - 1))*-1. Is i > a?
False
Suppose -5*t - 21 = 2*g, -3*t = 4*g - 3 + 10. Let p be (-5 - (t + 1)) + 23. Suppose 2*r + 61 = 2*b + 19, 0 = b - 2*r - p. Which is bigger: b or 2/7?
b
Suppose 3*n - 3*g + 8*g = -251, 5*n + 485 = 5*g. Suppose -3*b - 264 = 3*r, 104 = -b - 0*b + 3*r. Is b greater than n?
False
Let f = 106407 + -106401.0107. Let u = f - -0.0107. Do u and -0.8 have the same value?
False
Let r be (-5 - 16/(-3))*(-3)/2. Is r >= -2779?
True
Let m(c) = -c**2 + 23*c - 58. Let d be m(18). Suppose 5*l - w - 14 = 0, -4*w = -0*l + 3*l + 10. Let a be (-6 - -8)*33/l. Do a and d have different values?
True
Let j = 1873.9616 + 0.0384. Which is smaller: j or -0.3?
-0.3
Let o(l) = -l**2 - 26*l - 25. Let x be o(-25). Suppose 3*p = -q - 10, x = 3*q + 6*p - 4*p + 2. Which is smaller: 8/11 or q?
8/11
Let c be 54/(-1026) + 44/114 - 17/6. Which is smaller: c or 228?
c
Let q be 6385/(-5100) - (-220)/176. Which is smaller: 1 or q?
q
Let r be (3/(-9))/((-1)/(-75)). Let p = 16 - -59. Suppose -2*y + 5*q - p = 0, -2*y - 103 + 38 = -3*q. Is y bigger than r?
False
Let n be 5675*16/((-800)/70). Which is greater: n or -7946?
n
Let t be 1765023/2439*3*1. Does 2173 = t?
False
Let i = -212 - -215. Which is smaller: i or 7/4?
7/4
Suppose -265 = 4*n + 1711. Let g be n/(-1729) + 124/(-483) + 0. Which is bigger: -3/10 or g?
g
Let k = -0.03 - 30.97. Let o = k - -3. Let q = o - -25.4. Is -1 < q?
False
Let x = -13/4 + 529/164. Let f = x + -63/779. Which is greater: f or 3/8?
3/8
Let t = 21379 - 21382. Which is smaller: t or -531?
-531
Suppose -c + 5 = 0, -z = -2*c + 5*c - 22. Let q(v) = v**3 - 9*v**2 + 13*v - 27. Let g be q(z). Which is greater: g or -176/5?
g
Let h = 37486993/37000 + -171/4625. Let u = 1015 - h. Let l = 3 + 0. Which is greater: u or l?
l
Let p = -225 + 252. Let n be 3/((-90)/12) - p/(-5). Which is bigger: -7 or n?
n
Let m be -6*1616/1920*-44. Which is bigger: m or 221?
m
Let t = -2.87 + 4.38. Let a = -26117/4 + 6529. Is t smaller than a?
False
Let p(k) = k**2 + 84*k + 1040. Let f be p(-19). Let i(b) = b**2 - 2*b + 1. Let o be i(5). Let h be o/f - 28/(-210). Which is smaller: 1 or h?
h
Let t = -293/21756 - -3/148. Which is bigger: t or 51?
51
Let s(z) = 4*z + 20. Let m be s(5). Suppose 10 + m = 5*f. Let c be (-5)/f + 1/(64/30). Is c at least as big as 1?
False
Let g be (-833)/(-17850)*4/7. Which is greater: g or 6?
6
Let f be (9/6)/((-214)/(-52) - 4). Let d(z) be the first derivative of -z**4/4 + 13*z**3/3 + z**2/2 + 8*z + 6. Let y be d(f). Which is greater: y or 20?
y
Let l = -28357/4 - -6193. Let i = 890 + l. Let n be (-9 + 16)/((2/(10/5))/(-1)). Is n equal to i?
False
Let p = -1979 + 2094. Is p less than or equal to 119?
True
Let y be 6*12/9 - (0 + 3). Suppose -2*k - 172 = -4*u + 44, y*k = u - 54. Is 56 not equal to u?
True
Suppose 2*t - 6 = 5*t. Let i be 3*3/18*t. Which is greater: 1/79 or i?
1/79
Let r = 8/53 - -15224/265. Let x(h) = h**2 - 3*h - 30. Let y be x(11). Which is bigger: r or y?
y
Suppose t - 13115 = 3*u, 11*t - 5*u - 52474 = 7*t. Let x = 3634521/277 - t. Which is smaller: 0 or x?
0
Let x be (26 + -18)*(0 + 1)*8. Suppose 0 = 5*v + 4 - x. Is v equal to 1