r n?
o
Suppose -3*j = -2*u - 2*j + 15, 0 = -4*j - 4. Let l(k) = -13*k + 21. Let x be l(u). Let y = x + 34. Is y > -36?
False
Let i be (236/6)/(198/(-27) - -8). Suppose -7*n = i - 395. Are n and 2 equal?
False
Suppose -p = 2*r - 302, -606*r + 607*r = 5*p + 129. Let j = -41 - -191. Is r less than j?
True
Let v be (-5)/2*(-2)/(-30)*-394. Let g = -12 - v. Which is smaller: -77 or g?
g
Let p = -21333/4 - -149311/28. Which is smaller: -303 or p?
-303
Let y = 1015 - 997. Are y and 51 equal?
False
Let u(s) = -s**3 + 7*s**2 - 10*s + 12. Let k be u(5). Suppose 18*y + 6 = k*y. Is -6/35 smaller than y?
False
Let a be 214/(-963) - 14/18. Let w be (24/30)/a*(-1660)/24. Which is bigger: 56 or w?
56
Let g(u) = u**3 + 6*u**2 - 3*u + 5. Let f be g(-6). Suppose -132 = -2*s - 2*i, -i + 62 = s + 2*i. Suppose 6*r - s = 3*r + h, 0 = -4*r + 4*h + 80. Is f >= r?
False
Let v(f) = -13*f + 153 + 30 + 67. Let g be v(11). Is g greater than 108?
False
Let d = 323 + -11. Let a = d + -2196/7. Let p = 3.3 + -4.3. Which is smaller: a or p?
a
Let y = -1586.3 - -1586.23. Let z be (2/5)/((-8)/(-10)). Is z at most as big as y?
False
Let v = -41/9 - 1/9. Let g = v + 5. Are -14 and g nonequal?
True
Let v = 51.4 + -51.5. Is v greater than -270/11?
True
Let f = 3019 + -3020. Let r be 10/(-1)*4/(-10). Let n be (-1)/r*30/185. Which is greater: f or n?
n
Let t = -81 - -84. Let w = -63.401 - -0.401. Which is greater: w or t?
t
Let z(r) = -42*r**2 + 2*r + 1. Let w be z(-1). Let d(m) = m**2 + 4*m - 1. Let h be d(-5). Suppose h*g + 516 = -8*g. Are w and g unequal?
False
Let u be (-58)/14 + (-20)/(-140). Is 168 greater than u?
True
Suppose 179 + 57 = -4*a - v, 4*a = -3*v - 236. Let y = a - -59. Let g be ((-1)/(-6))/(165/(-20)). Which is smaller: g or y?
g
Let i = 73.875 + 0.125. Let r = i - 73.24. Let v = -0.24 - r. Which is bigger: v or 0.001?
0.001
Let d = -624 - -2004. Is d < 9670/7?
True
Let r = 959/480 + -17/32. Let m(l) = -l**3 - 6*l**2 - 9*l. Let f be m(-2). Which is smaller: f or r?
r
Let v = -33 + 109. Let w = 79 - v. Is w != -3?
True
Suppose 25 = 7*a - 45. Let x be (-20)/a + 7/3. Is 1/9 equal to x?
False
Suppose 7*x - 3*x = -2*a + 52, 52 = 2*a - 4*x. Suppose -4*b + 100 = 465*l - 470*l, 100 = 4*b + l. Which is greater: b or a?
a
Let y = 0.0171 - 0.1881. Which is greater: -34 or y?
y
Let g be 12/(-30) + 19/35 + (-426780)/(-70). Is g less than 6099?
True
Let p(s) = 3*s**2 - 2*s - 3. Let t be p(3). Let z be (-8)/(-10) + t/90. Let w(f) = f**3 + 9*f**2 - 21*f + 12. Let l be w(-11). Do l and z have the same value?
True
Suppose 68*x - 210*x + 528382 = 0. Is x less than 3719?
False
Let p(g) be the third derivative of -g**6/120 + 2*g**5/15 - 5*g**4/8 + g**3/6 + 82*g**2. Let m be p(5). Is m bigger than -2/269?
True
Let h = -295 - -532771/1806. Is h less than -1?
False
Let u(c) = -38*c - 3685. Let j be u(-97). Which is greater: j or 168/85?
168/85
Let i = -1.6 - -1.7. Let y(a) = 28*a + 97. Let n(l) = -l**2 + l + 1. Let b(s) = n(s) - y(s). Let q be b(-18). Is q greater than or equal to i?
True
Suppose -s + 3*s + 26 = 450. Let d be 8235/39 + (-2)/13. Which is smaller: s or d?
d
Let x = -8897 + 8899. Let y = 24469/10 - 2445. Is x greater than y?
True
Let o = -247 - -222. Let q be 1 + 0 + (o/4 - -7). Is 14/5 < q?
False
Let g = 134.246 + -134. Let v = g + -0.446. Which is smaller: v or 3/5?
v
Let h be -73*(-257276)/156*271/(-235). Let a = h - -138835. Let w = a + -23462/1833. Which is bigger: -13 or w?
w
Let k be 6/9 - ((-48)/(-9))/(-4). Suppose 2*j = k*x + x - 3, 0 = 2*x + 2. Let r be j + (8 - 3) + 122/(-64). Are r and 1 nonequal?
True
Let k = 759.788 - 761.788. Let f = -1/308 - -7/220. Is k less than f?
True
Suppose 5*b + 115 = -270. Let f = b - -77. Suppose -2*n + v = -10, 3*v + f + 2 = -n. Is n greater than 3?
True
Suppose -1530 = -5*h - 12*h. Do 93 and h have the same value?
False
Let j = -197394 + 1386485/7. Let z = 675 - j. Which is greater: z or 120?
120
Let c(x) = -183*x + 48 + 188*x + 39. Let g be c(-7). Which is smaller: 54 or g?
g
Let h = 264 - 159. Suppose -h = 7*s - 98. Is s < 3/172?
True
Let w be (-30)/20*4/6. Let b = -14 + -1. Let x = -7 + b. Which is bigger: w or x?
w
Let k be 4*(1 + 3/6). Suppose 18 + 72 = 18*t. Suppose -16 = -t*u - k. Which is smaller: 7 or u?
u
Let n be (1 - 1)/(0 - -1). Let c be (10/(-402)*4311/(-4790))/(9/4). Which is smaller: c or n?
n
Let f be (-173)/(-297)*-2 - 14/(-189). Which is smaller: -4 or f?
-4
Suppose 6*a + 25 = 103. Suppose a*x = 27*x. Which is bigger: -2/121 or x?
x
Let l(v) = -2*v**2 - 55*v + 29. Let q be l(-26). Suppose 0 = -16*r - 283 + q. Suppose -z - 2 = z. Are z and r nonequal?
True
Let n(z) = z + 12. Let y be ((-252)/(-14))/((-3)/(-2)). Let l be n(y). Suppose -2*r = -l + 2. Which is greater: r or 7?
r
Let w = -12643/40 - -3975/8. Let v = w + -18919/105. Is v less than -1?
False
Let k = 5135 - 5134.1. Is 270 equal to k?
False
Let q(l) = -41*l - 4. Let a be q(-2). Suppose 0 = 7*u - 111 - a. Let f = -28 + u. Do 3/47 and f have different values?
True
Suppose 51*h - 127*h - 16297 = -51333. Which is smaller: h or -2?
-2
Let q(o) = o**3 + 61*o**2 - 99*o - 2086. Let u be q(-62). Which is bigger: u or 228?
228
Let d = -469 - -785. Let l = -317 + d. Which is smaller: 282 or l?
l
Let q be 3 + (-21)/12 + (-7)/28. Which is smaller: q or 17/171?
17/171
Let t(b) = -3*b + 54. Let q be t(20). Let v be q/(-9) + 992/(-1524). Which is bigger: 3 or v?
3
Let s = 17503/4 + -4376. Which is bigger: s or 979?
979
Let z = 9.307 + -9.207. Is z less than 9.41?
True
Let j be (((-207)/1910)/(-9))/((-390)/1359453). Let g = j + -26/4775. Let t = g + 42. Are t and -1 unequal?
True
Suppose -5*x + 2*z + 14 = 0, 3*z + 4 = z. Suppose -5*r - 2148 = -4*f - r, x*r = -3*f + 1601. Let o = 17653/33 - f. Which is smaller: 0 or o?
o
Suppose -703*d + 708*d - 10 = 0. Let x(h) = -2*h**3 - 21*h**2 + 14*h + 40. Let v be x(-11). Are v and d non-equal?
True
Let t = -70 - 4. Suppose 34*v + 1105 + 1377 = 0. Is v at least t?
True
Let n be (-1246)/182 - 5/(-15)*21. Which is greater: 2/1021 or n?
n
Suppose -3*k + 2*p - 28 = 0, -p = 2*k + 8 - 1. Let i = k - 3. Let b(f) = f**2 + 9*f + 9. Let r be b(-6). Is i smaller than r?
False
Suppose 0 = 4*t - 2*p + 1066, -273*t - 539 = -271*t + p. Are -256 and t non-equal?
True
Let y = -722 - -864. Suppose -2*m - 6 = 0, 0 = -5*f + m - 3*m + 709. Which is smaller: f or y?
y
Let l(g) = -g - 5. Let h be l(-6). Let o(i) = i - 5. Let a be o(-3). Let k be a/14 + (-711)/(-1134). Which is smaller: k or h?
k
Suppose 0 = 19*r - r + 10*r. Suppose -15*u - 363 - 192 = r. Is -39 greater than u?
False
Let r = -1374.3 + 1374. Let y = -4 - -4.44. Is y greater than or equal to r?
True
Suppose 2*a - 2*s = 3*a - 14, 0 = 4*a - 5*s + 9. Suppose a*k - 523 + 163 = 0. Is 91 less than k?
False
Let y = -0.42 + 0.42. Let p be (-216)/(-144)*2/(-11). Which is smaller: p or y?
p
Let b(r) = -3*r**2 - 1. Let o be b(-1). Let m be (42/o - -7)*(-30)/(-14). Is m at least -8?
True
Suppose -10*c - 16 = -13*c + v, 0 = -c - 5*v. Suppose 3*r + 1 = -5*d - 4, -4*d = -c*r + 4. Does r = 1/196?
False
Let d(n) = -n**3 - 6*n**2 - n - 52. Let p be d(-7). Let h be 3/(-10 + p - -5). Which is bigger: -2 or h?
-2
Let a(y) = -13*y - 24. Let h(n) = 11*n - 82. Let r be h(8). Let b be a(r). Which is bigger: -101 or b?
-101
Let b = 964 + -1062.1. Let h = b + 99. Is 1.3 not equal to h?
True
Let o = 0.99 + -0.99. Let x = -18.52 + -0.48. Let h = x + 18.78. Is o greater than h?
True
Let h = 134 - 450. Let l = h + 320.31. Is l at least -1?
True
Suppose 3*x - 4*u - u - 396 = 0, -u = 0. Let p be 142 - 1 - (20 + -10). Which is smaller: x or p?
p
Let d = 1025/60452 + -2/889. Let t be 2085/306*3/30. Let j = t - d. Is j smaller than 2?
True
Let t be 2 + (-184 + 0)/2. Let z(f) = f**3 - 23*f**2 + 113*f - 85. Let i be z(17). Let l = t + i. Is l >= 12?
True
Let n be -3*4*(-1 - 0). Suppose -4*f = -14*f + 670. Suppose f = 4*y + 3*r, -3*y = -10*r + 8*r - 29. Is y less than n?
False
Suppose -25*b + 32*b = 27342. Suppose 0 = -23*y - 8*y + b. Which is bigger: y or 249/2?
y
Let c(g) = -8*g**2 - 3*g. Let p = -617 - -621. Let t be c(p). Is -139 at least as big as t?
True
Let z be 12/36 + (-382)/3. Let b = -67 - z. Let l = 62 - b. Is l smaller than 5/4?
False
Let s = -4659 - -4652. Which is bigger: -17/4 or s?
-17/4
Let o = 18 - 50. Let w b