- 1. Let q = -14510 - -14509.9. Is a < q?
False
Let d = -0.0876 + -7.9724. Let y = 202 - 210.1. Let l = y - d. Which is bigger: -2 or l?
l
Let b = 1239.601 - 1239. Let v = -30.601 + b. Is -2/3 greater than v?
True
Let f = -759 - -1273. Let x = f + -62192/121. Which is bigger: x or 1?
1
Let k(h) = 2*h**2 - 118*h. Let f be k(0). Which is smaller: f or 8/2407?
f
Suppose y = p - 385 - 687, 3*p - 3196 = -2*y. Is 1067 less than or equal to p?
True
Let y = -63 + -175. Let x = 238 + y. Which is smaller: x or 8/61?
x
Suppose -509 - 638 - 613 = -80*x. Is x > -2?
True
Let d = -19.1016 + 19.1. Let g = d - 3.6884. Is g equal to 0?
False
Let u be (-102)/204 + 958/(-116) + 8. Do u and 3/4 have different values?
True
Suppose 12 = -2*w - 0*w. Let c(i) = i**2 - 2*i - 2. Let r be c(w). Let h = 37 - r. Is h bigger than -9?
False
Let g = 317.62 + -317.572. Is 99 greater than g?
True
Let z = -103 + -8. Let j = -225 - z. Let q = 114.5 + j. Which is greater: q or -1/9?
q
Suppose 0 = -85*n - 1441 - 344. Let u be (-2*1 - -1) + -20. Is n < u?
False
Let v = 166 + -360. Let w = v - -200. Is 34 greater than w?
True
Let n = -98 + 105.9. Let a = 4.9 - n. Which is greater: -21 or a?
a
Let z(t) = t**3 + 19*t**2 - 17*t + 87. Let w be z(-20). Suppose 0 = -8*l + 19*l + 66. Which is smaller: w or l?
l
Let a(w) = -w**3 + w**2 + 2*w + 1. Let r(u) = 2*u**3 - 15*u**2 - 7*u - 8. Let n be r(8). Let t be a(n). Let v be 1/3 + 417/(-1278). Which is smaller: v or t?
v
Let z = -105.49 - -105.39. Let k = 2 - 1. Is z greater than k?
False
Let y(r) = r**3 - 15*r**2 - 37*r + 9. Let d be y(17). Suppose -6*a + 2*a = 5*m + 345, 2*a + 345 = -5*m. Let o = m - d. Is o < -27?
False
Let g = -251 + 253. Let t = -17272/15 - -1152. Which is smaller: t or g?
t
Let g(x) = -2*x**2 + x + 10. Let p be g(3). Let i be (6/p)/((-8)/(-20)) - 37. Let d = 9 - i. Which is smaller: 48 or d?
48
Let h be (-728)/(-84) - 6/9. Let j be 18*((-1)/1 + 2). Suppose -y - j = h. Is y at least -27?
True
Suppose -2 = -2*h, h - 10 = -d + 3*h. Let g = 9 - d. Let o be (-114)/(-95)*30/(-18). Which is smaller: o or g?
g
Let g = 520 - 519. Let o be (-6 + (-5519)/(-919))*(-6)/15. Which is smaller: g or o?
o
Let i be (-6)/(-5)*((-34495)/15 + 3). Is -2755 less than i?
False
Suppose -336*y = -28*y + 123816. Which is greater: y or -2017/5?
y
Let x = -1267 + 893.9. Which is bigger: x or -2/5?
-2/5
Let z(k) = k**2 - 13*k + 5. Let f = 196 + -185. Let w be z(f). Is -19 >= w?
False
Let q = 0.0652 - -16.4548. Let d = q - -0.58. Let o = d + -2.1. Do 2/9 and o have the same value?
False
Let v = -322 - -328. Let w be ((-16)/v)/(20/(-75)). Let p = -10 - -14. Is p equal to w?
False
Let f(k) = k**3 - 12*k**2 + 23*k - 3. Let l be f(10). Let s = -3 + l. Let b be (s/10)/((-15)/75). Is -7 >= b?
True
Let k = -210024.11 + 210024. Let h be 0/((-1 - 1)*1). Let i be -2*(h + 2) - 0. Is i less than or equal to k?
True
Let a = 197/72 + 17/9. Let p = 11/2 - a. Is 1 < p?
False
Let s(j) = -j**3 - 3*j**2 - 7*j - 719. Let c be s(0). Which is smaller: -721 or c?
-721
Let k be (-10)/40*8 + (-1 - -5). Let l be (-1032)/12*k/(4/(-1)). Are l and 42 nonequal?
True
Let z be -4 + (5 - (-20)/(-4)). Let b be (12/(-9))/z*-6. Let w be ((-56)/36 - b)*6/(-26). Which is smaller: w or 1?
w
Suppose -199*h + 194*h - 1235 = 0. Is -249 less than h?
True
Let w = -11673/2 + 5836. Which is greater: w or -7/8?
w
Suppose 5053 + 2067 = 20*o. Which is smaller: 358 or o?
o
Let f = 3304 + -4429. Is -1123 greater than or equal to f?
True
Let j be (-1925)/(-42) + 12/72. Suppose 3*m + 5*k - 86 = 0, 0 = 3*k - 8*k + 5. Let n = m - j. Does n = -18?
False
Let a = -8/81 - -1274/11259. Let x = -26 + 27. Which is smaller: a or x?
a
Let i = -18.962 + -0.038. Let k = -20 - i. Let t = k + 4. Which is bigger: t or -3?
t
Let p = 8.512 + 2555.488. Which is bigger: p or -0.1?
p
Let o = -315183 - -2038288457/6467. Which is bigger: o or 0?
0
Let a = 23.37 + -23. Suppose 8*o - 59 + 3 = 0. Let v be (6/(-75))/((-3)/(8 + o)). Is a at most as big as v?
True
Suppose -18 = 3*i - 3*y, 3*i = -y - 7 + 1. Suppose 2*h - 17 = -2*z - 13, 3*z + 2*h = 1. Is i at most z?
True
Suppose 3*c + 3 + 5 = 4*y, -5*y + 41 = 4*c. Suppose 2*z = y + 9. Suppose -z*u = -8*u + 22. Is u >= -1/4?
True
Let q = -244.471 + 244. Let a = -0.391 - q. Let z be 6/2 - 28/12. Which is smaller: a or z?
a
Suppose 14*q - 35 = 5*a + 15*q, 3*q = 4*a + 47. Let k be (3 - 1)/(4/(-6)). Which is greater: k or a?
k
Let g = 486 + -8259/17. Let x be (-1)/5 + (-1188)/(-90). Suppose -x*a = -11*a. Is a != g?
True
Let z(c) = c - 9*c + 7*c - 34 + 35. Suppose -6 = 2*d + s, s - 4 = 3*d + 5. Let w be z(d). Which is greater: w or 0.01?
w
Suppose 37*v - 27*v - 2910 = 0. Let o = -233 + v. Which is smaller: 56 or o?
56
Let t be (35/63)/((-20)/(-156))*(3 + 0). Is t less than -35?
False
Let b = 10981/13 - 844. Let a(s) = 247*s + 5682. Let o be a(-23). Which is greater: o or b?
o
Suppose 0 = -4*m - 6 + 26. Suppose 11 = c - 4*o, -5*c - 27 + 7 = m*o. Let u be (0 + -2)*(-21)/(-35). Which is greater: c or u?
c
Let m = -52 - -55. Suppose 2*z + 2*x + 10 = 0, 3*z = 7*x - m*x - 15. Which is bigger: -80/13 or z?
z
Suppose 0 = b - 124 + 103. Suppose -b*i - 324 = -25*i. Let v = i + -77. Is v less than 2?
False
Let o be 3 + -4 + 5 + (-30)/2. Let f = o - -27. Suppose 6*v - 80 = f. Which is greater: v or 17?
17
Let o = 0 + 0. Suppose -18 = -84010*c + 84016*c. Which is smaller: o or c?
c
Let m = 1.94282 + 0.05718. Is m >= 11.5?
False
Let n(z) = 2*z**2 - 64*z - 240. Let o be n(-5). Which is smaller: o or 131?
o
Let x = 136 - 134. Let c be (x - 0/(-2)) + 5 + -9. Let n(l) = l**3 + 2*l**2 - 2*l. Let i be n(-2). Is c less than i?
True
Let r = -49.9 - 7.1. Let k = 12793.99 + -12737. Let g = r + k. Which is bigger: -1/3 or g?
g
Suppose -52*t + q = -48*t + 116861, -2*q - 14 = 0. Do -29217 and t have different values?
False
Let j = -18172 + 18244. Which is bigger: 78 or j?
78
Suppose 434*j = 430*j - 3220. Which is bigger: j or -809?
j
Let d = -2061 + 63888/31. Which is bigger: 15 or d?
15
Let z = -7324301/182 - -40244. Is 0 < z?
True
Let z = 207.89 + -208. Let b = 0 + 0.03. Let x = b - z. Which is smaller: x or 0.3?
x
Let x = -27.98 + -0.02. Let o = x - -27. Let v = o - -5. Which is smaller: 0.1 or v?
0.1
Let w = 2 + 0. Let l(g) = 194*g + 191. Let k be l(-1). Let a be -2*1/w - (-4 - k). Which is smaller: -1 or a?
-1
Let i be (11 + -4 + 3 - 7) + 1*5. Is 15 <= i?
False
Let o = -166 - -167. Let a be 22/4*-4 + o. Let v be (-14)/4*(-6)/(-1). Do a and v have the same value?
True
Let j = 17/3 + -1355/237. Let m = 2425/474 - j. Let z = -97/18 + m. Is 1 >= z?
True
Let y(u) = -u**3 + 7*u**2 + 18*u + 16. Let h be y(9). Suppose 23*c - 7 = h*c. Which is smaller: c or -1/181?
-1/181
Suppose -4*h + 2*w = 1170, -683*w + 686*w = 5*h + 1462. Is -3224/11 > h?
False
Let j = -0.8 - -3.75. Let t = j + -2.85. Does t = -146?
False
Let m = -15 - 14. Let b = -11/432 + -12373/432. Which is smaller: b or m?
m
Let n = 12162470/2787 + -4364. Is -1 at least as big as n?
False
Let p be -33 + ((-984)/(-369))/((16/(-6))/4). Which is greater: -0.1 or p?
-0.1
Let p = 153 + -8416/55. Let f(n) = -n**2 - 153*n + 154*n + 7 + 0*n**2. Let g be f(3). Which is greater: p or g?
g
Let c be 2/4 - (-3)/(-5). Let v(t) = -1222*t + 2443. Let r be v(2). Is r at least c?
False
Let w = -105407 + 204523/2. Which is smaller: -3146 or w?
-3146
Let l = -2229 - -2239. Which is greater: -7/9 or l?
l
Let i = -60931/9 + 6763. Which is smaller: -2/7 or i?
i
Let o(l) = -8*l**2 + 7*l - 3. Let x be o(-4). Let a = x - -126. Let b = a + 15. Which is bigger: b or -17?
-17
Let n = 443 + -670. Let k = n + 387. Which is bigger: 159 or k?
k
Let g = -76339/927639 - -38/459. Are 0 and g nonequal?
True
Suppose 21*u + 684 = 25*u. Suppose 13*j - 4*f = 12*j - u, 0 = -2*j - 3*f - 309. Is j < -158?
True
Let g = 1 + -53. Let t = 39.6 + g. Let o = 12.3 + t. Is -2/7 bigger than o?
False
Suppose -48*n = -44*n + c - 62, -44 = -n - 5*c. Let j = -5 - -7. Let s be 1 + j + (-7*n)/(-2). Is 52 != s?
False
Let w(s) = -49*s**3 + 76*s**2 - 293*s + 1. Let a be w(4). Is 1 < a?
False
Let m = -6.277 - -6.077. Which is greater: m or 60.2?
60.2
Let o(p) = 4*p**3 - 36*p**2 - 35*p + 22. Let k(r) = 3*r**3 - 36*r**2 - 35*r + 22. Let m(x) = 5*k(x) - 4*o(x). Let d be m(-35). Is d smaller than 93/4?
True
Let z = 7022