 i or 51?
51
Let r = -2125 - -2125.4. Which is greater: 295 or r?
295
Let o be (-14)/49 + 79/(-91). Suppose -23*p - 84 = 19*p. Which is bigger: p or o?
o
Let y = 311739/1352 + 642/169. Is y equal to 233?
False
Let n be (170/(-51) + 2 + 1 + 2)*1023. Which is smaller: n or 1703?
1703
Let y = 2 - 1. Let r(o) = -o**3 - 6*o**2 + 9*o - 51. Let u be r(-8). Suppose 0 = 4*n - d + u, d + y = -3*n + 6. Is n at most 2/41?
True
Let l(n) = -12*n - 623. Let j be l(-24). Which is smaller: j or -331?
j
Let b be (6/(-39) - (-120)/(-65)) + -66. Let s = -47 - b. Let w be (s/7)/((-159)/2). Is w < 0?
True
Let g be 4/12 + (-1728466)/(-402). Do 4298 and g have the same value?
False
Let c = 6385 - 6385. Which is smaller: 18/413 or c?
c
Let h = -66 + 58. Let q be -51*h/60*(2 + 48). Let v be 9/((-11385)/q) + 2/11. Are -1 and v equal?
False
Suppose -72 = 23*i - 41*i. Let b be ((-462)/i)/(36/(-48)). Which is smaller: 155 or b?
b
Suppose -3*r = -2*a + 20, 26*r + 28 = -2*a + 21*r. Is a not equal to -152?
True
Suppose 48*b = 54*b - 18. Suppose 0 = 5*j + 4*m - m + 143, b*m - 136 = 4*j. Let y = j + 48. Is y equal to 16?
False
Suppose -1191*t + 1180*t - 11 = 0. Is t > 23/133?
False
Suppose -7 = 25*c - 18*c. Let w be 4/(-32) + (-429)/24. Let i be 2/(-101)*(-9)/w. Do i and c have the same value?
False
Let m(i) = -37*i - 54. Let o be m(9). Let v = 386 + o. Which is smaller: v or -263?
-263
Suppose 4*n = -2*o - 134 + 8, -3*n = 5*o + 105. Let m be 4/((-24)/(-25)) + 5/n. Which is smaller: m or 27/10?
27/10
Let p = 200 - 201. Let z = -7.4 - -31.4. Which is bigger: z or p?
z
Let b(o) = o**3 + 27*o**2 - 37*o - 161. Let q be b(-26). Is 1477 > q?
False
Let r = -240.2 - -240.22. Does 33 = r?
False
Let o(b) be the first derivative of b**2/2 - 6*b - 29. Let n be o(7). Let h = 1315 - 48658/37. Which is greater: n or h?
n
Let x be 11/(165/340)*(-6 + 329/56). Is -0.086 at most x?
False
Let a be 9*4/6 - 111. Let j be 6/7 - (-405)/a. Which is bigger: -147 or j?
j
Let i = -19148 + 18463.4. Which is smaller: i or 0.2?
i
Let n be ((-11)/(-77) - (-4 + (-3355)/(-700)))*54. Which is smaller: n or -1?
n
Let y = 25 + 75. Let u be -7 + 120/16 - 58/y. Which is greater: 1 or u?
1
Suppose -2*t = -6*t + 24. Let p be (-7)/(-4)*(-8)/t. Let r be 20/(-3) + (-11)/(7 + 26) - -5. Which is smaller: r or p?
p
Let r(c) = -22*c - 3. Let n be r(4). Let m = 994.8 - 992.8. Which is smaller: m or n?
n
Let i(s) = -s - 21. Let m be i(-21). Suppose m = -0*f + f - 26. Let z = f - 77/3. Are z and 1/13 nonequal?
True
Suppose -1262*o = -1281*o - 30761. Is o bigger than 3?
False
Let w = -0.42 + 0.6. Let x = 8641 + -8645. Is w bigger than x?
True
Let d = -534 + 538.27. Let f = d - 11.27. Is -5 < f?
False
Let m be (1 - -23)*37/(-74). Let v = -385/32 - m. Are 0 and v equal?
False
Suppose 35*b = 32*b + 51. Suppose 2*o + 2*o = -x - 118, o + 4*x = -22. Let n be (12/o - b/(-5)) + 1. Is n at least as big as -0.04?
True
Suppose 0 = j - 0*h + 3*h - 12, -4*h + 18 = 2*j. Let x be (14/(-84))/(2/(-88)) - 56/(-84). Suppose -j*u = -9, -2*a + x*u - 6 = 4*u. Is 2 > a?
False
Let x = -526/11 + 8836/165. Which is smaller: x or 5?
5
Let g(s) = -s**2 + 17*s + 125. Let h(d) = 3*d**2 - 50*d - 375. Let t(p) = 7*g(p) + 2*h(p). Let o be t(24). Which is smaller: o or 50?
o
Suppose -4*r + 2*g = -22, -2*g - 27 = r - 6*r. Suppose 3*h - r*h = -4. Suppose -o = b - 3*b - 9, 5*b = h*o - 22. Which is bigger: o or -9?
o
Suppose 4*z - 2 = -u, -z - 2*z = 3*u - 6. Let g(b) = b**2 + 9*b - 8. Let o be g(-10). Let m be (-1 + (3 - o))/(z - 1). Which is smaller: m or -8/13?
-8/13
Let o = -88.78 - -34.78. Which is smaller: -10.6 or o?
o
Let x(b) = 17*b + 3413. Let f be x(-87). Which is smaller: 1932 or f?
1932
Suppose 0 = s - 2*x - 7, 4*s + 2*x - 23 = -s. Suppose w = -5*u - 7, u = -13*w + 16*w + s. Which is bigger: 10/21 or u?
10/21
Let z = 1371 + -829. Let u = 1053/2 - z. Let t = -57 + 40. Which is bigger: u or t?
u
Let p = 1481 - 1464. Let v = -26 - -26.08. Let n = v + -0.18. Is p <= n?
False
Let c = 2287/5 + -467. Suppose -14*h + 12*h = 20. Which is bigger: c or h?
c
Let g = -118 - -119. Let q(p) = p**3 + p**2 - 4*p + 3. Let t be q(g). Which is smaller: 5 or t?
t
Let h = -7816 - -132848/17. Which is smaller: h or 0.01?
h
Let f = -86.47 + 86. Let c = -0.0825 + 0.5825. Let b = c + f. Is -1 greater than b?
False
Let y be -15 + 267/18 + 0 + 11059/(-102). Does -108 = y?
False
Let h(f) = -f + 27. Let q be h(53). Suppose o = 5*o + 108. Which is smaller: o or q?
o
Let m = 4808587/17898 + 3/5966. Let o = -268 + m. Is -27 bigger than o?
False
Let x = -1418 - -2094. Let y = -676 + x. Is 0.093 >= y?
True
Suppose 18*g - 399 = 21*g. Let w = g - -141. Suppose -4*k - 13 = -57. Which is bigger: k or w?
k
Let p(j) = 39*j + 39. Let x be p(15). Which is smaller: 3114/5 or x?
3114/5
Let k = 49.31 + 55.69. Is 9 >= k?
False
Suppose -14377*y = -14381*y. Is -2/5943 at most y?
True
Let s(h) = 13*h - 2. Let u be s(1). Let t be (1 - 7/5)*u/(-154). Let q(a) = -a**3 + 14*a**2 + 16*a - 15. Let k be q(15). Which is smaller: t or k?
k
Let a be (-5)/((-125)/(-48)) + 2. Let h be (-29203)/(-152) - (1 - (-21)/(-24)). Let s = h + -192. Which is greater: a or s?
a
Suppose 11169 - 12203 = -11*s. Is 87 greater than s?
False
Suppose -8 + 5 = q + 3*f, 4*q + 3*f = 33. Suppose 23 = q*x + 11*x. Are -2/57 and x nonequal?
True
Let x = -19249 - -19822. Which is smaller: 4001/7 or x?
4001/7
Let t(r) = -210*r + 913. Let i be t(10). Is i less than or equal to -5931/5?
True
Let w(m) = 4*m - 4. Let v be w(1). Suppose v = -5*i + 13*i - 480. Let o be (39/i)/(6/15). Which is smaller: o or 3?
o
Let i be (13 - (-4 - -8)) + (-2 - 2). Suppose -t - 3 = 2, 58 = -3*j - i*t. Is j smaller than -4?
True
Let c be -8*(-1 - 6/(-8)). Suppose -4*j + h - 202 = 0, 0 = c*j + 4*h + 65 + 45. Let k = j + -15. Is -65 greater than k?
True
Let l be (5/2)/(475/489820). Is l less than 2578?
False
Let y = -3892 - -6437. Let b = y - 1585533/623. Which is smaller: 1 or b?
b
Let u = -16 - 1. Let s = u + 20. Let q be ((-20)/14)/(s/(-21)). Which is greater: 8 or q?
q
Let y = 116 + -115.85. Let w = 13.05 - 13. Let v = w + -0.05. Which is bigger: y or v?
y
Let c = -12 - 1. Suppose 27*h = -25*h - 312. Let n be -6*(-3)/h - 76/8. Is n != c?
True
Let o = -336/47 + -80497/94. Let r = o + 9501/10. Which is smaller: 88 or r?
r
Let f = 5502 - 2354827/428. Are 0 and f nonequal?
True
Let m = -1382.96 + 1383. Which is smaller: m or 761?
m
Let l = -10 - 22. Suppose 1650 = 4*m + 2*b, -2*m + 756 = 5*b - 73. Let a = 379 - m. Is l smaller than a?
False
Let j = 598265/33 - 18127. Let g = 21/11 - j. Which is smaller: g or 216?
g
Suppose 0 = -3842*n + 3857*n - 1656 + 141. Which is greater: 71 or n?
n
Let s = -208 - -212. Suppose -4*i + 5*l = l, 5*i - l = -s. Let c = -28663/45 + 637. Is c at most i?
False
Let b be 16/(16 - -32)*(-111 + 0). Let w(m) = -2*m**2 - 7*m - 5. Let a be w(-6). Is b < a?
True
Suppose 10 = 5*x, 5*p - 2*x - 27 + 31 = 0. Which is bigger: p or 0.08087?
0.08087
Suppose 11*j - 689 + 235 = 635. Suppose 211 = 3*s - 89. Which is smaller: s or j?
j
Let j = 5822 - 5686. Suppose 0 = 5*r - 0*r. Which is greater: j or r?
j
Let i = 29963.274 - 29964. Is 2 < i?
False
Suppose -5*a + 6*a - 5*x - 124 = 0, x + 692 = 5*a. Let d = -34 + a. Let g = 143 - d. Is 39 less than or equal to g?
False
Let t = -0.15 - -0.08. Let b = -0.074 + t. Let g = 0.856 - b. Are g and -2/85 nonequal?
True
Suppose 206 = -6*h + 662. Let z = -70 + h. Let f be (z/(-3) - -3) + (-1)/(-1). Does f = 8/7?
False
Suppose 30*v - 26*v = 0. Suppose l - 21 = -4*d - v*d, -5*d = -2*l + 16. Let y(w) = -5*w + 35. Let r be y(l). Is r at least as big as -29?
False
Suppose -4*y + 640 = f, 0 = -4*f + 2*y - 60 + 2548. Let b be 3*(f/(-9))/8. Let k = 0.14 + -2.14. Is k greater than or equal to b?
True
Suppose 7*i = i + 1788. Let o = i - 260. Let n be (-2)/(0 - 4)*76. Is n at least o?
True
Let c = 4278 - 4275. Which is smaller: c or -21/22?
-21/22
Let f = -95.9 - -510.9. Let x = 402 - f. Is x less than or equal to 0.14?
True
Let i be (-24)/(((-4)/54)/(7 - 10)). Is -973 > i?
False
Let w be (84 - 78) + 2*43. Is 91 greater than or equal to w?
False
Let y(o) = -4*o - 20. Let s(m) = -5*m - 54. Let p be s(-10). Let f be -5 + (p - (-5 + 1)). Let b be y(f). Which is smaller: b or -1/25?
-1/25
Let t be (-15)/18*(-45)/30. Is 1 bigger 