Let a = -2610 + 2610. Which is greater: -11/23 or a?
a
Suppose -x = 5, 0*j + 2*j + x = 133. Let o = -403/830 + -6/415. Is o equal to j?
False
Suppose -2*j + b - 301 = 0, -8*j = -5*j + b + 439. Which is smaller: -1614/11 or j?
j
Let c = 0 + 0.05. Let p = 6.31 - 2.11. Let v = p - 3.2. Which is bigger: v or c?
v
Let a be 1 - (-1 - -1) - (199 - 185). Let v(o) = 13*o**3 + 3*o**2 - 2. Let c be v(-1). Is c != a?
True
Let l = -1.241 + -0.659. Is l > -89?
True
Let u(q) = 2 - 2 + 3 + q**2 - 4. Let n be u(-2). Let l be (n/7)/(13/(-2) + 5). Which is smaller: l or -1?
-1
Suppose 16*j - 21*j + 40 = 0, -2*p + 5*j - 52 = 0. Which is smaller: p or 1570?
p
Suppose -5*i + 861 = -j + 8323, j - 2 = 0. Which is greater: i or -1501?
i
Let s(b) = 2*b - 99. Let p(l) = -7*l + 198. Let j(m) = 2*p(m) + 5*s(m). Let o be j(-19). Which is bigger: o or -122/5?
o
Let r be 800/18000 + (-478)/630. Is -290 at least as big as r?
False
Let g = 21378 + -11822. Which is greater: -0.1 or g?
g
Let g = -2.746 - 0.054. Let k = -3.3 - g. Do k and -1/2 have the same value?
True
Let o be (22 + -1 + -21)*2/12. Which is greater: -3/1735 or o?
o
Let v(j) = 21*j - 47. Let m be v(15). Suppose 0 = 7*u - m + 296. Let d(g) = g**2 + 5*g - 3. Let a be d(-5). Do u and a have the same value?
False
Let r = 3/16495 - 2061959/461860. Do r and -5 have the same value?
False
Suppose 19 - 139 = -12*p. Suppose -q + 42*x = 47*x + p, 0 = -q + x + 2. Is q < -1/332?
False
Let p = 8088 + -8087. Which is smaller: 142/163 or p?
142/163
Let d(s) = -s**3 + s**2 - 2. Suppose 2 = 2*v - v. Let l be d(v). Suppose 188 - 224 = 3*i, -p - 4*i - 59 = 0. Is l at most p?
False
Let g(n) = 4*n - 2. Let y be g(1). Let a be -4 + -2 + 4 + y + 2. Suppose 0*o + a = -2*o. Which is greater: o or 15?
15
Let m(t) = -2*t**3 + t**2 + 4*t - 1. Let p(i) = -3*i**3 - 8*i**2 + 4*i + 1. Let w(q) = m(q) - p(q). Suppose 3*b - 2*b = -9. Let x be w(b). Is x at most -8/3?
False
Suppose 33*i = 4*i. Suppose -21*t + 160 + 302 = i. Is t >= 24?
False
Let x = 11/44975 + -3/257. Let b = 2762 - 2764. Do x and b have different values?
True
Suppose -3*d - 136 = -5*d. Let f = -1337 + 1230. Let v = f + d. Which is smaller: v or -38?
v
Let b = 83 + -103. Let z be (-1*4/b)/((-1)/(-2)). Let g = 0.19 + 2.01. Is z < g?
True
Let o = -210 - -154. Let l be 2900/(-5026) + o/(-98). Which is greater: -1 or l?
l
Let g be 43206/(-76) - (-8)/((-8)/(-3)). Is -565 smaller than g?
False
Let q(p) = -2*p**3 - 3*p**2 - p + 4. Let j be q(-3). Let i be (-1141)/(-35) - (-4)/10. Are j and i equal?
False
Let i = 12722 - 12724. Are -2326 and i nonequal?
True
Let p(h) = 2*h**2 - 44*h - 102. Let b be p(24). Let x be (-266)/135 + (-56)/(-7) + b. Is 1 < x?
False
Suppose -2*w - 5*k - 97 = 0, 4*k = -5*w - 58 - 210. Let i be (w/3)/(50/(-225)). Is i at most as big as 85?
True
Let n = 38 + -35. Let z be (49/(-2) + -3)*(-3 + 1). Suppose 0 = -2*v + 59 - z. Which is greater: n or v?
n
Let g be 4/13 + 152966/143. Which is smaller: 1069 or g?
1069
Suppose -3*j - 265*u - 19377 = -268*u, 19389 = -3*j - 3*u. Which is smaller: j or 0?
j
Let a = -532 - -314. Let k = a - -122. Let z = 96.9 + k. Is -0.1 at least as big as z?
False
Let p = -270 - -266. Let o be (10 - 248/(-16))*p/3. Which is greater: o or -38?
o
Suppose -225*k - 553 - 122 = 0. Let a be (-4)/(5/(110/28)). Which is bigger: k or a?
k
Let o = 0 + -24. Suppose -3*v + 2*y + 28 + 47 = 0, v - 11 = -4*y. Let h(b) = -b**3 + 23*b**2 - 3*b + 47. Let z be h(v). Which is bigger: z or o?
z
Let u(m) = 9*m - m**2 - 6 - 4*m + 2*m**2 + 0*m**2. Let a be u(-6). Let s be 49 - a*(-1)/3. Does s = 49?
True
Suppose 0 = -16*g - 54 + 6. Let p be 0 + g - 6804/(-2324). Which is bigger: -1 or p?
p
Let g = 224 + -221.6. Is -8 less than or equal to g?
True
Suppose 0 = -9*l + 3 - 174. Suppose -100*c = -232*c - 3168. Which is smaller: c or l?
c
Let z be (-4)/14 + (10/(-15) - (-81)/63). Is -1/6850 smaller than z?
True
Let m = 1527 - 287. Is m < 1233?
False
Let l = 165 - 308. Let v = l + 140.52. Let g = 0.48 + v. Does -5 = g?
False
Let o be -134*(-4)/1440 + 30/(-135). Which is greater: o or -35/6?
o
Let s = 481 + -686. Let r = s + 206. Which is smaller: -3/16 or r?
-3/16
Let d = -1897.3 + 1897. Is -1121 at most as big as d?
True
Let d = -1/233 + -133/23300. Is d less than or equal to -0.3?
False
Let y = 12772 - 11741. Is 1032 greater than y?
True
Let d(g) = -31 + 121*g - 102*g + 37*g**2 + 13 - 16. Let h be d(2). Is 150 bigger than h?
False
Let r be -2*(-8)/24*3/(-2). Let y be ((-134)/3)/r + 0 + -2. Let w = y + -39. Is w smaller than 3?
False
Suppose -149*l - 450 = -154*l. Suppose 7*i + l = 55. Is -34/9 >= i?
True
Let d = 339.07861 - 0.07861. Do d and 4 have different values?
True
Let n = -2749 - -1959. Let x be ((-5)/125)/((-4)/n). Let b = 13/2 + x. Is b < 0?
True
Suppose 2*i + 4*m = 3*i - 5, 0 = -i + 3*m + 6. Let g = 23558/117 - 2502/13. Are i and g unequal?
True
Let p = 0.132 - 54.132. Let b = p - -53.885. Let f = b - -0.049. Is -0.1 greater than f?
False
Let r = 80427 - 405462/5. Let w = 667 + r. Do 8 and w have different values?
True
Suppose 3*f - 11*z = -7*z - 40, 4*f - 2*z + 50 = 0. Let c be f/(-9)*(-1)/(-8). Do c and -2/3 have different values?
True
Let s = 3241 - 5703. Is s bigger than 1?
False
Let i = -336.77 - -343. Let q = -9.87 - i. Which is smaller: -2 or q?
q
Let n = 5.2 - 4.99. Let h = 107.21 - n. Is -2/7 <= h?
True
Let r = 16.52 - 16.12. Is r < 143?
True
Let v(u) = -u**3 + 6*u**2 + 2*u - 8. Let d be v(6). Suppose -3*y - 3*k + 0 = 48, d*k - 107 = 5*y. Let b = -0.078 + 1.078. Do b and y have different values?
True
Let f be (-1300)/1138 - (-4160)/3640. Which is smaller: f or -1?
-1
Let f = -9405 + 9399. Which is smaller: 0.73 or f?
f
Let s(c) = -1561*c + 4409. Let r be s(3). Suppose 47 - 863 = 3*y. Which is smaller: y or r?
r
Let a be (14/560*8)/(2/10). Suppose 2*i = 12*h - 16*h - 2, 2*i + a = -3*h. Which is bigger: -29.7 or h?
h
Let j = 358 - 353.58. Let l = j + -32.42. Which is smaller: 0.5 or l?
l
Let w be (-11 - (-1989)/182)/(1/(-30)). Which is bigger: w or 3?
3
Let j be (-42)/(-168)*((-4)/(-1))/1. Let o be (-2)/17 - 18/(-612). Which is smaller: o or j?
o
Suppose -2*d = -8*d + 2418. Let o = d + -397. Is 7 >= o?
True
Let q = 38 - 36.975. Let i = -0.125 + q. Let g = 3 - 2.9. Is i bigger than g?
True
Let h be (-1 - -2)/(2 - 39/18). Let v(l) = -9*l - 42. Let b be v(h). Let y be 0 - (-16 + 3 - 0). Which is greater: b or y?
y
Suppose -3*b + 2*n = -17, 0 = -5*n - 9 + 4. Suppose -4*w = -2*h - 42, 2*w + b*h = 9 + 30. Let v be -1*(-1 + 3) - -10. Is v at most as big as w?
True
Let t(g) = -g**2 + 18*g - 34. Let s be t(16). Let l be 0/(-4) - -3 - (s + 23). Let m be l/(3*(-3)/(-9)). Which is bigger: m or -1?
-1
Let g = -22.1 - -17.1. Let z = 31 + -30.996. Let v = z + -0.104. Is v >= g?
True
Let f = -78 - -1640/21. Let u = 193 - 194. Which is bigger: f or u?
f
Let r = -31290.22 + 30421. Let f = r - -784.2. Let w = f + 85. Which is bigger: w or 1/5?
1/5
Suppose m - 347 = 925. Is m at most 1273?
True
Let o be ((-4)/590)/(26/1404*-9). Which is smaller: 0 or o?
0
Let n = -4723/11 + 430. Let p = -1/33 - n. Let b = -2.71 + 1.71. Is p smaller than b?
False
Let f be (-2)/(-26) + (2705/(-13) - 13). Are f and -885/4 nonequal?
True
Let h(w) = w**3 - 13*w**2 - 18*w + 88. Let k be h(13). Is -2 != k?
True
Let d be 2/10 + (-3)/15. Let l = 470 + -395. Let t = -76.5 + l. Which is bigger: t or d?
d
Suppose -27*c + 28*c = 78. Let t = c + -84. Let r be 2 + (4 - 0) + -3 + t. Which is bigger: r or 0.1?
0.1
Let h = 349/694 - 1/347. Which is smaller: h or 28/61?
28/61
Suppose -4*g + 1874 = -5*q - 1048, g - q - 732 = 0. Is g < 740?
True
Let j(s) = -s**2 - 9*s + 6. Let w be j(-6). Suppose d = 4*t + 14, -4*d + 236*t + 89 = 231*t. Is d equal to w?
False
Let s = 8495 + -8929. Are -429 and s nonequal?
True
Let k = -137 - -136. Let x be -3 + 5 - (-156)/(-77). Which is smaller: k or x?
k
Let t = 183.8 - 183.4. Which is bigger: t or 1049?
1049
Let a(s) = -s**3 + 8*s**2 + 19*s + 11. Let b be a(10). Let g be b*-5 - 186/(-18)*3. Is -0.02 less than g?
True
Let v(x) = x**2 - 15*x + 12. Let d be v(-2). Which is greater: d or -0.3?
d
Let p = -638 - -8296/13. Let d be ((-225)/(-1500))/(2/(-5)). Which is greater: d or p?
p
Let t(n) = -15*n + 6. Let o be t(4). Suppose 3*r - 3*l = -174, -4*l + 175 = 162*r - 165*r. Wh