 or equal to -52?
True
Let d be (2 - -2)/(6651/((-27)/3)). Which is bigger: -1 or d?
d
Let d(k) = -k**2 + 14*k - 37. Let c be d(9). Let o be (c/20)/(2/60). Is 12 at least o?
True
Let k = 0.1 + -0.2. Let c be 6 + -2 - (-6 + 136/14). Is c < k?
False
Let r = -76 + 78. Let d be (4/(-10) + r)*165/(-6). Is d not equal to -43?
True
Let c be (520/144)/13*(-9)/(-6). Is -0.5 > c?
False
Let h be (78/(-13))/(-1 + -2). Suppose 3*o = c + 8 - 84, -o - h*c = 30. Is -26 > o?
False
Suppose 3 = -a + 1. Let g be (3/(-78))/(a/(-4)). Which is smaller: g or 0?
g
Let z = 1 - 0. Let w be (4 + -2)/z - 4. Suppose 0 = 585*h - 586*h - 2. Are h and w non-equal?
False
Let c be (-4 - (-16)/52) + 4. Let g = 141 - 142. Are c and g unequal?
True
Let m = 1032 - 779. Is m less than 252?
False
Let s(m) = 2*m - 3. Let z be s(6). Let t be z/(-99) - (-86)/462. Is -9 greater than or equal to t?
False
Suppose -2*j = 4*o + j - 15, 3*o + 4*j = 13. Suppose -h = -4*p - p + 13, 4*p = o*h + 6. Let b(t) = t**2 + 1. Let m be b(-1). Is m smaller than h?
False
Let o = -2.9 + -1.2. Let i = -3.3 - o. Which is smaller: 0.2 or i?
0.2
Suppose -9*d = -16*d - 553. Let h = d - -64. Which is bigger: -13 or h?
-13
Let u be 10*(64/(-20))/(-4). Suppose j + 3 - u = 0. Let c = -20 - -24. Which is bigger: c or j?
j
Suppose 5*x + 2*t = 4, 5*x - t - 18 + 5 = 0. Which is smaller: 5/9 or x?
5/9
Suppose 0 = -4*m - 4*z - 160, 0 = 6*m - 3*m - z + 116. Let h = 42 + m. Are h and 11/3 equal?
False
Let f = 978 + -1080.4. Let q = f - -113. Let z = 10 - q. Which is smaller: z or 0?
z
Let x = -3 - -5. Let c(q) = 2*q**2 - 5*q + 4. Let n be c(x). Is n at least as big as 0?
True
Let n = -3 - 1. Let k be (-106)/14 + (-16)/(-28). Which is bigger: k or n?
n
Let k = -1092 + 1095. Is k smaller than 19/12?
False
Suppose 0*g = -3*g + 9. Suppose -3*r + g + 6 = 0. Suppose i + 2*i = -r. Is i > -2?
True
Let m = 75 - 73. Is 0.4 < m?
True
Suppose 0 = -2*r - v + 33, -5*v = 2*r + 2*r - 69. Let b be 2/r*-1*18. Which is bigger: -0.2 or b?
-0.2
Let v = 14 + -13.3. Let n = 1 - v. Let w = n - 1.3. Which is greater: w or -12?
w
Let h be (-113)/20 - 14/(-35). Suppose 2*s + 20 = -3*s. Which is smaller: h or s?
h
Suppose -q - 44 = -3*r, -13*q - 5*r - 777 = -3*r. Which is bigger: -412/7 or q?
-412/7
Suppose -3*i + 9*p = 4*p + 10, 0 = 3*i - 3*p. Suppose 2*x - i*x = 36. Let s = x + 13. Which is smaller: -0.5 or s?
-0.5
Let b(s) = s**2 - 14*s + 20. Let v be b(12). Let q = 1771/4 + -448. Are v and q nonequal?
True
Suppose -10*l - 87 = -77. Is l equal to 1/305?
False
Let s = -6 + 2. Let f(y) = -2*y - 1. Let c be f(s). Suppose -z + 2 = 2*t, 2 = 2*z - t - c. Is z greater than 4?
False
Let b = -0.112 - 14.888. Which is smaller: b or 5?
b
Let g be -1 + 3 - -1*20. Let c = 24 - g. Suppose -2*t - 3*k + 5 = 0, -2*k + c + 0 = 0. Is 2/19 < t?
True
Let l(u) = -u**3 + 22*u**2 - 120*u - 1. Let m be l(10). Which is greater: 1/430 or m?
1/430
Let x = 38 + -14. Let u = x + -11. Is u at least -0.2?
True
Let k be 143/22 + (-2)/4. Let m be (6*24/15)/(k/45). Is m less than 71?
False
Let p = 11 + -11.8. Let x = p - 0.2. Let j be -3*7/7 - -4. Is j greater than or equal to x?
True
Let y = -299 + 127. Let b = y - -857/5. Is -2 less than or equal to b?
True
Let c(i) = i**3 - 2*i - 8. Let r be c(0). Let o be (3/(-64))/(2/r). Which is smaller: o or 1?
o
Let f be (50 - 46) + 3*-5. Let i(b) = b**3 + 5*b**2 - 5*b + 6. Let l be i(-6). Suppose -2*n = -3*y + 32, 3*y - 2 = -n - l*n. Is n <= f?
False
Let g = -10/21 - -1/7. Let l = -968/5 - -2404/15. Let a = -33 - l. Which is greater: g or a?
a
Suppose 10*n - 45 - 15 = 0. Suppose -n*i + i = -5*s, -2*s + 2 = 0. Which is bigger: 4/27 or i?
i
Let o = 13 - 10. Let i be 0 - ((-6)/(-7))/o. Let p be (1 + 2)/(18/4). Which is bigger: i or p?
p
Let c be 0 + 2 + (-58)/20. Let a = c + 2/5. Let j = -8.45 + 8.39. Which is smaller: j or a?
a
Let l be 444/(-54) + 2/9. Suppose -i + 11 = 4*n, i + n = 5*i + 41. Is i at most as big as l?
True
Suppose -19*t = 84 + 87. Is -19/2 smaller than t?
True
Let f(w) = w**2 + 2*w - 3. Let s be f(3). Let d be (-6)/(-15) + s/(-5). Let g be (1 - 2/3) + -2. Is g smaller than d?
False
Let a be (-2)/4 - 9/(-6). Let v be 10318/(-49) + 1/7. Let i = v + 211. Which is smaller: i or a?
i
Let b = 20.7 - 23. Let d = -1.3 - b. Let s = 35/3 - 11. Which is smaller: d or s?
s
Let u = 2211 - 332. Which is greater: -1/3 or u?
u
Let c = -2/9 + -1/9. Let q(r) = -r + 4. Let b(t) = -3*t - 4. Let j be b(-3). Let k be q(j). Which is smaller: c or k?
k
Let v = -1722 - -2771. Let a = -11549/11 + v. Which is smaller: -2 or a?
-2
Let w be (2 - 3)/((-2)/4). Suppose 5*r - 1 = -v + 5*v, -w*r + 6 = 4*v. Do r and -3/7 have different values?
True
Let a = -22.1 + 22. Let h = 2.5 - 2.7. Let g = a - h. Which is bigger: -2 or g?
g
Let q(i) be the first derivative of i**2/2 + i - 7. Let u be 0/((4/1)/(-2)). Let h be q(u). Which is smaller: h or 0?
0
Let y = -32 + 31.6. Let g = -249.9 - -263. Let n = g + -13. Is y less than n?
True
Let h(j) be the first derivative of 3*j**2 + 7*j + 18. Let a be h(-4). Do -17 and a have the same value?
True
Let a be ((2/5)/(-2))/1. Let h(y) = 4*y**3 - 16*y**2 - 17*y + 74. Let q be h(4). Is q equal to a?
False
Let h = 1023.002 - 1023. Which is smaller: h or 0?
0
Suppose 3*n - 931 + 931 = 0. Is n equal to -12/11?
False
Suppose -3*z + z + 5*x - 7 = 0, 0 = -z + 4*x - 5. Suppose -3*t = -3*v - 24, 6 + 10 = 5*t + v. Let w be (0/(-4))/(-3) - t. Is w less than z?
True
Let y be (-16)/72*1641/(-4). Let p = -91 + y. Is 1 less than p?
False
Let d be (-10)/150*-10 - (-184)/(-282). Is -1 less than d?
True
Let r be -4 + (-4)/(20/(-95)). Let v be ((-4)/45)/((-6)/r). Which is bigger: -0.2 or v?
v
Suppose -4*k = 2*w - 12, -4*w - 2*k = -3*k - 33. Let a be (-6)/w*(-13 - -1). Let d be (-2)/(-5) + 190/25. Which is smaller: d or a?
d
Let m = -3.99 - -0.29. Let f = -5.7 - m. Let s = -376/7 + 54. Do s and f have the same value?
False
Let x = 2 - 1. Let d be 3 - (-879)/(1*(4 - 272)). Let y = d + 2/67. Is y less than x?
True
Suppose 0 = 4*h - 3*h + 14. Let w be ((-36)/h)/(8/(-56)). Let i be w/15*2 - -2. Which is greater: i or -1/2?
i
Let p = 206431/164 + -2523/2. Let b = -11/4 - p. Which is greater: 1 or b?
1
Let w = 355 + -376. Which is bigger: w or -23?
w
Let d = -6 - -5.97. Let g = d + -0.03. Suppose j + 9 = 5*l, 4*l + 4*j + 1 + 11 = 0. Which is greater: g or l?
l
Let z = -0.8 - -0.75. Let r = -3 - -5.1. Let j = r + -2. Is z at least as big as j?
False
Suppose -5 = -0*z + 5*z. Let b be 0/1 - (-1175)/125. Let r = b + -371/40. Is r at most as big as z?
False
Let g(w) = 16*w + 17. Let a be g(8). Let n = a - -275. Let f be 6/10 + (-372)/n. Is f bigger than 4/5?
False
Let d(v) = -2*v - 34. Let y be d(-15). Let r be y + (-9)/((-252)/(-152)). Which is bigger: -8 or r?
-8
Suppose 15*u - 530 = 2*b + 13*u, 5*b = -5*u - 1375. Are -270 and b unequal?
False
Let v(s) = -6*s**3 + 5*s**2 + 6*s - 4. Let u be v(2). Is -28 less than u?
True
Let p = 441/4 - 295/4. Let u be (110187/(-342))/11 - 7. Let w = p + u. Is w not equal to -1?
True
Let d be (-76)/(-30) + 5*10/(-25). Is d <= 0?
False
Let b be 2/(77817/78051 + -1). Let z = -667 - b. Let y = z - 488/195. Which is smaller: y or -2?
y
Let g = 11 - 14. Suppose 0 = 2*j - 4 + 18. Which is smaller: j or g?
j
Let q(i) = 50*i + 100. Let s be q(-2). Are s and 117/2 equal?
False
Let b = 12 - 13. Let z = -73849/8 - -9260. Let w = 29 - z. Which is smaller: b or w?
b
Let c = -56/253 + 11549/5313. Which is smaller: 1 or c?
1
Let c(j) = 156*j**3 - j**2 + 11*j - 16. Let i be c(2). Which is bigger: 1251 or i?
1251
Let q be 10/165*3 + (-10488)/88. Is q smaller than -118?
True
Let b(x) = -2*x - 4. Let d be b(-7). Let g = d + -8. Let j be 8/(-3) - g/6. Is -2 <= j?
False
Let s = 0 - 0. Suppose -4*a + 6 - 38 = s. Let v = a + 14. Which is smaller: v or -2/5?
-2/5
Let v(p) = -4*p - 1 + 3*p + 8. Let n be v(3). Let f = 1 - n. Is f at least as big as -3?
True
Let n(a) = -a**2 + 10*a + 62. Let k be n(15). Suppose 5*m + 0*m - 100 = 0. Let h = m + -32. Which is smaller: h or k?
k
Let t be (-1)/4 - 6/8. Suppose -5 + 1 = 4*n, 0 = 4*c + 2*n - 6. Let f be (c/5)/(t/25). Which is smaller: -9 or f?
f
Let q(n) = n**3 - 4*n**2 + 29*n - 51. Let s be q(2). Which is greater: -11.23 or s?
s
Let o(c) = -c**2 - 9*c + 9. Let f be o(-10). Suppose q + 14 = 5*q + 2