- 12. Let m be c(-14). Is -112 < m?
True
Let b = -344923/49 + 7039. Which is greater: -1 or b?
b
Let a = -1761 - -1831. Is a at least -4?
True
Let m = 30 + -28. Let a be 6/(-39) + (-7)/(-286)*-16. Are m and a equal?
False
Let o = 12 - 4. Suppose -2*d = -2*w + 8 - 2, -w = -5*d - 7. Let s be 9 + (w + -4 - 0). Is s != o?
True
Let o = -11 - -12. Let x be ((o + 3)/12)/(2/6). Is 11/6 greater than x?
True
Let q = 3.83 - 3.61. Which is bigger: 27 or q?
27
Suppose -v - 1 = -49. Let m = -47 + v. Let g be ((-2)/8)/((-8)/(-6)). Which is greater: m or g?
m
Let i be (-2)/12 - (-8)/30. Suppose -h + 10 - 9 = 0. Let y be (0*4/16)/h. Is y > i?
False
Suppose -4*v + 1434 = 306. Is v smaller than 281?
False
Let n = -245 + 8578/35. Let t(b) = 5*b + 56. Let k be t(-11). Is k equal to n?
False
Let l be (-1 + -14)*8/(-10). Let o be ((-8)/42)/((-8)/l). Suppose 0*g + 2 = -5*g + 3*m, g - 4*m - 3 = 0. Is g equal to o?
False
Let t = -929.1 + 929. Is -3/658 less than or equal to t?
False
Suppose 0 = 2*h - 3*h - 3*r - 16, 5*r + 12 = 2*h. Let t be 4 + (h/2 + 3)*5. Is 26/3 at least as big as t?
False
Let h = -196 + 195. Which is smaller: h or 16/13?
h
Let g(y) = -y**3 + y**2 + y + 20. Let p be g(0). Suppose p = 2*n - 7*n. Let r be 7/(7/(-6)) + 2. Do r and n have the same value?
True
Let c = 1691 + -1720. Which is bigger: -1 or c?
-1
Suppose -640 = 24*h + 488. Is -46 at least h?
True
Let u be 3/12*((-3 - 1) + 880/209). Let p(t) = -t**3 - 7*t**2 - 7*t - 6. Let o be p(-6). Does o = u?
False
Suppose 3*r + n - 272 = 6*r, 0 = r + 5*n + 64. Let c be r - (26/(-10) - 8/20). Is -86 less than c?
False
Let p = 478 + -1432/3. Which is smaller: p or 0.8?
p
Let p = 1.517 + -1.531. Which is greater: p or 7?
7
Let i = 45.72 - 41. Let u = -1111 + 1110.72. Let v = u - i. Is v less than or equal to 0?
True
Let u = 3.42 - 3.12. Which is smaller: 15/2 or u?
u
Let y be 2/(-7) - (-988)/28. Let z be (2/(-3))/(y/(-21)). Which is smaller: z or -2?
-2
Let q = 2/929 + 921/3716. Let g be 3/((9/(-2))/3). Let n be 0*g/4*-2. Is q smaller than n?
False
Suppose 10*t + 245 = 5. Which is greater: -17 or t?
-17
Suppose 51*g = 45*g - 216. Which is smaller: -110/3 or g?
-110/3
Let m = -46 - -48. Suppose 3*i + 7 = 5*g + 22, -m*i + 12 = -4*g. Let k = -713/13460 + 2/673. Which is greater: k or i?
i
Suppose -11*o - 264 = -35*o. Does o = -15/4?
False
Let t = -1652.07 + 1652. Is 0.28 at most t?
False
Let n = 455 + -3187/7. Let h = 1 + -3. Let a be h/4*(0 + 2). Which is smaller: a or n?
a
Let a(m) = 6*m + 5. Suppose n = -9 + 4. Let k be a(n). Are k and -25 equal?
True
Let t(o) = -3*o**2 - 41*o - 41. Let l be t(-13). Which is smaller: l or 64?
l
Let t = -545/4 - -136. Let b = -8 - -8.08. Let p = b - -2.92. Which is smaller: t or p?
t
Let f = 5 - 8. Let v be f + ((-22)/(-7))/1. Are v and 0 equal?
False
Let q be ((-8)/24)/((-4)/(-28))*21. Is -335/7 bigger than q?
True
Let t(u) = 2*u**2 + 59*u + 448. Let o be t(-14). Let c = -6 + 19. Is c not equal to o?
True
Let l(p) = -3*p**2 - 11*p - 15. Let u be l(11). Let v = -24454/49 - u. Is 1 greater than v?
True
Let a = -1 - -2. Let y(x) = -3*x**3 + 6*x**2 - x + 9. Let f(l) = -l**3 + 3*l**2 - l + 4. Let j(w) = 5*f(w) - 2*y(w). Let d be j(-4). Which is smaller: a or d?
d
Suppose 8*c - 2*c = 30. Let n(o) = -2*o**2 + 13*o - 16. Let b be n(c). Let f be -2 - 0*2/2. Is f greater than b?
False
Let c = 394 + -394.2. Suppose 0*g + 18 = -3*g. Let y be (3*-1)/((-45)/g). Which is bigger: c or y?
c
Let o be -2 - 8*1*11/(-22). Suppose 0 = 11*g - 13*g + o. Which is smaller: -25 or g?
-25
Let g be 4/5 - 5652/1440. Let j = 374517 + -62919373/168. Let m = g - j. Is m less than 1?
True
Suppose 3*f - 12 = -3. Suppose h = -f*h + 12. Let i be h/(-18) - (-93)/18. Which is greater: i or 3?
i
Let n = -39 + 35. Let s be (-1)/(-1)*(n + 3). Which is bigger: -7 or s?
s
Let k = 0.0499 - 0.6499. Is k not equal to 17/8?
True
Suppose y + 1547 = -3*k + 11, 2*k + 1024 = 5*y. Let o = 1511/3 + k. Which is smaller: -8 or o?
o
Let v be 1*(1 - 1) + 11. Suppose 0 = -v*w - 2*w - 78. Which is smaller: w or 0.5?
w
Let s be 5 + (-4 - -2) + 43. Is 43 > s?
False
Let p = 0.048 + -0.048. Which is smaller: p or 152?
p
Let s = -8 + 16. Let f be (s/20)/((-3)/75). Let v be (-1 - -4)*(-20)/6. Is f at most v?
True
Suppose z = -r - 20, 0 = 7*r - 3*r - 5*z + 80. Which is greater: r or -21?
r
Let f = -11 + 22. Suppose -c - 2 = -q - f, 0 = c + 5. Is q less than or equal to -12?
True
Let t be 6/27 + 14/18. Let k be (0 - ((1 - 2) + -2)) + -63. Let a be -4 - (-5)/(k/(-44)). Is t at most a?
False
Let d(b) be the first derivative of b**3/3 - 17*b**2/2 - 26*b - 4. Let s be d(19). Let f be (-13)/14 + 18/s. Are -2/13 and f unequal?
True
Suppose 0 = -6*z - 124 + 34. Let c be (5/(-20) - 0)/(z/(-24)). Which is bigger: 127 or c?
127
Suppose -19*b + 78 = -25*b. Is -92/7 < b?
True
Let z = -0.41 + 0.417. Let m = z + 0.193. Are m and -1 unequal?
True
Let w = -8 + 18. Let g be 0/((-1 + 0)*4) + 9. Is g at least as big as w?
False
Let t = 227 - 267. Is -40 smaller than t?
False
Let l be ((-2)/(-3))/(10/6). Let h = 2 + 0. Suppose 4*s + 4 = 5*s, -h*s = 2*d - 10. Which is smaller: l or d?
l
Let j = 31 + -16. Let y(x) = -x + 4. Let m be y(-11). Is j equal to m?
True
Let z(d) = -3*d**2 - 4*d + 1. Let t be z(2). Let q = t - -21. Suppose q*f = 6*f. Is -3/5 bigger than f?
False
Let t(u) = -u - 6. Let h be t(-5). Let c = 2997/38 - 473/6. Is h greater than c?
False
Let j = 57 + -82. Let w = j + 26. Suppose -3*n = -h - w - 0, 2*h = 3*n - 2. Is -1/10 less than or equal to h?
False
Let c = -140.26 + 140. Which is smaller: c or 4?
c
Let l = 9.357 + -0.307. Let n = -0.05 + l. Let p = n + -9. Which is bigger: p or -0.1?
p
Let y be (6/(-4))/(-3 - (-175)/60). Suppose 4*t + y = -2*t. Is -3 greater than or equal to t?
True
Suppose 3*u + 4*u - 14 = 0. Suppose 3*o + 50 = -u*o. Which is greater: o or -37/4?
-37/4
Let l be (-579)/(-252) - (-2 + 4). Let y = -7/12 + l. Let d = -538 + 539. Is d at most as big as y?
False
Let f = -0.1 + 0.3. Let l = 1.271 + -0.571. Is l equal to f?
False
Let y be 1/(-7) - -4*(-10897)/(-1904). Is 23 less than or equal to y?
False
Let u = -103 + 106. Is u greater than or equal to -78?
True
Let o = 12/29 + -607/1537. Which is greater: o or 0?
o
Let b = -124 + 121. Which is bigger: b or -57?
b
Let n be (-2 - (2 - 6)) + (-36)/10. Let j = n - -467/295. Is 0 less than j?
False
Let c = 67.3 - 67. Let q = c - -8.7. Are 3 and q equal?
False
Suppose -4*d + 68 = -4*i, -5*i - 48 = -3*d - i. Suppose 11*j - 7*j = d. Which is smaller: j or -3?
-3
Let f = -13 + 24. Let r be (-1 + 0 + f)/(-1). Let x = 645 - 654. Is x greater than r?
True
Let h = 51 - 33. Let k = -17 + h. Which is smaller: 0.4 or k?
0.4
Let n = -1.58 + 1.88. Which is bigger: 18 or n?
18
Let u(c) be the third derivative of -49*c**5/60 + 5*c**4/24 - c**3/6 - 17*c**2. Let x be u(1). Do x and -44 have different values?
True
Let z = 73 - 49. Let l = 30 - z. Is l < -1/4?
False
Let h be 1 - ((-54)/(-90) - 4/(-10)). Which is smaller: -7 or h?
-7
Let b be (-1424)/(-88) + 8/(-44). Which is smaller: b or -6?
-6
Let g(m) = 5*m**2 + 1. Let z be g(-1). Let v = z + -5. Let f = -44/5 + 313/35. Which is smaller: v or f?
f
Let k = 31 - 30. Let v(h) = -3*h**3 + h**2 + 2*h - 2. Let t be v(k). Let c be (-52)/8*(1 + t). Do 7 and c have the same value?
False
Suppose h + 1 - 5 = 0. Suppose -3*w - h + 13 = 0. Suppose w + 7 = 2*s. Are 4 and s nonequal?
True
Let d = -1024 + 993. Which is bigger: 11 or d?
11
Let v(w) = -2*w + 4. Let k be v(2). Suppose 4*m - 5*y + 9 = k, 3*y = 2*m + 2*m + 7. Is m less than -1/7?
True
Suppose -2*q - 28 = -612. Let i = 2633/9 - q. Which is greater: 0.1 or i?
i
Let x = 358 + -366. Do -16 and x have the same value?
False
Suppose 4*r - 5*p - 118 = 6*r, 0 = -p + 4. Suppose -4*h - 107 - 173 = 0. Is r >= h?
True
Let i = -0.137 + 1.137. Are 19 and i non-equal?
True
Let t be ((-6)/4)/((-9)/4). Let l be (2/3)/(9/(-27)). Let v be 7/4 + l/(-8). Which is greater: v or t?
v
Suppose -2*o + 88 = -62. Which is greater: 2 or o?
o
Suppose -7 = -k + f, k + 4*f = -k + 14. Which is greater: k or 168/29?
k
Let u(r) = -r - 20. Let o be u(4). Let l be 4*(-28)/o*(-2)/4. Is -2 at most l?
False
Let r = 0.0207 - -0.0643. Is r < 4?
True
Suppose 0 = -5*a + 12 + 18. Suppose 2*b + 0*b + a = 0. Let f be 34/(-30) - (-180)/1350. Is f