or a?
a
Suppose 2*x + 3 = 3*x. Let c be (4*(x/2)/(-3))/1. Let r = -2 - -3. Which is smaller: r or c?
c
Let b(v) = v**3 - 4*v**2 - 2*v + 5. Let g be b(4). Let r(a) = a**2 + a + 4. Let w be r(0). Suppose -w*k = -2*k + 4. Is k <= g?
False
Let v(y) = -y**3 - 2*y**2 + 3. Let b be v(0). Let d be (-1253)/42 + 1/(b/(-2)). Which is smaller: -31 or d?
-31
Let l = -199 + 242. Which is smaller: l or 0.1?
0.1
Let u be -1*(-7)/28*-44. Suppose -c + 24 = -2*p, 4*c + 4 = -2*p - 10. Is u smaller than p?
False
Let x = 6.4 - 6.34. Let n = 46.06 - x. Which is greater: 2/7 or n?
n
Let y = 26336/21 - 1254. Which is smaller: -29 or y?
-29
Let d = -20 - -27. Let l = d - 5. Which is greater: 16 or l?
16
Suppose 8*w - 1 + 1 = 0. Is -3/52 at least as big as w?
False
Let z = 23 + -22. Let o = 28 + -25. Which is smaller: o or z?
z
Let v be 1/11*344/122. Let f = -82656/61 + 1355. Let u = f - v. Which is smaller: -1 or u?
-1
Suppose 100*t + 17460 = -85240. Are t and -1026 non-equal?
True
Let i be 1*(-17)/2*-2. Let k be (-1 - -5) + 12/(-3). Let m be k/(4/(-4)) - (-51)/3. Is m < i?
False
Let c = -20.8 + 20.9. Are -1/26 and c unequal?
True
Let k(a) = a**2 + 17*a - 180. Let q be k(8). Is 148/7 at most as big as q?
False
Let f = -259 - -485. Are f and 2/3 equal?
False
Let k = 15.77 - 15.8. Let n = 10 + -16. Are k and n unequal?
True
Suppose -b = -5*x + 74, 2*b = 7*b - 5*x + 410. Let g = b - -1106/13. Let l = 97/78 - g. Is -2/9 at most l?
True
Let l(q) be the second derivative of q**3 - 13*q**2 - 5*q. Let a be l(5). Suppose 4*n - 3*n - 2 = -3*v, -9 = -n + 4*v. Are a and n unequal?
True
Let y = -18.62 - 1.18. Let o = y - 4.2. Which is smaller: 1 or o?
o
Let h = -8783/8 - -1099. Let t be (-1)/(-2)*4 + 0. Is h != t?
True
Let u(r) = r**3 + 5*r**2 - 4*r + 6. Let w(z) = -2*z**2 - 16*z + 12. Let m be w(-9). Let i be u(m). Is -26/5 greater than i?
True
Suppose 3*w = -2*q + 11, 3 = w - 3*q + 14. Suppose -2*m - 22 = -3*g, 14 = 5*g - 2*m - 20. Let r be (-18)/84*(-4)/g. Is w >= r?
True
Let j(v) = -v**3 - 7*v**2 - 10. Let l be j(-6). Is 4 smaller than l?
False
Let i(f) = -f**2 + 6*f - 5. Let g be i(2). Suppose -4 = -4*j - 2*w, 2 = -g*j - 0*w + w. Which is smaller: j or -1/3?
-1/3
Let r = 7633 - 8014651/1050. Is r bigger than 1?
False
Let o(r) = 2*r**2 - 1 + 66*r**3 - 31*r**3 - 34*r**3. Let v be o(1). Which is greater: v or 0?
v
Let p = -13 - -12.88. Let q = 0.06 - p. Is q at most as big as -1?
False
Let i be (-21)/(15/(-5)) + 3. Let c be -11*1*(2 + -3). Let v = i - c. Which is greater: v or 1/8?
1/8
Let p = 681 - 70821/104. Which is bigger: 1 or p?
1
Let g = -21561/308 - 1917/44. Let k = -1678 + 1565. Let i = k - g. Is i bigger than 1?
False
Let a = 19 + -13. Suppose -3*d = 3*c + 42, -4*d + 3*c = a*c + 55. Which is bigger: d or -14?
d
Let l(y) = -y - 13. Let p be l(-15). Suppose 2*i + i + d = 257, 2*i - 178 = -p*d. Do 84 and i have different values?
False
Let d(z) = 13*z + 98. Let p be d(-21). Is -176 smaller than p?
True
Suppose -4*b = -2*b - 6. Suppose 3*t - 9 = -0, -2*t = b*i - 174. Let h be 4/(-42)*126/i. Is h equal to -1?
False
Let o = 594 - 595. Which is greater: -74 or o?
o
Let j = -430 - -429. Which is smaller: 16/51 or j?
j
Let d = 4 - 2. Let g be -3 + 52 + -5 + 3. Is g greater than or equal to d?
True
Let a be (-18)/(-150)*479/6. Let i = 2/25 - a. Suppose w + w + t = -16, -5*t - 10 = 3*w. Which is smaller: i or w?
w
Let d = -229 + 229.37. Which is bigger: d or -0.3?
d
Let l be 2/(-7) + -1 + 1. Let c be 2121/(-28) - 10/8. Let h be (-12)/(-9) + c/33. Which is greater: h or l?
l
Let w be ((-576)/(-4352))/(3/40). Are w and 3 nonequal?
True
Let o = 543 - 542.94. Is o bigger than -0.2?
True
Suppose 23*h + 4605 = 18*h + 4*l, 4*l = -h - 921. Which is greater: -920 or h?
-920
Let q(z) = z**3 - 3*z**2 - 4*z + 15. Let o be q(5). Is 45 >= o?
True
Let f = -2/9 - 77/18. Let l = f + 4. Which is greater: -6/5 or l?
l
Let w be 24/(-10)*(8 - 3). Let t = -87 - -61. Let p = t - -28. Which is smaller: p or w?
w
Let v be (-316)/(-3)*45/18. Is v smaller than 263?
False
Let z be 15/10 - (-2)/4. Let r be 1/z - (0 - 0). Is 0 less than r?
True
Let f = -312 + 410. Which is greater: f or 100?
100
Let a = 16865/13 + -1295. Let r be 2858/(-1430) + 2/(-5). Let t = a + r. Which is smaller: t or -1?
-1
Let l = 913 - 900. Let q(h) = h**3 - 6*h**2 + h + 4. Let k be q(6). Are l and k non-equal?
True
Let p = 0.019 + -0.042. Let c = -0.023 - p. Which is bigger: c or 1/2?
1/2
Let x be 8/(-18)*(-2)/8. Let j be 12/18*-6*3. Let w be (j + 12)/(-1 - 1). Is x equal to w?
False
Let k = -1/34933 - 5274643/8383920. Let a = 9/16 + k. Is -1 less than or equal to a?
True
Let r = 122/7 - 2346/133. Which is bigger: 2/11 or r?
2/11
Suppose -4*w + 2*v = 4, 7*w + 2*v - 12 = 3*w. Which is bigger: w or -5/89?
w
Let c be (-3)/2 - 6/(-1) - 5. Let v = 1 + -1.2. Which is smaller: c or v?
c
Let y be (-1)/(-3) - 84/90. Let c = 38.5 - 38.3. Are c and y nonequal?
True
Suppose 4*r + 2 = 10. Let b be ((-855)/2184 + 15/40)*r. Do 0 and b have the same value?
False
Let z = 5595/19 + -294. Is z at least 1?
False
Let m(h) = 4*h + 2*h**3 - h**3 - 1 + 0*h**3 - 2. Let n be m(3). Let g = 21 - n. Which is bigger: -16 or g?
g
Let n be 18/(-27) + ((-8)/(-3))/(-8). Let a = -8508/23 - -370. Which is bigger: n or a?
a
Suppose -9 = -2*p + 29. Let i(v) = -2*v**2 + 14*v - 8. Let w be i(6). Suppose w*k + p = d, 13 + 7 = -4*k. Does d = 0?
False
Suppose -68 - 20 = -4*l. Let q be (3/5)/(l/(-10)). Is q at least as big as -1?
True
Let x = -37 - -42. Suppose -4*r - 10 = -2*y, 2 = -x*y + 3*r - 2*r. Is -0.28 equal to y?
False
Let o(l) = -9*l - 58. Let n be o(-9). Suppose 3*a = -a - r + 1, 5*r - n = -2*a. Is a > -4/39?
False
Let i = -191.86 - -190. Which is smaller: i or 1?
i
Let j(u) = -20*u - 3. Let z be j(-1). Suppose -4*q + 1 = z. Which is bigger: -44/9 or q?
q
Let w = -67/70 + 1/10. Suppose 122*r - 136*r = 0. Is r less than or equal to w?
False
Let u = -0.3989 + 4.3979. Let n = 0.001 + u. Which is smaller: -2/11 or n?
-2/11
Suppose -3*g - 352 = 5*g. Let c be g/(4/(-24)*-6). Which is smaller: -45 or c?
-45
Let a be -5 - ((-4)/5 + (-368)/115). Which is smaller: -55/6 or a?
-55/6
Let m(a) = -a**3 - 6*a**2 - 2*a - 1. Let f be m(-6). Are f and 4 unequal?
True
Suppose -1 = -v + a - 14, 4*v + 43 = -5*a. Let l = -14 - v. Is 15 at most as big as l?
False
Let i(g) = g**3 - 10*g**2 + 8*g - 9. Let x be i(9). Let l be 20/x - 11/(-99). Let a be (2 - 50/12) + 1. Which is greater: l or a?
l
Let l = -92 - -66. Let c be (-4)/l - (-6)/299. Let v be 2*(1*15/(-10) + 2). Which is bigger: v or c?
v
Let g = 1.5 + -1.6. Let b = 59 + -57.7. Do b and g have the same value?
False
Let c be -2 + 0 + (4 - 8). Let p be 2 - (-3)/(c/4). Is 1 at most as big as p?
False
Let p = 7.763 - 7.46. Let m = p + -0.003. Which is bigger: 4 or m?
4
Let c(t) = -t + 5. Let r be c(4). Let n be (-2)/r + 3 - -4. Suppose -v = -n*v. Which is bigger: v or 10/9?
10/9
Let h = 407 + -399. Let p = -2 - -5. Is h at most p?
False
Let d = -95.6 - -295.6. Which is smaller: -1 or d?
-1
Suppose 4*z - 8*z = -272. Suppose 3*w - 188 = -z. Let n be (-2 + 1)*16/w. Is 1 <= n?
False
Let t(h) = -h + 3. Suppose -3*w = 5*s - 9, -s - 2*s = -3*w - 15. Let i be 1*(-6)/s - -5. Let d be t(i). Is 1 <= d?
False
Let w = 9 - 42. Let l be (-9)/w + 3 - (-5 + 9). Which is bigger: l or -2?
l
Suppose 0 = 2*r - 0*r. Suppose -6*m = -2*m - 28. Suppose -5*n + 40 - 15 = -5*i, n + m = -3*i. Which is smaller: i or r?
i
Let v(n) = -n - 15. Let m be v(6). Let z = m - -19. Is -3 bigger than z?
False
Let s(u) = 6*u**3 + u**2 + 2*u + 1. Let j be s(-1). Let o be 4/j*(-18)/(-4). Let v be 0 - 3/(36/3). Is o >= v?
False
Let d = 0.545 - 0.645. Which is smaller: d or -152/11?
-152/11
Suppose 197 = 18*t - 17*t. Which is bigger: 198 or t?
198
Let w = -0.0591 + -1.9409. Which is smaller: 66 or w?
w
Suppose -73*z + 24 = -85*z. Are z and -18/17 unequal?
True
Suppose 19 = 24*c + 43. Which is smaller: c or 0.1088?
c
Suppose 0*j = -4*j + 248. Suppose -5*w - 18 = j. Let c be (1/1)/(w/(-32)). Is 2 < c?
False
Let q be (7 + -5)*(-10)/(-4). Let y be q/(5/3) + -2. Let a be y*3 - (6 - 2). Which is bigger: a or 3/8?
3/8
Let l(d) = d**3 + 7*d**2 + 19*d + 10. Let q be l(-5). Is q bigger than -36?
True
Let l = 77 + -77. Which is smaller: l or 2/73?
l
Let w be (-2 - 0 - -2) + 0. Let u be w - 2