/(-36222). Which is bigger: i or 0?
i
Suppose -205*q - 3655 = 10*q. Suppose 4*l + 20 = -0*l - 4*a, 0 = -5*l + 4*a + 20. Is l < q?
False
Let v(h) = 8260*h - 305421. Let y be v(37). Suppose -5*s + 1126 = 131. Are y and s equal?
True
Let b = 3729.1 - 3733. Is b < 73?
True
Let t = -2625 - -2625.1213. Let j = t - -27.8287. Let m = 28 - j. Which is smaller: 1/4 or m?
m
Let p(d) = 2*d**3 - 53*d**2 + 16*d + 14. Let o(u) = -u**3 - 4*u**2 + 17*u - 2. Let x be o(-7). Let m be p(x). Does m = -247?
False
Let c = -0.88695 + 0.00995. Which is smaller: -2 or c?
-2
Let b = -343 + 347. Suppose 10 = -3*c + b*t, -2*c - t - 3 = -0. Is -25 >= c?
False
Let y = -224/101 - 73361/303. Let i be 21/14*7/((-14)/324). Which is bigger: i or y?
i
Let n = -1717.914 - -1716. Let c = n - 0.086. Let u be (-34)/12 - (-15)/5. Are u and c non-equal?
True
Suppose 0 = -h - 5*i - 22, -2*h = 3*i - 6*i + 70. Let z be h/14 - (-8)/28. Let n be z/(-6) + 28/78. Is n != 0?
True
Suppose 221 = 3*f + 3*w - 40, -f + 83 = -3*w. Is -19 greater than f?
False
Let r = 34748/5 + -8417. Let s = 1476 + r. Which is smaller: s or 1/4?
1/4
Let d = 14854 - 16126. Which is smaller: -1270 or d?
d
Let i = 2956 - 2958. Do -6.65 and i have the same value?
False
Suppose 37*i + 12*i = 7*i - 10164. Which is bigger: i or -261?
i
Let s = 2699 - 3537. Is -839 equal to s?
False
Let y = -299.6 - -300.238. Is y less than 0.3?
False
Let q(i) = -4*i + 81. Let u be q(19). Suppose 2*g - 7 = 5*g - 2*y, 4*y - u = -3*g. Which is smaller: g or -1/550?
g
Let o = 380 + -191. Let f be (-7)/5 - (o/(-35) - -5). Is 5/124 equal to f?
False
Suppose 0 = -20*k + 21*k - 14. Let d = -66 - k. Let z = d + 54. Which is smaller: 2 or z?
z
Suppose -f - 433 = -5*o, 2*o = o + 2*f + 92. Let j be (-517)/o - 2*-3. Is -1 <= j?
True
Let w = 1.6 - 4.4. Let h = 1605 + -1602. Is h greater than or equal to w?
True
Suppose -5*b = 2916 + 54. Suppose 0 = -810*a - 341439 - 161130 + 22239. Is b equal to a?
False
Let v = 54 + 246. Suppose -4*h = -3*t + v, 2*h - 50 + 200 = 5*t. Let s = h - -227/3. Which is smaller: 5/6 or s?
s
Let n = 0.194 + 10.106. Let y = n - 10.3. Is y less than or equal to -112?
False
Let s = 11002226/799 + -13770. Let w = s - -4139/28764. Which is smaller: 1 or w?
w
Suppose -131*f = -134*f - 81. Let u = 7 + 11. Suppose -u - 86 = 4*x. Which is smaller: f or x?
f
Let x(b) = -b**3 - 49*b**2 + 270*b - 118. Let h be x(-54). Is -149 < h?
True
Let v be 6/8*4/12. Let d be 5 - (4 + (-175)/(-10)). Let u = -365/22 - d. Which is greater: u or v?
v
Let r be (28 + -28)*-1*(-2)/(-4). Is r smaller than -6/1273?
False
Let t = -21.024 + 21. Let g(m) = -5*m - 24. Let h be g(-5). Let c be h/12*(-1 + 6/(-3)). Which is smaller: t or c?
c
Suppose 0 = 13*v - 8*v - 540. Suppose 170 = -3*u - f, 5*f - 398 = 5*u - v. Is -56 at least u?
True
Let u = -0.07 + 0.052. Let t = 0.005 + u. Let a = -0.079 + -0.021. Is a bigger than t?
False
Let v = 196.37 - 190. Let r = v + -0.07. Let w = r - 6.2. Which is smaller: 1/15 or w?
1/15
Let z(t) = -t**3 + 7*t**2 + 9*t - 10. Let w be z(8). Suppose 0 = -79*c + 78*c + 10. Let u(p) = p**3 - 12*p**2 + 20*p + 10. Let m be u(c). Is m not equal to w?
True
Let s be (2/7449)/(5*16/34381560). Let g = 1500/13 - s. Do g and 0 have different values?
True
Let w = 10193 + -9736. Which is smaller: 2288/5 or w?
w
Let h = -62 + 98. Let u = 20 - h. Suppose 59*l - 90 = 65*l. Are u and l equal?
False
Let f = 293077/5478 + -2/2739. Suppose 4*o = -165 - 47. Let n = f + o. Are n and -23 nonequal?
True
Let v be (-2)/(-3)*-69*-2. Let t = v + -87. Which is bigger: 6 or t?
6
Let l(o) = -o**2 - 4*o + 3. Let s be l(-4). Let d = -3862/9 - -50476/117. Are d and s non-equal?
True
Suppose -4*t = -5*t - 97. Let k = t - -673/7. Let v be -11 - (4 + 8 + -23). Is v <= k?
False
Suppose -149 + 41 = 4*v. Let c be 0 + (-3)/(v/(-5)). Let i = -19819 + 19817. Which is bigger: c or i?
c
Let k = -19116079 - -994066421/52. Let j = k + -583. Is -1 less than or equal to j?
True
Let w = -137863/5 - -27573. Is -5058 less than or equal to w?
True
Let z = -5266 + 5368. Is z <= 101?
False
Let m be (-2)/(-4) + 6/(-8). Let d = -241.67 + 227.933. Let l = d - 0.263. Is m greater than l?
True
Let f = 1605 - 1601. Is f at least 0.141?
True
Let b = -6568 - -14923. Is 1 less than or equal to b?
True
Let h = 1 + 0. Let u be 2218/72 - (-39)/52. Let k = -6478/207 + u. Which is smaller: k or h?
k
Let q be 6326/(-80)*(870/(-30) + 24). Which is bigger: 396 or q?
396
Suppose -u = -0*u + 2, 3*u + 13954 = 4*d. Is 3487 at most as big as d?
True
Let c = 5911/5 - 5913/5. Which is greater: -747 or c?
c
Let l = -96 - -136. Let b be (l/12)/5*21. Let w be b/(-6) + -4 + 40/12. Which is greater: 2 or w?
2
Let k be (2/3)/((-16)/(-384)*16). Let b be (-35)/95*(-42)/931. Which is bigger: b or k?
k
Let x(y) = -y**3 + 4*y**2 - 6*y + 6. Let t be x(4). Suppose -237*p + 270*p + 132 = 0. Let f be (2 - p/t) + -2. Which is bigger: -13 or f?
f
Let k = 188 - 53. Let j = 133.7 - k. Is j at least -0.07?
False
Suppose -x - 4*q - 4 = 0, 4*x + 6 = 7*x + 3*q. Let r(h) = 19*h. Let j(i) = -37*i + 1. Let f(s) = 6*j(s) + 11*r(s). Let b be f(x). Which is bigger: -45 or b?
-45
Let t = -674 - -681. Suppose 17*q - 10 = t*q. Which is greater: q or -2/7?
q
Let h = -10387/370 + 1959/74. Let u be ((-5)/(-2) - 2)*-8. Let n = u + 1. Which is smaller: n or h?
n
Let s = -2.79 + 0.59. Let p = s + -76.8. Let x = p + 67. Are x and -1 unequal?
True
Let p(h) = -2*h**3 + 6*h**2 - 15*h + 113. Let g be p(7). Which is smaller: g or 11?
g
Suppose -m = 341 - 230. Let o be (95/6 - -2) + (-74)/m. Is 0.5 less than o?
True
Suppose -5*i + 91 + 489 = 0. Suppose -i*v + 109*v = 0. Which is smaller: v or 16/13?
v
Let m(g) = 3*g**3 + 12*g**2 - g + 8. Let l be m(-4). Let j be -29*3*l/18*1. Is j smaller than -61?
False
Let y(t) = -41*t**2 + 36*t + 83. Let q be y(6). Which is smaller: q or -9423/8?
-9423/8
Let y(h) = -4*h**3 - 13*h**2 - 22*h - 17. Let v be y(-8). Suppose -7*o + v = 4*o. Which is smaller: o or 126?
o
Let k = 175 - 141.6. Let y = k + 2.6. Is y smaller than 0?
False
Suppose 2475 - 359 = 23*i. Suppose 0 = 101*v - i*v. Which is smaller: v or 2/781?
v
Suppose -3*s + 0 = -3. Let w be 16/(-72) - (-771963)/(-1188). Let t = w + 650. Which is greater: t or s?
s
Let z = 1905 - 1284. Let l = z + -620.9. Which is smaller: 0.09 or l?
0.09
Let l = 4723 + -7460. Which is bigger: l or -2738?
l
Let x = 9071 + -9081. Which is bigger: x or 306?
306
Let u = 26313 + -28525. Is u less than 0.4?
True
Let z(p) = p**2 + 6*p - 36. Let v be z(-8). Let n = 24 + v. Suppose 2*m + 3*j - 19 = 0, -j = -0*j - 3. Which is greater: m or n?
m
Suppose 25*g + 276 = 2*g. Let k be -6*(-18)/g + -6. Which is smaller: k or -19?
-19
Let j = -0.6005 - -0.0005. Is -0.062 < j?
False
Let j = -3422.98 - -3311. Let t = -111 - j. Let v = -1.02 + t. Which is bigger: 0.1 or v?
0.1
Let b(w) = w + 16. Let v be b(0). Suppose -5*g + 5 = -0*g, -2*z + 12 = 2*g. Suppose -r + 5 = z*p, 3*r - p - 35 - 12 = 0. Is v less than or equal to r?
False
Let i be 16*22/(-165)*50*(-5)/(-80). Let y = 0.3 + -0.1. Which is greater: i or y?
y
Suppose 27030 = 20*h - 3*h. Suppose 6231 - h = -21*c. Is -223 != c?
True
Suppose -k + 4*k - 15*i - 663 = 0, 2*k - 456 = 3*i. Is 229 bigger than k?
False
Let c = -2760133/24106 + -2/12053. Let b = c - -99. Let s be (-2)/((-291)/(-4074)*(0 - (-7)/4)). Is b greater than s?
True
Let b = -9364 + 9327. Is 0.055 not equal to b?
True
Let f = -25/12 - -7/3. Let y be 2/(-25) - (-7536)/(-800). Is y not equal to f?
True
Let r = 126531/4 + -31830. Let k = r + 198. Is k at most 8?
True
Suppose 0 = 64*b - 56*b. Suppose b = 24*c - 10*c - 84. Is c < -2?
False
Suppose 0 = 116*d - 119*d + 414. Let r = d - 149. Is 4 >= r?
True
Suppose c + 32 = 33. Let l = 15466/54069 - 56/201. Are l and c equal?
False
Suppose 0 = a - 2*w - 625, w - 1315 - 560 = -3*a. Which is bigger: 629 or a?
629
Suppose -3*g + 2*o - 5*o + 21 = 0, -g + 4 = 2*o. Let c(t) = t - 9. Let w be c(g). Let l = 14 - -2. Is w at least l?
False
Let n = -6052 - -1204328/199. Is 1 at least as big as n?
True
Let i = 217 - 142. Suppose -197 = -8*f + i. Is f > 32?
True
Let j = 5712 + -15511. Does j = 2/5?
False
Suppose 0 = 2*o + 4*s + 192, -376 - 89 = 5*o - 5*s. Let y = 0.13 - 4.13. Which is smaller: y or o?
o
Let v = 12.07 + -8.9. Let u = 4.17 - v. Which is sm