d smaller than m?
False
Let r = 2047 - 2033. Which is bigger: r or 16?
16
Let h = 165 - 1157/7. Let k be 1/(-1) - -1 - -7. Suppose -10 = 2*m + 2*f, -3*m + 2*m + 2*f = -k. Is h <= m?
False
Let g be (-12)/(-54) + (-86)/(-18). Let h = -1 - g. Let b be (-9)/2 - h/4. Is b equal to -5?
False
Suppose 13*h = -359 - 291. Are -49 and h equal?
False
Let m(j) = -4*j - 3. Suppose -3 + 33 = 3*n. Let d be m(n). Is -42 greater than d?
True
Let i = -0.071 - -0.021. Let z = -43/2 - -21. Which is smaller: z or i?
z
Suppose 0 = -2*l + l - 22. Let a = l + 20. Let u be -8 - -6 - 4/a. Is u < 1?
True
Let t be 4/1 + (-3 - 110). Let x = 25 + t. Is x > -84?
False
Let t = -0.079 - 31.921. Let s = -52 - t. Let b = -22 - s. Which is greater: -0.02 or b?
-0.02
Suppose -45*f = -42*f - 6. Suppose -16 = 4*n - 4*j, -2*n - f*j + 13 = 1. Which is smaller: n or -3/35?
-3/35
Suppose 5*b = 13*b - 2936. Which is smaller: b or 0?
0
Suppose -t - 4*z = -18, -2*z - 6 = -t - 0. Suppose 4*d - 32 = b, 5*b + 6 = 2*d - t. Let j = d - 4. Which is greater: 6 or j?
6
Let n be (2782/(-321))/(1 - 34/30). Which is smaller: 7 or n?
7
Suppose 34*o = 53*o - 57. Is 8/5 bigger than o?
False
Let y = 304.4 + -102.4. Is 2 smaller than y?
True
Let i = -31 + 30. Which is bigger: i or -4/233?
-4/233
Let k(g) = 6*g**2 - 9*g - 691. Let o be k(0). Is -691 < o?
False
Let l(b) = -2*b**3 - 6*b**2 - 4*b - 8. Let v be l(-4). Let o = v - 38. Which is smaller: 7/5 or o?
7/5
Suppose -69*b + 42*b + 6669 = 0. Is 249 bigger than b?
True
Let o = -0.144 + 0.044. Let r = -3 - -7. Are r and o equal?
False
Suppose 5*s = -2*d + 7, 0*d + 5*d - 1 = 4*s. Which is greater: 1/4 or d?
d
Let b be (-8 + 5)*(-5)/((-1755)/6). Is b smaller than 3?
True
Suppose -4*d - 33*z + 29*z = -436, -5*z - 5 = 0. Which is smaller: 116 or d?
d
Let w(y) = y**2 - 6*y + 7. Let o be w(5). Let b(j) = -3*j**2 - 26*j + 115. Let d be b(-12). Let u = d + o. Is 0 less than or equal to u?
False
Suppose -492 = -14*k - 1948. Which is smaller: -96 or k?
k
Let r = -0.35 + 0.15. Which is greater: -0.1 or r?
-0.1
Let j = 75 - 44. Let s = 32 - j. Is -7 greater than or equal to s?
False
Let h be (1/(-3))/((-4)/(-12)). Let m be ((-20)/(-18))/2 - 510/765. Which is greater: m or h?
m
Let m(g) = -g**3 - 3*g**2 - 5*g - 11. Let l be m(-3). Suppose -3*z - 6*t + l*t = 54, z + 29 = 3*t. Is z bigger than -19?
False
Let h = 0.9 - 2.4. Let u = h - -1.6. Let d be (-35)/(-14)*(-1 - (-2 + -1)). Which is smaller: d or u?
u
Let x = -966 - -969. Suppose 3*u - 1 = -4*h, 2*u - 3*h = -3*u + 21. Is x > u?
False
Suppose -2*x = -3*t - 10, -4 = -3*x + 2*t - 3*t. Let h be 3/(2 - (3 - x)). Suppose 2*w + 5*r - 4 + h = 0, 2*r = -w. Is -2 smaller than w?
False
Let a be 7/2*(-60)/(-35). Suppose 3*v = -0 - a. Is 1 >= v?
True
Suppose -2*h - 3*h + 4*u = 6, -20 = -5*u. Suppose -9 = h*k - 5. Is -3/5 smaller than k?
False
Let h(k) = k**2 + 9*k + 7. Let m be ((-14)/(-8))/((-2)/8). Let a be h(m). Let d = a - -12. Is d >= 18/5?
True
Let o(r) = -r**3 + 3*r - 2. Let i be o(-3). Let b = i - 18. Let s(v) = v**2 + 4*v + 1. Let q be s(b). Do q and 2/3 have different values?
True
Suppose -5*f = 4*a + 5, 1 = 4*a + 2*f + 3. Which is bigger: -0.366 or a?
a
Let n be 201/(-18) - (-2 + 0). Suppose -56 = 4*z - 4*r, -12*r = 2*z - 11*r + 10. Which is smaller: z or n?
n
Suppose -9*r + 41*r + 7872 = 0. Is -246 at most as big as r?
True
Let t = 149.3 + -22.3. Let j = t - 126.93. Is j greater than -2?
True
Let x(a) = 26 + 7*a + 3*a**2 + 8*a + 7*a - 2*a**2. Let r be x(-21). Is r < 13/3?
False
Let t = 107 - 38. Suppose 0 = t*d - 65*d. Which is smaller: d or -0.01?
-0.01
Suppose 0 = -3*g + g - 2*h - 80, -5*g = 2*h + 188. Let o = -38 - g. Is o at most -5/4?
True
Suppose -98 = 2*j - 28. Let f = -26 - j. Which is bigger: 42/5 or f?
f
Let h be 1*11 - (3 - 1). Suppose 0 = 7*w - 2*w - 5*g, 2*w + h = -g. Let b = 1.947 + -2.047. Which is smaller: w or b?
w
Suppose 4*s - 2*s = 0. Let z be 252944/(-1344) + 10/8. Let f = z - -187. Is f smaller than s?
False
Suppose -2*a = d + 5 - 4, 3*a + 1 = -d. Suppose a*s = 3*s - 36. Are s and 12 non-equal?
False
Let i = 2390/13 + -184. Let l = i - 0. Which is greater: l or -1?
l
Let a be (-2)/3*21/469. Let v be (7/1)/(3/(-6)). Let p be 8/v + 9/(-21). Is a at least p?
True
Let p = 3918/7 + -554. Which is smaller: p or 7?
p
Let i = -39.2 + 39.2. Which is smaller: 158 or i?
i
Suppose 14 - 2 = 3*z. Let w(x) = 2*x**2 + 5*x + 5. Let l be w(-2). Suppose z*a = l*a. Is a less than or equal to 1?
True
Let v = 904/11 + -80. Let t = -61 - -62. Which is bigger: t or v?
v
Let k be 68/(-18) + (-8)/36. Let g be 285/(-20) - k/16. Which is smaller: -13 or g?
g
Let i be -10 - ((1 - 10) + 0). Let q = -4.1 + 0.9. Which is smaller: i or q?
q
Let o = 30 - 449. Which is greater: 0 or o?
0
Let r = 490 + -489.9. Is -34 greater than r?
False
Suppose 2*x = 3*n - 358, -2*x - n = 2*x + 716. Is -2/3 greater than x?
True
Let i(u) = 2*u + 19. Let g be i(-11). Let x be (-4)/4 + (-212)/(-16). Let r = 43/4 - x. Which is greater: r or g?
r
Let n be 2 + 6 + -4 + 27. Which is smaller: n or 219/7?
n
Let v(d) = 2*d + 12. Let p be v(7). Let g be 8/(-6)*429/p. Is -23 not equal to g?
True
Let d(m) = 2*m**2 + 27*m. Let l be d(-13). Let t be 2 - (6/(-27) + 2). Which is smaller: l or t?
l
Let s be -1 + 1/((-984)/(-1815)). Let g = s - 9/41. Is g > 1?
False
Let s = 298 + -299. Let g = -86.7 + 92. Let n = g - 5. Is n at least s?
True
Suppose 3*f - 2 = 1. Let p = -6079/90 + 598/9. Let c = p + 6/5. Which is smaller: c or f?
c
Let n be 0/(-8)*(-4)/8. Is -15/16 equal to n?
False
Let m(h) = -5*h + 45. Let d be m(8). Suppose 0*n = 3*n + k + 188, -d*k = -n - 68. Is n at least as big as -64?
True
Let g = 1 - 1. Let d = g - -1. Suppose -2*r = 2*q - 4, -q + 5*r = -d - 1. Which is greater: q or 1?
q
Let n(q) = q**3 + 5*q**2 + 7*q - 2. Let f be n(-4). Let t = f - -15. Is 1 equal to t?
True
Let z = 16 + -20. Let y be 0/((z - -4) + 0 + 1). Is y >= -2/71?
True
Let s = -0.76 - -77.56. Let p = s + -77. Is -4 less than p?
True
Let i be 8/(-44) - 4526/(-25014). Let f = -59129/5685 - i. Is -11 >= f?
False
Let z(k) = 15*k - 31. Let m be z(-15). Let g be (-6)/10 + m/40. Is -6 smaller than g?
False
Suppose -5*j - 2*p - 11 = 0, -3*j + 3*p = -0*j - 6. Suppose 0*c = 4*c - 156. Let w be (-17)/26 - (-6)/c. Is w at most j?
False
Let x(f) = -f + 4*f - 3*f**2 - 2*f - f**2 - f**3. Let o be x(-2). Let v(m) = 3*m + 11. Let t be v(o). Which is greater: t or -1/3?
-1/3
Suppose 3*c - 6*x = -2*x + 15, x = c - 4. Suppose -h = 2*b - 11, 5*b + 0*b - h - 10 = 0. Suppose b*p - 2 - 1 = 0. Do p and c have different values?
False
Let k be (-6)/(-5) + (-1)/5. Let d = -16 - -15. Let n = d + 0. Is k smaller than n?
False
Let y = -0.0399 - -82.0399. Which is smaller: 0.2 or y?
0.2
Let d = 5 + -6. Let i be ((-3146)/(-559))/((-7)/2). Let y = i - -20/43. Which is smaller: y or d?
y
Let g(j) be the second derivative of -j**3/6 + 2*j**2 - 23*j. Let z be g(4). Are z and 1/2 equal?
False
Suppose d - 2*h - 756 = 0, 0 = d - 5*h - 374 - 394. Which is smaller: d or 750?
d
Let p be (-1 - 444/85) + -46 + 49. Let k = -3/17 + p. Is -4 != k?
True
Suppose -5*p + 6 = -0*k + k, -4*k + 84 = 5*p. Let c be (1 - 2) + (-141)/(-6). Let d = c - k. Do -3 and d have the same value?
False
Suppose -4 = -2*n - 0*n. Suppose -20 = 3*s + n*s. Which is greater: s or -5?
s
Suppose 808*r - 812*r - 2504 = 0. Which is bigger: -625 or r?
-625
Suppose 21 = 3*h - 2*b, 0*b - 5*b = -h + 20. Suppose 0 = 2*d - 5*v + 34 + 28, 0 = -2*d - h*v - 22. Let r = 30 + d. Is 9 at most as big as r?
True
Let k = -170.01 + 170. Which is greater: -4/9 or k?
k
Suppose -u - 2 = -p, p - 6 = -3*u - 2*p. Let f be u + -1 + (-2)/(-3). Which is smaller: -2 or f?
-2
Let p(s) = 4*s + 24. Let q be p(-3). Suppose 2 = x - 10. Is x greater than or equal to q?
True
Let n(j) = -4*j + 60. Let w be n(15). Suppose 10 = f - 6*f. Which is greater: w or f?
w
Let f be (-7 + 1)/(-30) + 7/(-10). Is -2/279 < f?
False
Let c = -0.959 - -0.966. Is 1 != c?
True
Let j = -57.8 - -6.8. Let o = 50 + j. Let b = 0.03 - -0.27. Which is greater: o or b?
b
Let t = -33/28 + 431/364. Do 0 and t have the same value?
False
Let a(m) = -8*m + 17*m + 0 - 8*m + 19. Let h be a(8). Which is greater: h or 53/2?
h
Suppose -14*z = 4*h - 15*z + 2, -5*h + 5*z - 10 = 0. Let d = -2 + 5. Let b be d*-1*5/(-15). Which