- 12. Is -4 at most l?
True
Let k be (5/(-4) + 1)/((-26)/520). Suppose -k*s - 6 = -1. Let f = 0.4 - 0.1. Which is bigger: s or f?
f
Let y(k) = 2*k**3 - 2*k**2 - 2*k. Let j be y(2). Let f be (-2)/8 + (-423)/36. Let w be 12*(2 + 21/f). Which is smaller: w or j?
w
Let n(a) = 0*a**3 + 2*a**2 + 3*a**2 + 14 - a**3 + 3*a - a. Let q be n(6). Let o be (-9)/(-15) + 16/q. Is -1 < o?
False
Let y be -1 + ((-2)/(-11) - 459/(-1287)). Let d = -5/39 - y. Is 0.5 < d?
False
Let n(j) = -j**3 + 12*j**2 + 14*j - 11. Let f be n(13). Suppose a = 2*z + 6*a + 12, -2*z - f*a = 0. Suppose 0*d = z*d + 16. Which is bigger: d or -18/5?
-18/5
Let w = 170/11 - 5358/341. Which is bigger: w or 1?
1
Suppose -2*h = -8*h - 750. Is h >= -126?
True
Let y(u) = -1 - 3 + u + 0 - 1. Let p be y(6). Are -1 and p unequal?
True
Let f = -1445/171 - -77/9. Are f and -30 equal?
False
Let h be 1/3 - 237/9. Let q(j) = -9 - 2*j**3 - 8*j + j**2 + 6*j**3 - j**3 - 2*j**3. Let n be q(-4). Do h and n have different values?
True
Let y = -866 - -886. Do y and 230/11 have different values?
True
Let k = 11.3 + -13.3. Which is bigger: k or 1/119?
1/119
Suppose -k + 3*a = 6, 0 = 3*k - 10*a + 11*a - 2. Which is smaller: -533 or k?
-533
Let l = 982.3 + -938. Let n = l + -12.3. Are 0 and n non-equal?
True
Let m be -4 - (2/12)/((-21)/420). Suppose -5*o + 4*o = -2. Suppose 0 = 5*d - o*r + 14, -2*d + 5*r - 3 = 11. Is d less than or equal to m?
True
Let d(y) = -30*y - 12 + 26*y**2 + 18 - 24*y**2 + 20. Let x be d(14). Does x = -7/12?
False
Suppose -2*i + 183 - 103 = 0. Let o be (i/(-12) - (-2 - 1))*-24. Is o less than 8?
False
Let c = 2104/423 - 44/9. Is c at least as big as 1?
False
Let y = 15 - -36. Suppose 3*c - 2*c = -k + y, -243 = -5*k + c. Does k = 49?
True
Let y(a) = -a**2 + 9*a + 5. Suppose 5*u - 47 + 17 = 0. Let c be y(u). Let z = -69 + 91. Is c < z?
False
Let i = -16.68 + -24.32. Which is bigger: 0.1 or i?
0.1
Let d(g) = g**3 + 2*g**2 + g + 2. Let c be d(-2). Suppose -4*u + c*w = 3*w + 10, -3*w = 6. Is 4/19 <= u?
False
Let m = -14 + 10. Let h be 165/(-12) - 3/12. Let x = -18 - h. Is m at least as big as x?
True
Let w = 1/556 + 1943/1668. Which is greater: w or 1?
w
Suppose -2*g - 317 = 5*h, h + 4*g + 66 + 1 = 0. Let v be (4/12)/(16/(-3012)). Let i = v - h. Which is smaller: i or 6?
i
Let r be (1791/762 - 0) + -3. Let a = 880985/3302 + r. Let o = -266 + a. Does o = 2?
False
Let p = -1.8 + 8.7. Let v = -3.9 + p. Is -6 at most v?
True
Suppose 10*n - 171 = -6211. Which is smaller: n or -605?
-605
Let r = 168 + -167.86. Which is greater: r or 0.04?
r
Let w = -12.96 - -13. Let a = 3.96 + w. Let z = -3.9 + a. Does z = 9?
False
Let i be 6 - ((-15)/(-20) - (-5)/20). Which is smaller: i or 2?
2
Let m = 1367 - 2318. Let b = -961.02 - m. Let k = 10 + b. Is 0.1 greater than k?
True
Let q be 46/(-56) - 147/196. Is q greater than or equal to -3?
True
Let v = 633 + -634. Which is bigger: v or -5/124?
-5/124
Suppose -8 = 2*h - 4*h. Suppose -5*a + 28 = h*y, -5*y = -5*a - 17 - 18. Suppose -y + 2 = g. Is -5 at least as big as g?
True
Let x = -22 - -15. Let b = 215 - 223. Which is greater: x or b?
x
Let u = -3 + 5. Suppose 5*v - u*s = -67, -v - 4*s + 3*s = 19. Let o(r) = -r**2 + 7*r - 14. Let g be o(7). Is g less than or equal to v?
False
Suppose 186*a + 2 = 184*a. Are -28/23 and a unequal?
True
Suppose 0 = -x + 5*x. Let o(u) = -5*u**3 + 2*u**2 + u. Let c be o(-1). Let y be (8 - 9)/(10/c). Is y at least as big as x?
False
Let l be ((-21)/6)/((-4)/24). Let r be 22 - l - (1 - 1). Is r at most 1?
True
Let v be (-50)/(-442) - -4*(-6)/(-204). Which is smaller: 0 or v?
0
Let o = 0.8 - 1. Suppose -12 = -6*s + 24. Let j be (8/s)/(48/108). Are o and j non-equal?
True
Suppose -36*a = -40*a + 8. Let n be a*1*2/4. Which is bigger: -1/30 or n?
n
Let f = 4 + -6. Suppose 0 = 3*k + 5*o - 111, -207 = -5*k - 3*o + 2*o. Let w = k - 43. Is f smaller than w?
True
Suppose 3*d + 9 = -a - 2*a, 5*d + 13 = -3*a. Which is smaller: -4/17 or a?
a
Let v be ((-25)/(-10))/(1/2). Let f be v - (-4)/(-3 + 2). Is f > -16?
True
Let y = -5.2 - -55.2. Let g = y + -49. Is -0.7 bigger than g?
False
Let t be -1 + 3 - 5 - 0. Let j be (-1)/((-192)/(-63) + t). Let z = j + 13. Is -9 >= z?
False
Suppose -5*d + 4*u - 1060 = 0, -48*u + 848 = -4*d - 53*u. Is -211 >= d?
True
Let s = -7.79 + 8. Let y = 2.91 - 2.3. Let w = y - s. Is 1 smaller than w?
False
Let l be 10/30 + 1/51. Suppose 4*u + 5*i - 12 = 8*u, 3*u = -2*i + 14. Suppose 0 = u*a - 2 - 0. Which is smaller: l or a?
l
Suppose -4*u - 5*s + 2*s = -11, -2*u = -2*s - 2. Let i be 11/(-36) + u/8. Suppose -14*f - 2*q = -24, 2*f = -5*q + 4 + 23. Which is greater: f or i?
f
Suppose 5*i + 3*z + 78 = 2*i, -2*i - 58 = -4*z. Which is greater: -230/9 or i?
-230/9
Let d = 4 - 7. Let n(m) = -2*m**3 - m**2 + 2*m - 3. Let f be n(0). Let k be (d - (-3)/f) + 3. Which is greater: k or 4?
4
Let h = 12056/31 + -389. Let z = -1 - -1. Which is smaller: h or z?
h
Suppose -2*s + 58*s = -36400. Which is greater: -652 or s?
s
Let d(o) = -2*o + 24. Let y be d(8). Which is greater: 75/11 or y?
y
Let l(f) = -10*f + 2. Let z be 15/(-12) + (-3)/4. Let i be l(z). Which is smaller: i or 21?
21
Let i = -36 + 38.34. Let d = i + -2.4. Let v = -32 - -161/5. Is v bigger than d?
True
Let m(c) = -2*c**3 - 4*c**2 - 4*c - 7. Let a be m(-3). Let h = a + 19. Let i be ((-14)/h)/(10/3). Which is smaller: 0 or i?
i
Suppose 1 - 3 = -2*n. Is 5/162 greater than n?
False
Let h(a) = -30*a**2 + 3*a - 3. Suppose -4*y = 2*z + 2, -2*y - 2*y - 9 = -5*z. Let r be h(z). Let o be (10*3)/(-1) + 1. Which is smaller: o or r?
r
Let g(q) = q + 51. Let p be g(-25). Let s(h) = 2*h**2 - 3*h + 6. Let w be s(4). Is w > p?
False
Let b be ((-4)/(-12) - 1) + 126/243. Does b = -1?
False
Let z be 157241/343 - 8/(-14). Are z and 458 nonequal?
True
Suppose 3*c + 16 = 4*c - 3*t, -2*t - 104 = -4*c. Let b be (-28)/3*-3 - 1. Is c != b?
True
Suppose 376 + 380 = 9*d. Which is bigger: d or 81?
d
Let a = 41 - 37. Let d be 39/65 + a/10. Which is smaller: d or -0.6?
-0.6
Let x = -312 - -310. Is 0.59 > x?
True
Let t be ((-9460)/30)/22 + 1/3. Suppose n = 6*n. Which is greater: n or t?
n
Let b(d) = -1 + d - 10 - 2*d. Let x be b(-6). Is 0 at most as big as x?
False
Suppose -40*k - 14*k = 0. Is k less than or equal to 1/2455?
True
Let w = 1 - 34. Let g = -70 - -48. Let n be ((-4)/6)/(g/w). Is -0.2 less than or equal to n?
False
Let n = -8.4 + -22.3. Let o = n + 31. Is o at least -2/5?
True
Let h = -0.09 + 7.09. Let p = h - 7. Suppose l = 2 - 5. Is l greater than p?
False
Let x = -0.9028 + -0.0972. Which is bigger: x or -755?
x
Let f = -469.41 + 469. Is 1/5 less than f?
False
Let n = 141.87 - 140. Let j = n + -1.97. Suppose 2 = 4*l + 74. Is l smaller than j?
True
Let b = 6 - 3. Let l = -15.3 - -45.4. Let y = -30 + l. Is y at most b?
True
Let q = -0.0184 + -37.9816. Let w = 2/411 - -812/2055. Is q at least as big as w?
False
Let y = -0.06 + -1.94. Let l be (2 - 2) + (-2)/16. Is l bigger than y?
True
Suppose -5*i + 4*i = -2*d + 202, 0 = -3*d - i + 308. Suppose 12*m + d - 378 = 0. Which is bigger: m or 20?
m
Let z(w) = -w - 5. Let i be z(-8). Suppose h + i = 5. Let c be (-24)/(-18)*(-3)/(-2). Is c less than h?
False
Let p(k) = 8*k - 43. Let u be p(6). Let t be (-2)/6 + (u/(-3))/(-5). Which is bigger: 15 or t?
15
Let q be ((-13)/52)/((-2)/(-124)). Is q greater than or equal to -16?
True
Suppose -2*f - j - 13 = 0, 0 = -3*j - 12 + 9. Let d = 6.1 + -6. Which is smaller: d or f?
f
Let z = -2175/497 + 92/21. Let j = z + -1285/1491. Which is greater: -4 or j?
j
Let c be -12 - ((-10928)/606 + 6). Are 1 and c non-equal?
True
Let u(h) = 3*h - 1. Let x = -3 + 5. Let m be u(x). Suppose 7 = -m*l - 3. Which is smaller: -3 or l?
-3
Suppose 5*m - 400 = 2*l, 8*m + l = 12*m - 323. Are 81 and m non-equal?
True
Suppose -i + 4*i = 0. Let d be (0 - i) + -20*1. Which is smaller: d or -21?
-21
Let a = 15652/47 - 333. Let n be (1 + -1 + -2)/2. Which is smaller: a or n?
n
Let v = -241.7 + -4.3. Is v greater than 0.1?
False
Let h = 0.163 + -0.188. Is h at least as big as 0.3?
False
Let z = -7 + 12. Let j be (-4)/18 + 596/9. Suppose -72 + j = -v. Which is greater: z or v?
v
Let z(c) = 3*c**3 + 4*c**2 - c + 8. Let j be z(-4). Let a = j - -110. Is -4 at least as big as a?
True
Let b = -1.72 - -1.3. Let p = b - -0.62. Do 5 and p have differe