- 125. Let q be j/(-21) - 16/3. Which is smaller: q or -65/11?
q
Let o be 155*(-4)/10*-1. Let z(g) = -114*g + 153. Let x be z(-11). Let r = x + -1346. Is r at least o?
False
Let c = -132.2 + 128.2. Which is greater: -17.4 or c?
c
Suppose 0 = -a + 3*a - 1266. Suppose -a - 835 = r. Let t be -3 - (r/244 - -3). Is t less than or equal to 1?
True
Let u = -2/13 - 98/39. Suppose -5*b + n - 180 = 0, -5*b + 0*n - 2*n - 180 = 0. Let i be (-48)/b*(-3 - 0). Is u greater than i?
True
Let c = -144 + 174. Suppose -c = -i - 27. Let u(m) = -2*m - 10. Let s be u(-7). Which is greater: i or s?
s
Let a(b) = -2*b - 2. Let j be a(-3). Suppose 5*s + 6*p + 175 = p, -j*s - 161 = -3*p. Let f = 36 + s. Which is greater: f or -1?
-1
Suppose 66*t - 1665 = 29*t. Is 35 equal to t?
False
Let r = -465 + 182. Let v = 283.1 + r. Which is greater: 122 or v?
122
Suppose 969 = 55*y + 2*y. Let x(c) = 19*c - 297. Let k be x(y). Are k and 6 unequal?
True
Let t = 3358 + -50336/15. Let k = 40129 - 40126. Is t smaller than k?
True
Let n be (13 - -7)*(-1 + 2). Are n and 0.27 unequal?
True
Suppose -758*u = -169*u + 7068. Suppose 2*x + 0*x = -26. Which is greater: x or u?
u
Let k = 6223 - 6826. Is k <= -598?
True
Let y be 940/(-18) + (-6)/(-27). Suppose -15*b + 92 = 8*b. Let x be (1 - -1)/(b/(-102)). Is x < y?
False
Let a = 0.011 + -0.101. Let u = -426 + 429. Which is smaller: u or a?
a
Let u = 3949.08 - 3950. Is -9 bigger than u?
False
Let w(g) = -23*g - 2114. Let o be w(-92). Is o not equal to 516?
True
Suppose 2*i = -4*x + 36, -2 - 28 = -2*x + 2*i. Let l be 13 - -5*(-96)/(-60). Suppose -4*h - l = -x*h. Which is bigger: h or 0?
h
Let q be (-204)/20*(-1)/30. Is q greater than or equal to 0?
True
Let c be (-2)/6 + (-618)/(-18). Suppose -36*q + 1391 - 95 = 0. Which is smaller: c or q?
c
Let a be (66*2)/4 - -2. Let n = 106 + -72. Which is bigger: n or a?
a
Let f = -212.44 - -255. Let r = -42 + f. Let g = -0.06 + r. Which is smaller: 2 or g?
g
Let d be (1394/(-170) - -8)*(-10)/8. Which is greater: -4333 or d?
d
Let i = -130108432757/848220 + 99375533/1055. Let a = i - -59195. Let d = a + 4/67. Which is smaller: d or 1?
d
Let o be 15 + 1 + -10 - (-7)/(-1). Is o at least as big as 2/23537?
False
Let k be -17 - 8444/(-324) - (-18)/(-2). Is k >= -1?
True
Let k be (-1)/(-4)*(2 + -6)*-5. Suppose 0 = -3*h - h - 8, -k*z + 5*h = -90. Is 21 < z?
False
Let d = 329806468/1845 - 893792/5. Let v be (4/36)/(52/56 - 1). Let w = v - d. Which is greater: w or 0?
0
Let t be ((-16)/224)/(3/8). Suppose 0 = -3*o - 5*k - 86, 4*k + 184 = -5*o + 58. Let h = o - -21. Is h < t?
True
Let t = 0.7 + -0.68. Let b = -1024.7 - -607.8. Let y = -418 - b. Which is bigger: t or y?
t
Suppose 3*l + 39 = -4*s + 197, s - 2 = 0. Let y = 379 + -330. Let m = l - y. Is 6/19 < m?
True
Let u = -484 - -4339/9. Let s(c) = c**2 + 32*c - 70. Suppose 9*t - 247 = -553. Let k be s(t). Which is bigger: k or u?
u
Suppose 5*w + 4*i = 8*i + 321, 2*i + 323 = 5*w. Suppose 0*j = -j - 2*a + w, j - 60 = 3*a. Let x = -47 + j. Which is smaller: x or 14?
14
Let f = 3/848 - 11911/11024. Let d be (-52)/9 - (-10)/(-45). Let n be (-1 + 2)*(0 + (d - -5)). Is f less than n?
True
Let y be (2/(-2))/(2/(-6 - -2)). Let m(l) = l**2 - 12*l + 22. Let q be m(10). Suppose -q*x - 3*f - 121 = -41, -y*f = -x - 26. Are x and -34 non-equal?
False
Let g = -10620 - -10619.98. Let n = -5.39 - 0.59. Let b = g + n. Is -1 greater than or equal to b?
True
Let f = 4833 + -4833.4. Is 1.8 >= f?
True
Let o = -119 + 131. Let q be 64/66 + o/18. Suppose 0 = -0*t + 2*t, -2 = -2*n + 2*t. Which is bigger: q or n?
q
Let m be (-98)/(-84) - 6/(-4). Suppose 12 = 5*g - 2*s, 4*g + 0*s = 2*s + 10. Suppose 5*t + g*w - 16 = 3, 5*t + 4*w - 23 = 0. Which is bigger: m or t?
t
Let l be 3/2*(-52)/6. Let h be (-122 - l)*(-46)/16. Let s = h - 313. Is 2/7 != s?
True
Let k(o) = -o**2 + 14*o + 16. Let l be k(15). Let a = 0.245 - 0.545. Are a and l nonequal?
True
Suppose -429 = -3*t - 225. Suppose -t = -7*n - 27*n. Which is smaller: 92 or n?
n
Let q = 11 + -7. Let w(b) = b**2 - 39*b + 360. Let x be w(15). Suppose -q*i - 3*i + 252 = x. Which is greater: i or 37?
37
Let w = 9/875 - 765661/3500. Which is bigger: w or -218?
-218
Suppose -117*i + 1 = -120*i - 4*g, -2*i - 2*g = 2. Is -67/15 equal to i?
False
Suppose -4*p = 18*g - 15*g - 20, -3*p + 15 = 4*g. Is g > -1848?
True
Suppose 27*g - 88 = -358. Let d = 19 + g. Suppose 0 = -5*q + 27 + 13. Is q greater than d?
False
Let s be (-1)/2*0 + 20 + 108. Is 128 greater than s?
False
Let l = -0.2 + 0.3. Let j = 254.92 - 354.92. Are l and j equal?
False
Let a be (-5)/2*(-1)/5. Let l = 421.9214 - -0.0786. Let y = -459 + l. Is y < a?
True
Let p(m) = -63*m - 146. Let v be p(-2). Suppose 3*r - 15 = 5*x - 0*r, -4*r = 5*x - 20. Suppose x = o - 2 + 23. Which is smaller: o or v?
o
Let k = 2544 + -2528. Which is smaller: 19 or k?
k
Let n = 42 - 96. Suppose h - 4 - 2 = 2*w, 4*h - 24 = -w. Let z be (4/h + (-16)/6)/(-8). Is z < n?
False
Let d = -308 - -63. Let j = d - -247. Which is smaller: -112 or j?
-112
Suppose -4*r + 24 = 8. Suppose -r*n = n - 35. Let p be (-2 + 196/90)*(n + -2). Which is smaller: 0 or p?
0
Suppose 93 - 624 - 826 = 59*c. Let x be 4 + 42*(-8)/12. Which is greater: c or x?
c
Let g(u) = 12*u + 54. Let o(t) = 10*t - 34*t - 2 - 105. Let p(i) = -7*g(i) - 4*o(i). Let y be p(-8). Is y greater than -46?
False
Suppose 3*g - 289 = -14*g. Let a(f) = f**3 - 18*f**2 + 16*f - 35. Let q be a(g). Which is bigger: -50 or q?
-50
Let g = 3401 - 3400. Which is smaller: g or -206?
-206
Let p be (4/(-15))/(-7 - 5180/(-744)). Which is greater: p or 7?
p
Let q = 16683 + -16729. Let f(v) = -44*v + 1. Let o be f(1). Is q less than or equal to o?
True
Let w = 178 - 141. Let m = w - 38. Is m less than 2/247?
True
Let p(u) = u**2 - 17*u + 32. Let z be p(16). Suppose -63*m - z = -62*m. Are m and -16 non-equal?
False
Let z = -249.6 + 204. Let c = -63 - z. Which is smaller: c or -0.1?
c
Let v(b) = b - 2. Let y be v(1). Let z be y - (8/(-3))/(6/27). Let u be (-2 - z/(154/(-48)))/(-1). Is -3 >= u?
False
Let j = -3/3205 + -211491/41665. Let a = -23 + 19. Which is smaller: j or a?
j
Let x(z) = 3*z**3 - 4*z**2 + 5*z - 3. Let m be x(1). Is -6/641 greater than m?
False
Suppose 14 = -2*d + 218. Let g(u) = 2*u**2 - 24*u + 170. Let a be g(7). Which is bigger: d or a?
d
Let r(z) = z**3 - 13*z**2 - 14*z - 17. Let j = -28 - -30. Let l(y) = 5*y**2 + 2*y - 10. Let q be l(j). Let w be r(q). Is -18 greater than w?
False
Let r = -3648.6 + 1654.6. Is -1 < r?
False
Suppose -90 + 27 = -4*t + r, 0 = 4*t + 5*r - 93. Suppose c + t = 2*z, -6*z + 4*z = -2*c - 34. Are -20 and c non-equal?
True
Suppose 0 = -6*k + 9*k - 6*k. Suppose k = 8*o + 4*o - 13*o. Let y = -23 + 739/32. Which is greater: y or o?
y
Let j = 5/48 - -1/144. Is j less than or equal to -10?
False
Let j = -1309/2 + 43853/67. Suppose 0 = -0*p - 6*p. Which is smaller: p or j?
p
Let h(j) = 7*j**3 - 1 - 3 + 16*j**2 - 8*j - 16*j**2. Let v be h(-6). Let g = -89546/61 - v. Is g greater than or equal to -1?
True
Let v = 526 - 841. Let t be v/(-5)*(-1 + 0). Is -62 <= t?
False
Let p = 48.14 + -48.8. Let l = p + 0.791. Which is bigger: 0.1 or l?
l
Let l = 257 + -34. Let v = -223 + l. Which is greater: 1/490 or v?
1/490
Let i(m) = -21*m + 3. Let v be i(-2). Let a = v - 41. Suppose -2*f - 10 = -0*f, a*j - 4*f = 60. Which is smaller: j or 12?
j
Let s be (2*23/8)/(3/300). Suppose 0 = -45*o + 40*o + s. Are o and 231/2 non-equal?
True
Let w be ((-4)/(-916))/(-3*4/24). Let n(u) = 4*u + 22. Let i be n(-6). Let t be i*(-2 - (-3)/2). Which is smaller: t or w?
w
Let l be (-26)/(-1637454)*(-12 + 10). Which is greater: 1 or l?
1
Let a(u) = -2*u**2 + 71*u - 331. Let l be a(30). Which is bigger: -4465 or l?
l
Let f be -9 + 11 + 3528/(-1716). Which is bigger: f or 0?
0
Suppose 3*g - 222 = -3*l, 2*l = g - 2*l - 99. Let n = g - 75. Suppose 0*p - n*p - 22 = -2*f, -2*p = 2*f - 46. Is 19 equal to f?
True
Suppose -3*q - 42 = -9. Suppose -f - 2*p = 17, 3766*f - 2*p = 3765*f - 21. Which is bigger: f or q?
q
Let q(k) = -k**2 + 4*k - 3. Let s be q(2). Suppose -10 = 3*p - s, 0 = -3*c + p + 9. Suppose -12 = 4*i, c*u - i - 24 - 45 = 0. Are 34 and u equal?
False
Suppose 3*s - s - 14 = -z, -4*z + 5*s + 69 = 0. Suppose 10*p = z*p - 162. Let l be (-6)/p - 1/(36/(-8)). Which is greater: 16/19 or l?
