-62
Let l = -6390.83 + 6391. Which is smaller: l or -2/1757?
-2/1757
Let u = 604/609 - 26/29. Do 0.0416 and u have the same value?
False
Suppose -15*r + 14*r = -617. Suppose 3*h + r = -o, 0 = -5*h - 3*o - o - 1040. Is h less than -203?
True
Let x be ((-315)/(-28) - 11)/(22/81768). Let p = x + -929. Is p < -5/3?
False
Let g be 38/8*8/10. Suppose -829 = -9*l + 2393. Suppose 54*z + 142 = l. Which is greater: g or z?
z
Suppose 12*g - 113 - 199 = -66*g. Which is greater: g or 54?
54
Let r(t) = t**2 + 4*t - 2. Suppose 5 = -4*i - 7. Let q be r(i). Let p = -6 + 1. Is p < q?
False
Let j be (10988/(-246))/(3/(-2)). Is j <= 31?
True
Let s = 5493 - 7008. Are s and -1515 non-equal?
False
Let z be (-349761)/138*10/5. Which is greater: z or -5068?
-5068
Suppose 0 = -d - 5*v + 6*v - 3043, -5*v = 10. Are -3044 and d unequal?
True
Let r be 16/72 + 12/(-27) + (-1277)/(-441). Does r = 4?
False
Let f be (7/54*-3)/(-36 + 34). Let k be 2 - -2*(-4)/8. Are k and f non-equal?
True
Let c = -48 - -50. Let h be 91 + -89 - 48/23. Is h < c?
True
Suppose -s - 3 = -0. Let h(o) = 41*o - 251. Let j be h(6). Is s less than j?
False
Suppose -l + 0*p = -4*p + 4, -4*p - 4 = -3*l. Let f be 1/(6 + (-22)/2 + l). Suppose -g - g = 6. Is f smaller than g?
False
Let u be (-19)/(-13) - (23 + -22). Let o = 19 - 28. Let b = 10 + o. Is u at most b?
True
Suppose -10*t + 198 = -t. Suppose 0 = -23*p + t*p - 1. Let u be 3/(15/10) + p. Which is smaller: u or 2?
u
Let v = -0.2232 + 0.3232. Which is greater: -2159 or v?
v
Let h = -7711/3428 - 1/1714. Let q = -8.91 + -0.09. Let c = 10 + q. Which is greater: c or h?
c
Let v(q) = -q**2 + 4*q + 54. Let y be v(9). Suppose -6 = -4*c + 5*i, -c + 3*i = c - 4. Is c bigger than y?
False
Suppose 144 = -5*f + 41*f. Suppose -5*j = -k - f*k + 445, 0 = -2*k + 4*j + 180. Which is greater: -2/3 or k?
k
Let f(m) = 4*m**2 - 81*m - 207. Let z be f(28). Which is smaller: z or 662?
z
Let w = -436 + 437. Let a = -1.1 + -0.9. Let f = -4.4 - a. Which is bigger: w or f?
w
Let h = 105 + -105. Suppose 2*g - w - 13 - 13 = h, 3*g - 3*w = 36. Which is greater: g or 8?
g
Let q be -4*(-18)/(-27)*6/(-4). Suppose 31 = 3*u + q*z, -4 = u - 5*z - 8. Let c(y) = 4*y - 35. Let w be c(u). Which is smaller: w or 3?
w
Let h(t) = t**2 + 14*t + 19. Let x be h(-13). Suppose 0 = 3*z + x, -c - 11 = -4*c + z. Let p be c + (-7*5)/(-5). Is 10 greater than or equal to p?
True
Let x be (325/39 + -10)*6873. Is -11455 <= x?
True
Let l = 1936 + -1943.64. Which is bigger: l or 8?
8
Suppose 30366 = 19*u - 14436. Which is smaller: 2357 or u?
2357
Let p(j) = j**3 + 7*j**2 + 3*j + 8. Let c be p(-6). Suppose c = -16*k - 6. Is k at least as big as -46?
True
Let x be (-288)/48*(-2)/8. Which is bigger: 0.27 or x?
x
Let f(y) = -80*y + 1219. Let b be f(13). Which is smaller: 8 or b?
8
Suppose 2*h - 16 + 2 = -u, -14 = -4*h + 5*u. Suppose 3*i - h = -i + 3*s, 5*i + 8 = -4*s. Which is greater: i or -3/142?
i
Suppose -g - 4*x + 14 = 0, x + 2*x = -2*g + 3. Let p(b) = -b**3 + 55*b**2 + 801*b + 221. Let w be p(67). Are g and w equal?
False
Let o = 20057 + -20057.1. Which is smaller: o or -4.812?
-4.812
Let g be (-60)/((5/(-12))/(41 + -46)). Which is greater: g or -718?
-718
Suppose 0 = 5*v + 4*x - 55, -4*v + 3*v + x + 2 = 0. Suppose v*u - 144 = 150. Is u < 0.3?
False
Let z(b) = 4*b**3 + 12*b**2 - 67*b - 33. Let v be z(8). Is v <= -3/7?
False
Let a be (16/(-8068))/(88/66). Is 0 at least as big as a?
True
Let w be (-1)/(49 + -44) + (1 - 801/1001). Which is greater: w or 1?
1
Let i = -767 + 764. Let h be (i/4)/(-5 + (-171)/(-36)). Which is greater: 14 or h?
14
Suppose 16 = 343*m - 339*m. Suppose -v + 9*w = m*w - 15, 46 = 5*v + 4*w. Which is smaller: 9 or v?
9
Suppose 5*v = -15*l - 1660, 93*v = 5*l + 92*v + 556. Which is smaller: -1678/15 or l?
-1678/15
Suppose 3*q + 3 = -3*s - 2*s, 4*q + 4 = 2*s. Let r be 0/(s + (-7 - -8)). Is r at least -4/91?
True
Let i(b) = b**3 + 10*b**2 + 8*b - 78. Let g be i(-7). Is g less than or equal to -51?
False
Let c = 144 + 131. Let i = -125 + c. Suppose -11*j + i = -6*j. Is 31 smaller than j?
False
Suppose 0 = -8*k + 3*k + 5. Let q(p) = -p**3 - 9*p**2 - 21*p - 10. Let z be q(-6). Let i be (32/(-15))/z*(-6)/(-52). Which is smaller: k or i?
i
Let g(r) = -25*r**2 + 63*r - 127. Let t be g(3). Which is bigger: t or -158?
-158
Let p be ((-18)/(4 + -2))/((-110)/(-4)). Is 1 less than p?
False
Let v(t) = 3*t**2 - 125*t + 317. Let l(d) = d**2 - 42*d + 106. Let g(o) = 17*l(o) - 6*v(o). Let f be g(33). Which is greater: 198/7 or f?
198/7
Suppose 5*c + 2*q = 25506, -8*q = 2*c - 5*q - 10187. Which is smaller: 5105 or c?
c
Let k = 80 - 80.06. Suppose -37*j - 6 = 2*s - 39*j, 0 = 3*s - 5*j + 3. Which is greater: s or k?
k
Suppose -23 = -d - 2*d + 2*l, -2*l - 33 = -5*d. Suppose 0*x - 5*x = 4*z - 47, 0 = 5*x + d. Let q be ((-6)/5)/(27/(-300)). Which is smaller: z or q?
z
Suppose 0*h + 3*h + 2*x = 22, 0 = -3*x + 6. Let w be -5 - 9/h*2. Let g be 6/8 - w/32. Which is smaller: -1/7 or g?
-1/7
Let m be (2 - 3)/(9/6 - 2). Let t = 6 + m. Suppose -4*r + 0 = t. Which is bigger: 2 or r?
2
Let n(t) = 2*t - 44. Let h be n(16). Let w be (h/(-30))/(1/5). Let m = -4.9 + -0.1. Which is smaller: m or w?
m
Let g be (-14222)/(-3)*(-27)/(-144). Let c = -877 + g. Does 13 = c?
False
Let k = 6/169 + 212/3549. Let u be ((-8)/16)/((-1)/6). Suppose -u*z + 2 = -4*w, 2*w + 0*w - 4 = -z. Is w at most as big as k?
False
Let q = -131 - -71. Let n = 2 + q. Let i be ((-12)/(-42) - n/(-154))*-1. Is i not equal to -1?
True
Let t(x) = 3*x + 40. Let o be (-104)/6 + 2/9*-3. Let a be t(o). Is a at least -160/11?
True
Suppose 4*p - 696 = -4*j, 171 = -2*p - 4*j + 523. Let u be (-11747)/(-68) + (-35)/(-140). Does u = p?
False
Let v = -42599 + 42095. Is v at least -502?
False
Let w be (-38)/18 + 1 - -2. Let b = 354.214 - 353. Let a = -0.214 + b. Is w greater than or equal to a?
False
Let h = 30627541/611340 - 4609/92. Is h at most 0?
False
Let f be ((-18)/27 + 38/(-6))*(-621)/27. Which is smaller: f or 182?
f
Let h be (-3)/(-2)*(201365/(-67125) + 3). Let r = 82339/4475 + h. Which is smaller: 18 or r?
18
Let n = 69/11 + -171/22. Does 842 = n?
False
Let k = 375 + -259. Suppose -181*x = -261*x + 2 - 2. Is k greater than or equal to x?
True
Let l = -4 + 0. Suppose -184 = -4*u + 3*a - 225, 3*a - 36 = 3*u. Is u at least l?
False
Let y = 164 - 303. Let t = y - -138.7. Is t less than 0.3?
True
Let i be 190/475 + (-2256)/15 + -1. Is i at most -128?
True
Let u be 372/20*(2655/135 + -21). Suppose -5*v - 73 = 57. Does u = v?
False
Suppose 0 = 3*m + m. Suppose -2*c = -m*c + 2*v, -2*c - 35 = -5*v. Which is greater: 2/15 or c?
2/15
Suppose 0 = -591*i + 592*i - 3*h + 109, 3*h + 346 = -4*i. Which is smaller: -2 or i?
i
Let s(j) = j**3 - 24*j**2 - 27*j + 40. Let v be s(25). Suppose k - 6*k = 3*b + 235, -b = -3*k + 97. Let p = b - -74. Which is smaller: p or v?
p
Suppose -2*l + 16*r + 8 = 19*r, 7 = -3*l + 5*r. Which is bigger: 1/2646 or l?
l
Let u = -2/13853 - -184049/13853. Does 3 = u?
False
Suppose -4*z = -16, -9*z + 49 = -5*o - 13*z. Let v be (-3)/(9/o)*9/3. Is 14 > v?
True
Let u be 10344/(-864) + (9/(-4) - -2). Let t be -8 - (-11)/(55/(-25)). Do u and t have different values?
True
Let y be 1*4/(-72)*(3 + (-108540)/36185). Which is smaller: y or 0?
y
Suppose 0 = 2*b + 31 + 73. Let v = b + 44. Is -48/7 at least v?
True
Let j be (-1408)/(-256) + (-9)/2. Let g = 0 + 1. Let m be 0/(j/g - -2). Which is smaller: -2/169 or m?
-2/169
Let t = -19 + 9.7. Let b = -11 - t. Let l = b - -11.7. Do l and -1 have the same value?
False
Let u = 6029/13 + -464. Let g = 22/39 + u. Is g > 3?
False
Let f = -46 + 54. Let k(u) = -f*u + 9*u**2 + 21 + 6*u**3 - 6*u**3 + u**3. Let h be k(-10). Is h not equal to 2/23?
True
Let y(n) = -50*n + 1699. Let p be y(34). Let h = -1346/11 - -122. Which is greater: p or h?
h
Let v = 38 + -42. Let c be (-32)/(-20) + v + 4/10. Let n be 7/(-77)*c/32*-2. Which is smaller: 1 or n?
n
Let b = 243.0555 + -0.0555. Let g = -244 + b. Which is smaller: g or -0.07?
g
Suppose -4*c + 3*c = -30. Let v = 114 + 142. Suppose -k = 7*k - v. Is c at most k?
True
Let n(f) = 89*f**2 + 4*f + 8. Let w be n(-2). Suppose -362*a + 2658 = -w*a. Which is greater: a or 444?
444
Let j = -0.091 + 0.191. Let k = j + 23.9. Let n = k + -23. Which is smaller: 0.3 or n?
0.3
Suppose -13*v - 9*v =