764 = 3*q - 5*q. Let m = 1206 - q. Let c be m/12 + (-14)/3 + 4. Is -58 at least as big as c?
False
Let a = -1048.8784 - 0.1216. Are 3 and a unequal?
True
Let k be (-10)/4*1296/(-40). Let z = k + -37. Let p be (-62)/8 + 8 + (-19)/z. Which is smaller: p or 11?
p
Suppose 6*c = 9*c - 9. Suppose 5*i - q - 1 = 0, -i + 2*i - q = -c. Which is smaller: 12/17 or i?
12/17
Suppose 2*r = 6*r + 4. Let g be (384/(-2160))/((-136)/(-20)). Is r at most as big as g?
True
Let o = 16280 - 16286. Is o less than or equal to -205/31?
False
Let q(t) = -2*t**2 + 2. Let b be q(0). Let p(d) = -b*d**3 - 5*d**2 + 6 + 3*d - 4*d + 0*d**2. Let o be p(-3). Is 16 at least as big as o?
False
Let x be ((-203)/(-4))/((-55)/(-40)). Let j = 37 - x. Let k = 175 + -176. Is k less than j?
True
Let p be ((-2)/(-12))/((-22)/(-132)). Let o be ((-16)/24)/(-2 + 291/27). Which is smaller: o or p?
o
Let p = 200 - 111. Let x = p - 90. Let c = 13.86 - 14. Does x = c?
False
Let h be (1 - 925938/42) + (-60)/70. Which is bigger: h or -22047?
h
Let c be 6 - 7 - (407870/7 + -2). Let q = -58373 - c. Let u = -107 - q. Do 4 and u have the same value?
False
Suppose -7*y - 531 = -1635 - 1164. Which is smaller: y or 323?
323
Suppose -5*v = 4*c - 217, -7*c + 177 = -3*c - 3*v. Suppose c*b + 93 = 45*b. Which is greater: -29 or b?
-29
Let r be ((-3)/(-13))/((-1113)/(-3922)). Which is smaller: r or 2?
r
Let n(y) = -21 + 39 + y + 0*y. Let w be n(-13). Suppose 0 = 5*m - 25 - w. Is 35/6 greater than or equal to m?
False
Let r = 0.31 + 13.69. Let o = 96.2 - 48. Let t = -48 + o. Is r less than or equal to t?
False
Suppose 3221 = 6*w + 3437. Suppose -4*x = x + 190. Is w bigger than x?
True
Suppose -3*j = 0, 0 = 5*r - 2*j - 14 + 494. Let u = r + 96. Let n be 2*(-2 + 174/86). Is u < n?
True
Let n = 1913.988 - 1914. Is 2.4 <= n?
False
Suppose 89*h - 1195 = -11899 - 510. Which is smaller: -100 or h?
h
Let x = -511/8 - -31127/488. Is x > 1?
False
Let u = 547547.726 + -548012. Let j = u - -464. Which is greater: 1 or j?
1
Let j be 33/((-3)/(18/(-42))). Suppose 0 = 8*o + 11 - 43. Which is greater: o or j?
j
Let z = -193.3 + 193.01. Let v = 1.99 + -2. Let u = z + v. Which is smaller: u or 14?
u
Let h(p) = -15*p**3 + 10*p**2 - 119*p + 45. Let r be h(5). Does r = -2175?
True
Let s = 1790 + -1805. Is s > -1/6?
False
Let y(w) = -w**3 - 2*w**2 + 108*w - 11. Let r be y(9). Let q = 3 + -1. Is r not equal to q?
True
Let c = 348.7 - 326. Let a = c - 22.8. Which is smaller: a or -1.96?
-1.96
Suppose -11*o + 2907 = 6592. Which is greater: -339 or o?
o
Suppose -3*b - 3*k + 603 = 0, 2*b - 2*k = -3*b + 1026. Let z be 9060051/44198 - (-3)/246. Is z != b?
True
Let k = 35 - 80. Let t be -6 - (-23 + 19)/((-3)/(-2) - 1). Does k = t?
False
Let n = -171321124/20907 + 73750/9. Is 0 at most n?
True
Let g be 1 + -1 - (-5)/(20/16). Suppose -2*q = g*c + 4, -2*c + 5*q = 3*c - 25. Are -2/49 and c non-equal?
True
Suppose -194*a - 612 = -5074. Is 334/15 < a?
True
Suppose 35*b - 33*b + 3782 = -2*l, -5*b + 3782 = -2*l. Which is smaller: l or -1890?
l
Let a = -144.1546 - -144.3. Which is smaller: -0.1 or a?
-0.1
Let l = -76 - -106. Let a = -1713482 + 1713523. Which is smaller: l or a?
l
Let g = -215 - -217. Suppose -u = -2*r - 4, g*u - 13 = r + 2*r. Suppose d + 5*o - 30 = 5, 3*d - 55 = -5*o. Is u greater than d?
True
Suppose -7*t = -4*t + 18. Let j be 24/t + (-26)/(-6). Let w = -474 - -474. Is j less than or equal to w?
False
Suppose -5*v = 0, 4*j + 8 = -3*v - 0*v. Let z be -6 + 5*1 + -8 + 6. Let m be ((-1)/(1 + z))/((-4)/24). Is j at least m?
True
Suppose 3*w + 2*o - 3*o = 367, 5*w + 3*o - 635 = 0. Let y = w + -47. Which is bigger: y or 78?
78
Let k = -0.9 + 1. Let x = -1/8195191 - -236013305638/237660539. Let i = x - 993. Is k bigger than i?
True
Let m = 2598 - 2605.3. Let x = -1.22 - -1.52. Which is smaller: m or x?
m
Let i be 1 + 10 + 44/55*5. Suppose 57 + i = 3*u. Is 30 <= u?
False
Let m(w) = -w**2 + 335*w - 1323. Let c be m(4). Which is greater: 11/235 or c?
c
Let f = -235 - -164. Let a = f - -67.4. Let n = -3.5 - a. Is -0.46 < n?
True
Let i = 76.1876 + -0.0876. Let g = 76 - i. Let v = -2.9 + g. Is v at least 4?
False
Let x = 286 - -190. Suppose 21*t = 28*t - x. Suppose 5*j = 7*j + t. Is -36 equal to j?
False
Let c = -159/25 - -2087/325. Let p be ((-6)/(-12))/(3/(-6)). Do c and p have the same value?
False
Let w = 2208/19 + -449942/3895. Which is bigger: 2 or w?
2
Let h(y) = -80*y + 4. Let i be h(1). Let x = i + 78. Suppose 3*w + 100 = -x*w. Which is bigger: w or -18?
-18
Suppose 103 = 4*s - 3*d, 0*s + d = -s + 17. Let h(i) = -531*i**2 - 15*i + 1082*i**2 - 542*i**2 + i**3 - 115. Let z be h(-9). Are z and s equal?
False
Suppose -9*n = -228*n - 226*n + 173995. Which is smaller: 410 or n?
n
Let c = 53 + -48. Suppose c*z - 9 = 3*r, -2*z + r - 4*r = 9. Let h(b) = 3*b - 39. Let l be h(14). Which is greater: l or z?
l
Let d = 0.91 - -199.09. Let x = 150 - d. Do x and -2/9 have the same value?
False
Let s(r) = -r - 1. Suppose 2*m + 3*v + 11 = 0, 7*m = 2*m - 3*v - 14. Let a be s(m). Let p be 0 + 10/((-1330)/651) - -5. Which is smaller: p or a?
a
Let n be 6/(-16) - (-3)/(1440/(-4287308)). Let c = 8936 + n. Is 4 < c?
False
Let x = 22983 + -23304. Suppose 4*u - 6*u - 644 = 0. Is x smaller than u?
False
Let x = 46/27 - 592/189. Suppose -2*q + 5*w + 21 + 12 = 0, 2*q + 2*w = -2. Suppose 5*b = q*o, -b = -o + 6*o. Is o at most as big as x?
False
Let b be (-10)/(-70125)*(-470)/(-564). Are 0 and b non-equal?
True
Let v = -308.39 + 310. Let i = v - 1.61. Which is bigger: i or 15?
15
Let w be (5/6*(-153)/(-510))/(2/(-72)). Let p = -1 - -0.99. Is p equal to w?
False
Let s(p) = 10*p - 52. Suppose -3 = -l, 0 = -z - z - 2*l + 44. Let n be s(z). Suppose 0 = -n*r + 139*r - 1. Which is bigger: -5/17 or r?
r
Let z(i) = 1767*i + 8835. Let k be z(-5). Which is smaller: 2/104121 or k?
k
Let d = 65.5 - 51. Let l = 16.5 - d. Which is bigger: -1/63 or l?
l
Let h = -1317/7 - -17729/84. Are 23 and h nonequal?
True
Let i = 1792 + -1793. Which is smaller: i or 1/630?
i
Let n(y) = -2*y**3 - 2*y**2 - 2*y - 1. Let d be n(-2). Let q(o) = -o**3 + 7*o**2 - 8*o + 20. Let a be q(6). Suppose -76 = -7*f + a. Is f less than d?
False
Let m = -15649/30 + 1043/2. Which is bigger: m or -1?
m
Let j(b) = -2*b**3 + 6*b**2 + 3*b + 15. Let l(a) = a**3 + a - 1. Let n(p) = j(p) + 3*l(p). Let c be n(-5). Suppose -c + 7 = -3*u. Which is smaller: u or 1/21?
u
Let p = 0.4 - 1.8. Let h = 3179/2 + -1589. Is h greater than p?
True
Suppose -3*f + 95 = 23. Suppose 11 = -f*o + 35*o. Let d be (-4)/8 - 75/(-102). Do o and d have different values?
True
Let j be ((-348)/290)/((-4)/30 - 0). Suppose t + 5*t = j*t. Do 0.123 and t have different values?
True
Let z be (6/21)/(132/77)*-6. Which is bigger: 1/15912 or z?
1/15912
Let a be 8 + -12*(9/2)/9. Suppose -2*q - a*p = p + 9, q = 3*p + 9. Let n be (0 + 14)*(-2)/24. Is q equal to n?
False
Let a(g) = 273 - 87 + 5*g + 15*g + 4*g. Let m be a(-7). Which is smaller: 19 or m?
m
Suppose -r = 5*p + 1425, 5*p + 1425 = -6*r + 2*r. Let m = p - -419. Which is smaller: m or 132?
132
Suppose -2100*q = -2088*q - 72. Which is smaller: 55/8 or q?
q
Let m(a) = -4*a - 24. Let j be m(-11). Let f be (-2 - 2148/(-1305)) + j/60. Which is smaller: -1 or f?
-1
Suppose -y = -3*v + 100, 2*v = 2*y + 15 + 45. Let l(h) = h**2 - 43*h - 54. Let x be l(45). Which is smaller: v or x?
v
Suppose q - 2*t = 3, -5*q + t = -2*t + 20. Let g be (-2)/(4554/(-14) - 2/q). Which is greater: -1 or g?
g
Let u = -1/3 - -5/24. Let y be 41*(20 + -6 + -3). Let x = y + -452. Is x >= u?
False
Suppose -5*g = -2*g + 6. Let l = g - -2. Let j = -173023 - -3460461/20. Which is bigger: j or l?
j
Suppose -130 = -7*a - 18. Let n be (-5)/(-1) - (a - 11). Suppose 5*c - 5*k + 10 = n, 0 = 3*c - k + 1 - 3. Which is smaller: 5 or c?
c
Let j be ((-39 - -39)*(-2)/2)/1. Is j equal to -5/219?
False
Suppose -3*y + 10 = -2*u, 3*u + 3 = -y + 10. Let t be ((-10)/(-3))/((-6)/9). Let o be (t/12)/((-49)/(-56)). Which is smaller: o or u?
o
Let k be 3/(-51) - (-14)/238. Let o = 57 + -41. Let f be (-5)/(-20) + (-1)/o. Is k > f?
False
Suppose 7 = -8*y - 5*u, -5*y + 6*y - 10 = 3*u. Let f be (2/2)/(3309/6). Which is bigger: f or y?
y
Let p(x) = x**2 + 289*x + 1315. Let f be p(-69). Which is bigger: f or -13863?
-13863
Let v = 6766 - 6765. Is v != -15/464?