r 107?
107
Let b = -53100 + 99660. Let w = -326716/7 + b. Let o = -114 - w. Are o and -1 nonequal?
True
Let z be (-5 - 754/(-152))/((-12)/3168). Which is greater: 11 or z?
11
Let k = 0.6327 - 0.4327. Let m = -0.29 - -0.99. Which is greater: m or k?
m
Let s be 1320/(-300) - (-30)/450. Let w(z) = z**3 - z. Let n be w(-1). Let y = -3 + n. Is y > s?
True
Let y(g) = -5*g + 12. Let n be y(2). Suppose 7*t - 11 = 2*t - 2*l, -l - n = 0. Is t > 14/5?
True
Suppose -3*l + 1045 = 5*u, 0 = -4*u - 9*l + 8*l + 843. Does 211 = u?
False
Let c be 3 - ((-1052)/(-4) - 3). Let w(p) = -10*p**3 - 5*p**2 - 56*p + 225. Let d be w(3). Which is smaller: d or c?
d
Let i = 179/5 - 36. Let o = -4133.8 + 4135. Is o at least i?
True
Let t(s) = -2*s**3 + 9*s**2 + 11*s - 11. Let r be t(5). Let y be (6/15)/((-18)/(-870)). Which is greater: r or y?
y
Let l be 101/207 - (-288)/(-648). Are 0.265 and l equal?
False
Let k = -512 - -317. Let b be 2/(-9) + k/(-270). Let r = 28 - 11. Which is greater: b or r?
r
Let k be 629/(-2) - -2 - (-3)/6. Let p be 0 + k/80 - -1*3. Do p and 0 have different values?
True
Let k be (153/75 + -2)*(-43265)/(-1018). Which is smaller: 1 or k?
1
Suppose -7*z + 5 = -2*z. Let x be 4/4*1 - (-67)/(-61). Let q = -166/793 + x. Is q at most z?
True
Let j = 16060 - 15999. Which is smaller: -11 or j?
-11
Let a = -0.8 + 1.1. Let l = 347 + -343. Which is greater: l or a?
l
Let q(b) = -3*b - 12. Let g be q(-9). Let u be 4 - (1404/g + 15/(-25)). Is u less than or equal to 0?
True
Let o be (150/3)/(((-520)/(-273))/20*-3). Which is smaller: -173 or o?
o
Let u = 40 - 38. Suppose 4*l - 6 = h - 3*h, -l - u = 4*h. Let z be l/(-6)*(-24)/32. Is 0 equal to z?
False
Let z be -63 + 73 - (1 - -11). Suppose -3*h - j = 83, 0 = -2*h + 2*j - 5 - 37. Let u = h - 1. Do u and z have different values?
True
Let p = -14.4 + 5. Let u = 9.41 + p. Which is bigger: 9 or u?
9
Suppose -4*u + 3*h = 21290, 3*u + 75*h - 76*h + 15970 = 0. Which is smaller: 1 or u?
u
Let r(n) = -n**3 + 7*n**2 - 8*n - 4. Let b be r(7). Let z = 60 + b. Let x be (-17)/(-57) - (-80)/(-120). Do x and z have different values?
True
Let g be (-65)/10 - 2/3. Suppose -w = 5*v + 5, 2*v = w + v + 29. Let j = 18 + w. Do g and j have different values?
True
Let h = -2927 - -2932. Is 5 < h?
False
Let r = -24899 + 24898.5. Which is smaller: -2206 or r?
-2206
Let o(l) = -326*l + 1631. Let p be o(5). Which is bigger: p or 3/902?
p
Let m = -757 + 2093. Which is smaller: m or 0?
0
Let u = 36 + -30. Let t be 1 + 388/u - (-2)/6. Let v = t - 67. Is v <= 1/31?
True
Suppose -4*m + 2*h = -764, -h - 3*h = 5*m - 968. Suppose 668 + m = 2*k. Suppose 194 = 12*c - k. Is 52 at least c?
True
Let q = -5916 + 8179. Is -0.1 bigger than q?
False
Let b = 222 + -222. Let r(z) = -z**3 + 2*z - 1. Let k be r(-2). Suppose b = k*w + 3*w - 42. Which is smaller: 5 or w?
5
Let l = -21851/510 - -208/5. Let k = 950 - 16143/17. Let i = k + l. Is i not equal to 0?
True
Suppose -26*x + 358 = 384. Is x less than -2/25399?
True
Let m be 5/((-11)/110*-25)*(-280)/54. Is -7 >= m?
True
Suppose z = -m - z - 5, -3*z = m + 7. Let c = 79220 + -1980499/25. Which is greater: c or m?
c
Let o = -283.4 + 355. Let v = -6.4 - o. Are v and -0.1 nonequal?
True
Let f be (-18)/(-12) - 69/46. Suppose -3*g + 8*g = 195. Suppose f = 19*h + 132 + g. Is -8 less than or equal to h?
False
Let d(q) = -243*q**2 + 3*q - 2. Let t be d(1). Suppose 5*a - w = -1210, -100*w = 5*a - 95*w + 1180. Is t bigger than a?
False
Suppose -a = -2*a. Let g = 4 + 3. Let k = -6.6 + g. Which is smaller: a or k?
a
Let x(z) = 23*z + 608. Let v be x(-30). Are -78 and v unequal?
True
Let t = 708 + -707. Let d = -1/17748 - 1279/633012. Is d less than t?
True
Let u = -1.666 - 7.234. Which is bigger: -24 or u?
u
Let c be 6/(-7) + 1 - 37/(738150/3396). Which is bigger: c or -1?
c
Suppose 3*h - 4 = -2*h - 4*r, -h - 1 = -r. Suppose h = 4*i - 3*p - 15, 2*p + 4 + 6 = i. Let a = 223247/804 - 833/3. Which is greater: i or a?
a
Let x(h) = -h**3 - 2*h**2 - 3*h + 4. Let i be x(-4). Suppose -12 = 2*t - i. Let z be 4/18 - 106/t. Which is greater: z or 1?
1
Let s be (-5712)/(-1224)*(1 + -331). Which is greater: -1539 or s?
-1539
Let n be 5 - ((-21)/12 - (-18666)/408). Let r(c) = c**3 - 6*c**2 - 4*c + 6. Let u be r(5). Is n < u?
False
Let l = -0.06042 + 3365.06042. Is l less than 1/3?
False
Let c = -2770 - -1857. Do -913 and c have the same value?
True
Suppose 10*t - 24*t = -168. Let r be 112/42*t/(-10). Which is smaller: r or 4/7?
r
Let f = -469 + 428. Let o = -43 - f. Is o less than 0?
True
Let j = -33471 - -836774/25. Let y(x) = x**3 + 9*x**2 + 9*x + 10. Let k be y(-8). Let c = 3 - k. Is j at least c?
False
Let o = -11 - -10. Let s be (1424/48)/(o*(-2)/(-4)). Let l = s + 60. Is 2 greater than l?
True
Let r be 0/(-3) + 75/(-5). Let f be 28 + r + 4/2. Suppose -o = -n - f, -5*n + 16 = -9. Which is bigger: 19 or o?
o
Suppose 0 = -4*a + 3*d + 10, a + 10*d - 6*d - 12 = 0. Let t be (a*1 - 1)*139/417. Which is smaller: t or 2.89?
t
Suppose -4*m - 1050 = -21*m - 4909. Is -231 at least as big as m?
False
Let n be 1/1*3 - 4. Let u = -12447 - -6161263/495. Which is smaller: u or n?
n
Let p be 485/(-15) + (-3)/(-9). Let y be (-1)/(-4) - (-904)/p - 2. Which is greater: -25 or y?
-25
Let a = -0.3034 + 1207.3034. Is 0 != a?
True
Let c = -946/255 + 149803/765. Which is smaller: c or 191?
191
Let j = -5042 + 7576. Is 2534 not equal to j?
False
Let b = 107.88 + -108. Let z = b + 3.12. Do z and 39 have different values?
True
Let b = -8746/17 + 515. Suppose -6952 = -26*o - 1154. Let w = -223 + o. Which is smaller: w or b?
w
Let d = -2684449 + 56395012/21. Let t = 1031 - d. Is 2 greater than or equal to t?
False
Let t = -42 + 47. Suppose -y + 17 = 4*x - 22, y = t*x - 42. Is x at least 100/13?
True
Let s = 1.3 - 0.3. Let p = 0.30822 + 843.67178. Let q = p + -844. Which is smaller: s or q?
q
Let d = -9709 - -10161. Which is bigger: d or 450?
d
Let x = 5 + -10. Suppose -459*c + 464*c - z + 31 = 0, -5*c - 67 = 3*z. Which is smaller: c or x?
c
Let l be 8*(3 - (-292)/(-8)). Let o be (3/10)/(2/l). Does -39 = o?
False
Suppose 0*k + 2*k + 23 = s, -s - 4 = k. Let x be (-15)/k + 0 + -2. Let j = -404527/21 - -19263. Is j equal to x?
False
Suppose 171 = -13*t - 190 - 120. Suppose 4*x + 109 = -3*f, f + 2*x = 5*f + 160. Are t and f equal?
False
Let q be 1 + 1 + (-6)/90*28. Let c = 119 + -223. Let x be (-42)/c + (-3)/12. Is q > x?
False
Let u be 6 + 6/(-8 + 7). Suppose u = 8*j + 7*j - 1905. Which is smaller: 128 or j?
j
Let x be 270/81*(-2 - 1). Are -49 and x equal?
False
Let d = -108 + 98. Let l be 4/d + (-3228)/(-7920). Which is bigger: l or -1?
l
Let j = -16 - -19. Let u(a) = 4*a**j - 11*a**2 + 0*a**2 + 14*a - 7 - 3*a**2 - 3*a**3. Let g be u(13). Is 10 at least g?
True
Let w = 0.8 - 1. Let o(j) = -3*j**2 + 44*j + 11. Let u(g) = 1. Let m(b) = o(b) + 3*u(b). Let l be m(15). Which is greater: l or w?
w
Suppose -10*y = -0*y - 80. Let h be (-47749)/105 + y/(-24). Let r = 455 + h. Is r greater than 1?
False
Let n be (-6)/4*(-239912)/24534. Let d = n + -2/1363. Which is greater: 14 or d?
d
Let u = 1355/42 - 377/14. Which is greater: 73 or u?
73
Suppose 3*q - 18 = o, -10*o - 2*q = -2 - 42. Is o greater than 56/31?
True
Let n = 94 - 91. Let k be (-1)/(-7) - (n - (-188)/(-56)). Which is smaller: -144 or k?
-144
Let s(a) = 23*a**3 - 6*a**2 + 2*a. Let o be s(0). Suppose c - 3*v + 15 = 0, 3*c - 2*v - 10 = 4*c. Let n be (3/419)/(18/c). Is o less than or equal to n?
False
Suppose -v + 2*v = 40. Suppose -d + 0*g = 2*g - 9, -2*g = 0. Suppose -284 + 644 = d*t. Is v greater than or equal to t?
True
Suppose -i - 873 = -3*p, 0 = -2*p + i + 295 + 285. Which is bigger: p or 292?
p
Let a(x) = -3*x**3 - 5*x**2 + 5*x - 20. Let m(u) = u**3 + 2*u**2 - 2*u + 6. Let l(s) = 2*a(s) + 7*m(s). Let f be l(1). Is f greater than or equal to 5?
False
Suppose -o - u + 4 = 0, 4*o - u - 2 = 2*o. Suppose -4*r + o*r - 2*g - 210 = 0, 5*r + 4*g + 523 = 0. Which is smaller: r or -102?
r
Let w = 25 - 100. Let r be 1*(-144)/(-28)*-14. Is r < w?
False
Let k be 1 - 55/60 - -4*677/3792. Which is smaller: k or 0?
0
Let k = -154637185/159502 - 2/79751. Which is greater: -970 or k?
k
Let v = 344.8 - 344.831. Which is smaller: v or -24?
-24
Let q = -73810/27 + 2730. Do -5 and q have the same value?
False
Let y(a) = -2*a**3 