!= a?
True
Suppose -22*c + 21*c + 61 = -4*p, 2*p = 6. Let v(u) = u**2 + 3*u + 3. Let l be v(-10). Is l > c?
False
Let m = 16 - 9. Suppose 3*j - 5*s - 313 = 0, 2*s - 452 = -0*j - 4*j. Suppose -309 = -m*v + j. Is 59 < v?
True
Let c = 0.157 - -2.733. Let v = c + -0.89. Is -0.3 < v?
True
Suppose -2*m = 2, 51*d - 53*d - 9 = m. Let s be 24/16*d/6. Which is bigger: s or -12/115?
-12/115
Let x = 418 + -577. Let q = x - -160. Is 0.093 greater than q?
False
Let h = -5219 - -5218.7. Which is greater: h or -4.94?
h
Let m = -215 + 257.8. Let k = m - 1.8. Let a = k + -40.93. Is -1 < a?
True
Let y = -4412 - -4169. Is -240 equal to y?
False
Suppose 72 = 21*z - 20*z. Suppose 4*m + 222 = 2*f, m + 2*f + z = -3*f. Is m smaller than -57?
False
Let p(y) = 361*y - 6004. Let m be p(20). Is 1216 greater than m?
False
Let n(s) = -s**3 + 18*s**2 + 36*s + 64. Let x be n(20). Let g be (x/120)/(8/12). Which is smaller: g or -0.085?
g
Let g = 156 + -140. Let w be g/(-114)*(-4)/(-48)*-15. Is 1 < w?
False
Let y(k) = 6*k + 15. Let u(m) = 2*m + 5. Let x(z) = 8*u(z) - 3*y(z). Let n be x(-4). Suppose -4 - 2 = -n*r. Is -6 at least r?
False
Let a = 12967 + -12968. Which is smaller: a or 6/3239?
a
Suppose -448*w + 465*w = 8619. Are w and 517 non-equal?
True
Let i be (-354)/(-114) + (-4)/38. Let q(x) = x**2 - 13*x + 4. Suppose k = 42 - 29. Let l be q(k). Is i >= l?
False
Let x(b) = -4*b**2 + 152*b + 156. Let w be x(39). Which is smaller: -1/1420 or w?
-1/1420
Let p = -150 + 166. Let c be 68/102 + (-14)/p. Which is smaller: 1 or c?
c
Let a = 0.34 - 0.14. Let i = -4.454 + 0.454. Is i smaller than a?
True
Let n = -24.15 + 24.42. Let b = 1.161 + 0.109. Let s = b - n. Is s at least 1/4?
True
Let n be 2 + ((-51926)/32)/7. Let q = -230 - n. Let r = q - -159/80. Is 1 < r?
True
Let b = 15 - 52. Let k = 70.52 + -71.02. Which is smaller: b or k?
b
Suppose -575*g + 1 = -581*g + 1. Is 9/2101 bigger than g?
True
Let x = 150 + 6. Let a = 151 - x. Is -21/5 < a?
False
Suppose -83 = 41*d - 165. Do d and 0.53 have the same value?
False
Let p = 1160 - 1973. Is p greater than or equal to 0.4?
False
Let m = -21858 + 21809. Is m at least -95/2?
False
Suppose -25*d + 10112 + 6038 = 9*d. Is d equal to 484?
False
Let p(y) be the second derivative of y**4/12 - 5*y**3/2 + 5*y**2 - 21*y. Let m be p(14). Let n = 20 + m. Which is greater: 14 or n?
n
Let p = 393 - 381. Suppose v = 5*i + 121, 0 = -p*v + 14*v - 2. Is -19 > i?
True
Suppose -60 = -5*y + 70. Suppose -9*d - 48 = -17*d. Suppose 112 + 44 = d*r. Is y bigger than r?
False
Let d = 498 + -479. Suppose 1826 = -d*f + 8*f. Is -166 not equal to f?
False
Let r = 1237 + -1236. Let w = 247 - 243. Which is smaller: w or r?
r
Let r = -15608/5 - -3122. Which is bigger: r or -4.37?
r
Let r(x) = 3*x - 3. Let z(w) = -2*w + 4. Let n(d) = 3*r(d) + 4*z(d). Let b be n(-5). Suppose b*a + 4*u - 15 = 3*a, 4*a = -4*u - 60. Which is smaller: -0.2 or a?
a
Suppose -9*b = -12*b - 120. Let j be (2/1 + -440)/(b/20). Is j greater than 220?
False
Suppose 13*h + 86 = -1292. Suppose 2*l = -3*m + 32, 3*m + l - 38 = 2*l. Let q(v) = -2*v**2 + 17*v - 23. Let f be q(m). Which is bigger: h or f?
h
Let a = 82.18 + -82.28. Which is smaller: a or 82?
a
Let x = 11 + -6. Suppose n - 13 = -x*z - 36, 13 = -4*z + n. Let y = 4.47 + -5.37. Which is smaller: y or z?
z
Let c be 2374/70 + (-4)/(-14). Let n = -34 + c. Suppose 0 = -2*v - 2*x, -2*x - x = -5*v + 8. Which is smaller: v or n?
n
Let k = -1.029 - -0.029. Let d = k - -1.095. Let p = -0.005 - d. Is p greater than 4/11?
False
Let p = 35/33 - 961/1155. Let h = 10 + -10. Let d be 1 - h/1 - 0. Which is smaller: d or p?
p
Suppose 6664 + 3896 = -4*j. Let c be (-2)/(-8) + 692/j. Let b(q) = -q**2 + 30*q - 160. Let v be b(7). Which is greater: v or c?
v
Let w be ((-32)/(-18))/(-1)*(4 + -3). Suppose 19*h + 67 = 10. Is w less than or equal to h?
False
Suppose 497 = 2*h - g, 0 = 2*h - 4*g + 66 - 560. Suppose -992 = 5*d - 9*d. Which is smaller: h or d?
d
Let q = 347 + -278. Let w = -1 - -4. Suppose w*a = 4*h - 61, 3*a - 8*a + q = 4*h. Which is smaller: h or 14?
14
Let s = 6929.63 + -6917. Does 1/4 = s?
False
Let v be ((-754)/(-145))/((-1)/(-30)). Let x = v - 85. Which is smaller: x or 73?
x
Let o = 188.23 + 0.77. Let f = o - 178. Which is smaller: 0.5 or f?
0.5
Let z = 74 + -256. Let d = z - -182.1. Which is smaller: -2/23 or d?
-2/23
Let a = -1061488/27 - -39314. Is 2/7 bigger than a?
True
Let r be (26/(-4) - -4)*1270/(-25). Is r smaller than 150?
True
Let w be ((-2)/(-4))/(360/8640). Suppose 2*u + 9 + 5 = 0. Let x(t) = -3*t - 7. Let v be x(u). Which is smaller: v or w?
w
Let i = 8474 - 9033. Which is greater: i or -0.3?
-0.3
Suppose -24*j = -21*j - 1152. Let r = -3458/9 + j. Let a = 1 - 2. Is a at least r?
False
Let u = -59 + 104. Let q = -85/2 + u. Let v(o) = 4*o**2 + 48*o - 110. Let m be v(-14). Which is smaller: m or q?
m
Let n = 152 + -151.996. Let f = n - -121.996. Let u = 118 - f. Is 1 less than or equal to u?
False
Suppose z = 4*n + 895, -24*n + 3640 = 4*z - 20*n. Which is smaller: 908 or z?
z
Let w(d) = d**3 - 3*d**2 - 7*d + 17. Let p be w(2). Which is smaller: p or 8.64?
p
Let g = -874038813/11266 + 77582. Which is smaller: 0 or g?
g
Let l = -2 + 7. Let q(x) = x**2 - 5*x - 5. Let s be q(l). Let r = -14 - s. Do r and -10 have the same value?
False
Let b = -202.4 - -182. Let h = b + 26.4. Which is greater: 2 or h?
h
Let j = 8352 + -1444902/173. Suppose -4*h = -4*k, 20*k = -2*h + 16*k + 6. Which is smaller: h or j?
j
Suppose 3*z + 6 = -3*l + 3, -4*l + 2*z = -8. Let u = -138085/16 + 8630. Which is smaller: l or u?
u
Let q be -8*50/(-240)*(4 + -1). Suppose -10 = -3*u - q*l, 2*u - 1 = 2*l - 5. Which is greater: 6/49 or u?
6/49
Let f(g) = -g**2 + 9*g - 2. Let z be f(9). Let b(t) = t**2 - 5*t. Let x be b(0). Suppose h - 8*h - 14 = x. Is h >= z?
True
Let l(i) = -i**3 + 20*i**2 + 23*i - 39. Let o = 110 - 89. Let n be l(o). Suppose 2*f - v + 16 = 0, 24 = -2*f + 2*v - n*v. Which is smaller: -9 or f?
f
Let p be 0/1 + 0/1 - 1. Let o(h) = h**2 + 2*h + 1. Let b be o(p). Suppose b = -2*i - 2, i - 5 + 12 = -3*r. Is 1 less than or equal to r?
False
Let y(q) = -197*q - 3545. Let z be y(-18). Which is smaller: z or 1/1516?
1/1516
Suppose 4*o - 200 = -0*o. Suppose -3*j + 195 + 38 = 2*i, -i + 97 = -5*j. Suppose -2*x = -i + 12. Is o bigger than x?
False
Let q = 0.13 - 0.245. Let c = -64.47 + 64.67. Is c greater than or equal to q?
True
Let p = -2.372 + 4.092. Which is bigger: 5 or p?
5
Let i be (-612)/81 + 8 - (-27998)/(-18). Which is bigger: i or -1556?
i
Let r = 27330 - 27556.86. Let o = -229 - r. Let x = 1.14 + o. Is -1 less than x?
False
Let p be 6510/30*20/14. Suppose 0 = -6*w + p - 172. Which is greater: 18 or w?
w
Suppose -813*v - 2*p = -810*v + 25184, -5*v + 3*p = 41929. Is v at most as big as -8390?
True
Let f = 33 - -246. Let q = f + -278.7. Which is bigger: q or -85?
q
Suppose 5*w = h - 6*h - 460, -w + 3*h = 92. Let m = -93 - w. Let b(s) = 22*s**2 - 3*s - 3. Let j be b(m). Is 21 greater than or equal to j?
False
Let q = 24.94252 + 0.05748. Let d = 2.8 - -1.2. Is q < d?
False
Suppose m = 155 - 137. Suppose -3*w + m = 3*w. Which is greater: w or 11/4?
w
Let l = -4.214 + 2.464. Is l smaller than -2?
False
Let p(g) be the second derivative of -g**5/20 + g**3/6 - g**2/2 + 8*g. Let l be p(1). Suppose -4*v + 5*r - 2 = -5*v, 3*v + 4*r = 50. Which is smaller: v or l?
l
Let x(l) = l**2 + 48*l - 721. Let z be x(12). Let y be 3/15*4/7. Is z >= y?
False
Let b = 17 + -15. Let z be (-2)/6*(-10 + -4 + b). Let v be (-3 - (-6 + z))*1. Is 2 < v?
False
Suppose -3*v + 4*o = -125 + 21, 3*v + 2*o - 110 = 0. Suppose 0 = 4*f + 5*b - v, 7*b - 3*b = 5*f - 45. Suppose -c + 26*c - 98 = 27. Which is greater: f or c?
f
Let k be (14 - 11)*5 + -14. Let b = -1 + -27. Is b smaller than k?
True
Let p be 2/(-3)*(-15 + 18). Let o be (-2 - (1 + p))*0. Suppose -5*x + x - 4 = o. Which is bigger: -1/32 or x?
-1/32
Let u(l) = -13*l + 1300. Let o be u(-13). Which is bigger: o or 1468?
o
Let d be 0 + 0 + 2 + 1. Let b be 477/36 + -3*(-7)/(-84). Suppose -d*r - b + 4 = 0. Are r and -5 nonequal?
True
Let f(u) = -u**2 - 2*u + 6629617. Let v be f(0). Let i = 311635848/47 - v. Let l = i - 933. Which is smaller: l or -1?
-1
Let d = 0.837 - 0.825. Let p = 22.012 - d. Which is smaller: p or 0?
0
Let a be (48/(-40))/