et q = z - 15. Suppose -7 - q = -2*a. Which is smaller: a or 4?
4
Let a be -9*(-2)/(-6) + (-15)/(-4). Is 1.5 smaller than a?
False
Let c = -601.05 + 635. Let h = c - -0.05. Let n = h + -36. Is 0.01 > n?
True
Let t = 49 - 49. Suppose -m + 49 = -t*m. Is m bigger than 50?
False
Let q(x) = 2*x**3 + 9*x**2 - 12*x + 2. Suppose -5*p + 2*v - 29 = 0, -12 + 32 = -2*p + 5*v. Let y be q(p). Are y and 36 nonequal?
True
Let x = -1/11 + -5/66. Let i(g) = -4*g - 34. Let a be i(-9). Which is bigger: x or a?
a
Let v = -1 + -0.8. Let u = -2.1 - v. Let q = u - 0.6. Is q greater than -1?
True
Let w(h) = -5 - 4 + 4 - h**2 + 4*h + 2. Let d be w(2). Which is smaller: 2 or d?
d
Let j = -0.086 + -5.014. Let k = j - -1.1. Which is smaller: -2/5 or k?
k
Let v = 0.3 + 0.7. Which is bigger: v or 17?
17
Let o = -8 + 23. Let m be ((-342)/o + (-3)/15)/(-1). Which is smaller: m or 22?
22
Let a(x) = x**3 - 2*x**2 + 2*x - 3. Let z be a(2). Let w = -3756 + 33808/9. Is z < w?
False
Suppose 5*k - 64 = 171. Do 49 and k have the same value?
False
Let x = 6 + -10. Let v(y) = -y + 2. Let p be v(2). Suppose -k + 5*k + 12 = p. Which is smaller: x or k?
x
Let f = 49301 - 324252676/6577. Let q = f - 276263/190733. Let o = -572/435 - q. Which is greater: 0 or o?
o
Let k be (-1)/(-5 + 4) - 66. Let h = k - -34. Is h at least -31?
True
Let v be 228/(-105) + (-4)/10. Let f = 137/56 + v. Which is bigger: -10 or f?
f
Suppose 0 = -2*p - 2 + 10. Suppose -3*z + p = -u - 0, 0 = 4*u - 20. Suppose -3*t = -4*l - 9, 3*l - t - 6 = -z*t. Which is bigger: l or -2?
l
Let q(m) = 2*m**2 - 39*m - 206. Let v be q(-6). Is v less than or equal to 99?
False
Suppose 0 = -z + 2*z. Let l = -2.6 - -2.71. Let s = l + -7.11. Is s greater than or equal to z?
False
Let m be (-7340)/50 - -11 - (4 - 0). Which is smaller: m or -140?
-140
Let v = 0.92 + -1. Let n = 0.48 + v. Let b = -66/7 - -271/28. Is n greater than b?
True
Let q = -245.0066 - -0.0066. Which is greater: 0.1 or q?
0.1
Let f = -65.2 - -64.346. Let x = f - 0.146. Is -14 >= x?
False
Let p = 24 - 24. Is 2/63 at most p?
False
Suppose -j + 9 = -4*j + 3*u, u = -4*j - 2. Is -2/773 at most as big as j?
False
Let n be (-2)/(-8) - (-1)/(-6). Let b = 5 - -8. Suppose -b = -4*h - 9. Which is greater: n or h?
h
Let h(m) = -m**3 - 20*m**2 - 24*m - 2. Let u be h(-19). Are 93 and u equal?
True
Let k(t) = 91*t + 90. Let y be k(-1). Let g = -466/3 + 158. Let l = g - 7/3. Are y and l non-equal?
True
Suppose 4*p = 2*p + 10. Let w be 3 - -1 - ((-7)/(-2) - 3). Is p bigger than w?
True
Let u be ((-12)/(-14))/((-48)/(-560)). Is 145/17 greater than u?
False
Let n = 7 - 6.7. Let y(o) = -o**3 - 6*o**2 - 7*o - 2. Let j be y(-6). Let z be 4/63 + (-2 - j/(-18)). Which is bigger: z or n?
n
Let o(g) = -g**2 - 6*g + 74. Let p be o(6). Is p less than 90/31?
True
Let h(n) = 2*n - 19. Let x be h(-8). Is x smaller than -37?
False
Let k(q) = -q**3 - 22*q**2 - 18*q + 2. Let c be k(-21). Are c and -62 equal?
False
Let w be -2 + 2*53 - (-22 + 22). Let i be (78/w)/(1/8). Let z = -592/5 + 118. Which is smaller: z or i?
z
Let j = 9 - 7. Suppose -j*d = -1 - 1. Let o be d*2*(-300)/24. Which is smaller: o or -26?
-26
Let u = 79 - 66. Let n(s) = s**2. Let a be n(-4). Which is smaller: a or u?
u
Let r = 23 + -25.5. Let b = 0.5 - r. Is b not equal to 4?
True
Let j = 131/48 + -8/3. Which is bigger: -1 or j?
j
Let n be 1/2 - (-21)/(-210). Which is greater: n or -69?
n
Suppose 0 = -n - 5 - 4. Let r = n + 10. Is 1/43 greater than r?
False
Let j = 6 + -2. Suppose -5*i = d + 117, -2*i + 2*d - 42 = j*d. Let p be i/16*(-2 + 0). Which is smaller: 2 or p?
2
Let i = 0.097 - 0.066. Are i and -1 unequal?
True
Suppose -4*c + 2*m + 212 = 0, -2*m = c - 55 + 7. Let h = 2929 - 2878. Is h at most as big as c?
True
Let m = 2761 - 2761. Let i be ((-4)/(-5))/(-10 - 0). Is m greater than or equal to i?
True
Let d be 373/20 + 9/12. Let t(n) = -n**3 - 49*n**2 - 91*n + 159. Let f be t(-47). Which is smaller: f or d?
f
Let f(c) = -c**3 - c**2 - c + 1. Let q be f(0). Suppose -y - 16 = 46. Let n = y - -619/10. Which is bigger: q or n?
q
Suppose -4*c = -2*c - 4. Suppose 6*g + 8 = -c*g. Which is bigger: -2/97 or g?
-2/97
Let l = 1947.1 + -1905.066. Let q = -0.034 + l. Which is smaller: 0 or q?
0
Let w = 0.117 + -0.117. Let a = -1.4 + -1. Let h = -2 - a. Which is bigger: w or h?
h
Let k = -79 + 84. Suppose -2*i - 5*l + 18 = 0, -i + 3 = -k*l + 24. Is -8/35 smaller than i?
False
Let i be (-2)/3 - (-308)/(-33). Suppose r - 4*q + 12 = 0, 2*r + 0*r = -4*q - 36. Let m = 7 + r. Which is greater: m or i?
m
Let k = 5 - 4. Let a(u) = -6*u + 2. Let q be a(k). Let h be (q/(-10))/(128/60). Is h bigger than 0?
True
Suppose -4*z - 115 = 5*h - 6*z, 0 = h + 5*z - 4. Let i = h - -27. Is i >= 4?
True
Let p = 228/13 + -6651/377. Let u be -4*(0 - (-4 - -3)) + 4. Is u smaller than p?
False
Let h be 12/(-16)*(3 + -287). Do h and 855/4 have the same value?
False
Let l(c) = 2*c**3 + 76*c**2 - 3*c - 88. Let n be l(-38). Which is smaller: n or 77/3?
77/3
Suppose -2*k = 6*k + 448. Is k greater than -56?
False
Let n = -0.44 - -1.47. Let k = -0.27 - n. Let a = -1.4 - k. Which is bigger: a or -10?
a
Suppose -2*g = -0*m - 3*m, 2*m + 5*g = 19. Suppose 2*c - 3*o - 62 = 0, m*o = 4*c - c - 88. Suppose s = -5*q + c, -5 - 11 = -q + 5*s. Is 6 greater than q?
False
Let n be 9/3 + -1 + 1. Suppose -y - 6*q = -q - 13, -5*q + 41 = -n*y. Is y bigger than -7?
False
Suppose -2*b = -0*b - 5*x - 483, -3*b + 735 = -4*x. Is b greater than or equal to 249?
True
Let c be (-10)/(-35) - 85/(-119). Is -523 smaller than c?
True
Let i = -12 + 8. Let v = i - -12. Let d be v/36 - 129/(-27). Which is greater: d or 6?
6
Suppose -6*j = -3*j + 105. Suppose 63*x - 1050 = 93*x. Is j at most as big as x?
True
Let a be (-10)/12 - 1323/162. Let f = -4 + 2. Let z(i) = i**2 + 3*i + 2. Let r be z(f). Is r at least as big as a?
True
Let j be (2*(-1)/(-18))/(8/156). Let a = j - 23/6. Let f = 3 + -5. Is f bigger than a?
False
Let f be 12/9*15*-2. Let y = f - -39. Which is smaller: y or 1/43?
y
Let o = -5 - -1. Let d(h) = -h**3 - h**2 - h + 9. Let m be d(0). Let w be (7 - m) + 2*1. Which is greater: w or o?
w
Let l(j) = -j**3 + j. Let p(d) = -17*d**3 + d**2 + 2*d - 1. Let b(y) = 3*l(y) - p(y). Let h = 52 - 53. Let g be b(h). Is g <= -15?
True
Let k be -2 + 5 + -1 + 3. Let p(s) = -s - 2. Let m be p(-6). Let r = m - k. Are 2/15 and r non-equal?
True
Let j = -45.16 - -49. Is j bigger than 2?
True
Suppose 5*r - 4*m - 77 = 2*r, 0 = 5*r - m - 134. Let k be ((-1)/3)/((-1)/r). Let f be (-15)/(-9) - 6/k. Which is smaller: f or 1/8?
1/8
Let s = 56 + -34. Let b = 47/2 - s. Let w = 4.2 + -4.4. Which is smaller: b or w?
w
Let o be 2/3 + 484/(-33). Let z be (o/(-3))/((-8)/36). Is z smaller than -21?
False
Let t be ((-255)/(-340))/(62/16). Let j = 3 - 2. Which is smaller: t or j?
t
Let b = -103 - -95. Is b greater than -0.03?
False
Let u = 9.49 + -9.69. Let q = 0.37 - 2.47. Is q < u?
True
Let v be (-6)/(-4)*(-4)/6. Let i = -21830/1027 + 276/13. Is v <= i?
True
Suppose x + 72 + 0 = 5*f, -4*f = 2*x - 66. Let s(d) = d - 6. Let p be s(5). Let u be -1*p*(-6)/f. Which is bigger: -0.1 or u?
-0.1
Let m = -2536 - -2561. Which is greater: m or -0.6?
m
Suppose t + 4*q = -102, -28*q = -3*t - 23*q - 357. Is t <= -113?
True
Suppose -6*b + 209 = -3*q - 7*b, 4*b = -3*q - 215. Let t = -147 - -77. Which is bigger: q or t?
q
Let x(q) = -q**3 + 31*q**2 + 4*q - 131. Let m be x(31). Is m <= 16?
True
Let j be 2/((-56686)/255073) + 9. Which is greater: 0 or j?
j
Let g be -3 + 4 - (5/(-5) + 5). Are -76 and g unequal?
True
Let a(m) = 4*m + 18. Let u be a(-5). Let k be 0 - -5 - (4 + -3) - 7. Which is smaller: k or u?
k
Suppose 0 = 33*t - 36*t + 330. Let k = t - 221/2. Which is smaller: -2 or k?
-2
Let s = 954 + -953. Let p = -0.35 - 15.65. Which is smaller: s or p?
p
Let p be (-20)/(-5) - 13712/3432. Is p bigger than 0?
True
Let x(v) = -v - 11. Let k be x(-9). Let f be 4 + -1 + k + (-118)/(-6). Which is smaller: 20 or f?
20
Let f be (-33)/(-11)*1/3. Suppose 20 = 5*d + 5*t, 3*d - 2*t = -1 - 2. Is d at most f?
True
Suppose -48 = -9*c - 237. Which is smaller: -26 or c?
-26
Let j be ((-36)/(-54))/(4/(-21))*2. Let a(x) = -x - 12. Let f be a(j). Is f smaller than -84/13?
False
Let u be (-1)/7*-11 + -2. Suppose 0 = -2*t + 5*t - 54. Let o be (-4)/t + 22/18. Whi