
False
Let m(g) = g**2 - 47*g + 205. Let c be m(44). Is c less than 73?
False
Let b = -5.3 + 5. Let z be -12 + 9 + 6 - 31. Which is smaller: b or z?
z
Let c = 24 + -241/10. Suppose 2 - 16 = -d. Suppose -3*q - 4 - 1 = 4*z, 5*z = 3*q + d. Which is greater: c or z?
z
Let b = -2.1 - -2. Let i = 40 - 39.6. Let t = 0.48 - i. Is t less than b?
False
Let r = -7.72 - -6.92. Is r at least 1/3?
False
Let d(p) = 35*p**2 - 35*p - 244. Let m be d(-7). Is m != -1/2?
True
Let b(a) = 11*a - 133. Let u be b(12). Which is smaller: 2/107 or u?
u
Let j be (-29 + 32)*3/6*-2. Which is smaller: j or -59?
-59
Let z be -1 + (423/(-330) - 0). Let f = z + -7/22. Suppose 4*d = -5*y + 9, 3*d = 5*y - 4*y - 17. Which is smaller: d or f?
d
Let p = -365/2 + 193. Which is greater: p or 10?
p
Suppose 2*g - g = 2*b + 32, 0 = -3*b + 5*g - 48. Let z be ((-9)/4)/(-3)*b. Let t = z + 12. Which is smaller: t or -2/5?
-2/5
Let d = 94/3 + -31. Let o be -26 - -27 - (-12)/(-9). Is o greater than or equal to d?
False
Let z = -151 + 178. Which is bigger: z or 7?
z
Suppose f = -2*f - 18. Let v(k) = -5*k + 9. Let j(q) = 4*q - 8. Let n(m) = f*j(m) - 5*v(m). Let y be n(0). Are 3 and y unequal?
False
Let n = -178 + 110. Is -200/3 smaller than n?
False
Let d = 572 + -572. Is d > -4/179?
True
Let d = -394 - -390. Which is smaller: d or -6?
-6
Let o be 1 + 0 - (4 - 13). Let u = o - 79/8. Which is bigger: -1 or u?
u
Let g be (2 + 61/(-31))/((-2)/(-130)). Which is bigger: g or 2?
g
Let t(i) = -i**3 + 2*i**2 + i + 3. Let l be t(-5). Suppose 4*n - 4*q + 996 = 0, -419 + l = n - 4*q. Let r = -2003/8 - n. Which is smaller: r or -1?
-1
Let d = 1/98 + -101/294. Let b = -83 - -82. Is d less than b?
False
Let f be (57/(-76))/(4239/24). Is -1 bigger than f?
False
Let j be 0 + 128 - (-52)/(-52). Are 129 and j non-equal?
True
Suppose 4*w + 2*p + 0 = -4, 4*p = -w + 6. Let i be (-3)/(-6)*-1*w. Which is smaller: i or 2/7?
2/7
Let c = -453.376 - -454. Which is greater: -1/2 or c?
c
Let h be 7/((-246)/(-42) + -6). Are -49 and h non-equal?
False
Let f = -1816 - -1854. Is 63 at least f?
True
Let m be (27*1)/(7 - 6). Suppose -3*h + 2*p - 3*p + 9 = 0, 5*p + m = 3*h. Let t be ((-24)/30)/(h/(-30)). Which is bigger: 3/4 or t?
t
Suppose 5*w = 7*w. Suppose w*m = -m + 8. Let a = 38 + -30. Is m less than a?
False
Let o = -6.92 + 4.92. Which is greater: o or -151?
o
Let t be (6/(-27))/(6/9). Is -43 at most as big as t?
True
Suppose -2*l - 22 = -2*k, 11*k - 33 = 8*k - l. Let f = -2 + 12. Is k equal to f?
False
Let f(w) = -w**2 + 20*w + 1. Let d be f(20). Is -3/278 less than d?
True
Let j(l) = -l - 9. Let d(h) = 2*h - 2. Let c be d(-3). Let i be j(c). Let x be (-1 - i)*-1 - -1. Is x >= 2?
False
Let s = -34.7 - -8.7. Let v = s - -32. Is v less than 1?
False
Let w be (-3 + 3)*2/(-4). Let n be -1 + (-46)/42 + 2. Which is smaller: w or n?
n
Let n = 0.66 - 10.46. Let x = -0.22 - 8.78. Let a = x - n. Which is greater: a or 1?
1
Let d be 0 + (-2 - 1) - -23. Let k be -1 + d/(-4) + 4. Is -8/7 equal to k?
False
Let v be (-2)/8 - (-102)/88. Let t = -37 + 39. Which is smaller: t or v?
v
Let v = 0.17 - 0.21. Let p = 0.14 + v. Let n = 21/10 - 127/70. Is n != p?
True
Let d be 3/3*(-2 + 1) - -1. Suppose d = -4*k - 17 + 13. Which is smaller: -14/13 or k?
-14/13
Let t = 6 + -5. Let l be (-16 - -20)*(-1 - -2). Suppose l = 3*u + t. Is -3/17 not equal to u?
True
Let o(w) = -4*w - 4. Let t be o(-2). Suppose q + t*q - 3*j - 20 = 0, q + 3*j + 14 = 0. Which is smaller: 4/15 or q?
4/15
Let k = 45/218 - 74243/358610. Is 0 less than k?
False
Let p(b) = 1. Let n(s) = -s**2 - 9*s + 8. Let q(i) = -n(i) + 5*p(i). Let h be q(-8). Let a be 2 - 20/50*35. Which is greater: h or a?
h
Let q(z) = -z**2 - 8*z + 10. Let s be q(-9). Which is smaller: -11/84 or s?
-11/84
Let i = -123 - -123.37. Let c = -0.43 + i. Are -6 and c non-equal?
True
Let l be (40794/24)/(-13) - 3/(-4). Let p be 2/l*40/64. Are p and -1 unequal?
True
Let o = -16 + 16. Suppose 0 = -6*q - o + 48. Which is greater: -0.2 or q?
q
Let x = 0.01 - -0.09. Is -5.8 smaller than x?
True
Let n = 42 + -30.4. Let z = 13 - n. Let w = z - 1.7. Is 1 equal to w?
False
Let d be (-54 - (7 - 0)) + 1*6. Is -57 not equal to d?
True
Let n be 1272/1792 + (3 - (-48)/(-14)). Which is greater: 1 or n?
1
Let o(v) = -v**2 - 8*v + 9. Let p(a) = -2*a**2 - 15*a + 17. Let f(u) = -5*o(u) + 2*p(u). Let z be f(-11). Which is smaller: -9 or z?
-9
Let i = -0.07 - -0.17. Let g = 0.2 - i. Let r = 111 - 97. Is r at least as big as g?
True
Let s be 2/3 + (-112)/132. Let x = 0.098 - 73.098. Let d = 71 + x. Which is smaller: s or d?
d
Let s = -27 - -28. Is 6/5 smaller than s?
False
Let r(k) = -k**2 - 6 - 4*k - 2*k + 0*k**2. Let w be r(-5). Let b = -124/91 + 14/13. Which is smaller: w or b?
w
Suppose 0 = 2*f - 4*s + 10 + 2, 5*s = 3*f + 13. Let l(p) = 7*p**3 + 3 - 5*p**2 - f*p**3 - 4 - 2*p - 4*p**3. Let m be l(-4). Is -9 greater than or equal to m?
True
Let k = -261 + 260. Which is smaller: 1/1007 or k?
k
Let v = -25/83 + 241/249. Which is smaller: -645/8 or v?
-645/8
Let m(q) be the third derivative of q**3 + 1/24*q**4 + 2*q**2 + 0 + 0*q. Let s be m(-7). Which is greater: s or -6/11?
-6/11
Suppose -110 = 5*s - n, -5*n - 15 = -8*n. Is -22 at least s?
False
Let x(l) = -25*l - 142. Let c be x(-6). Which is smaller: -52 or c?
-52
Let f be 3 - 1 - (-9)/84*4. Is f bigger than 2?
True
Suppose -4*x = 23 - 111. Let w = x + -17. Suppose 10 + w = 3*l. Is 0 equal to l?
False
Let w = 17 + -22. Suppose 5*m + 9 = -16. Is m not equal to w?
False
Let r be (14/(-3))/(2/15). Let f = 24 + r. Suppose -o + 0*o = 11. Is o >= f?
True
Let w be 0 - (40 + 4 - 2). Let v be 4/7*w/45. Which is smaller: 0 or v?
v
Let c = 1.8 - 1.2. Let b = c + -9.6. Let s = 8.9 + b. Is 0.1 at least as big as s?
True
Suppose -5*z + 2*r - 188 = 0, -7*z + 2*r = -10*z - 116. Which is greater: -352/9 or z?
z
Let z be 3 - (-4 - -16) - -3. Let u be 4/z + 6/9. Let h = -212/505 - -2/101. Which is smaller: u or h?
h
Suppose w + 139 = y, -5*w + 3 - 28 = 0. Is 799/6 at most y?
True
Suppose 5*x - 250 = 5*z, -z - 42 = -2*x + 62. Let m = x + -70. Suppose 0 = -3*u - 5*b + 28 - 76, 0 = -u + 4*b - 16. Is m at most as big as u?
True
Let x be (109 - -2)/3 + -3. Suppose -5*r = -15*r + 330. Which is smaller: r or x?
r
Let y = 344 + -145. Is 199 not equal to y?
False
Let k = -23 - -22.82. Let q = k - -0.28. Let l = q - 0.11. Which is greater: 2 or l?
2
Suppose 0 = 5*n - 3*c - 19, -5*n + n - 4*c + 28 = 0. Suppose 4*q + 5*u = -0*u + 129, -n*u = -25. Suppose -14*i + 436 = 58. Which is smaller: i or q?
q
Let w = 18 - 17.955. Let p = 8/11 - 18/55. Which is smaller: w or p?
w
Suppose -3*u - 3*y + 21 = -180, -4*u + 4*y + 268 = 0. Let j = u - 93. Is j at least as big as -25?
False
Let c = -193562158 - -640884300394/3311. Let u = c + 2/473. Let q = 6 + -7. Is u bigger than q?
False
Let t = 1778955/211 + -8431. Which is greater: -1 or t?
t
Let b = 0.5 + -0.5. Let l = 5 - b. Suppose -4*m - g - 14 = 3, -28 = m + 5*g. Is l != m?
True
Let d = 2 - 2. Suppose -4*w + 5*w = 46. Let f = -232/5 + w. Is f < d?
True
Let k(x) = 3*x**2 + 29*x + 114. Let w be k(-5). Is w > 45?
False
Suppose 5*o - 4*m - 22 = -2, -3*o + 12 = 3*m. Suppose -3*q = -f - 30, 4*q + 130 = -o*f - 54. Is -43 greater than or equal to f?
False
Let t = 23 + -16. Let a = t + -3. Let r be (-2000)/750*6/(-4). Are a and r equal?
True
Let y(k) = 7*k**3 + 5*k**2 + 6*k - 1. Let l be y(-2). Is l equal to -48?
False
Let r be (-88)/(-8) - (-1 + -2). Let o = r + -13. Let t(f) = -f**2 + 1. Let k be t(o). Is -9/7 at most as big as k?
True
Let x(g) be the third derivative of -g**5/60 - g**4/12 - g**2. Let a be x(-4). Let b(w) = -w**2 - 7*w + 17. Let l be b(2). Is l greater than or equal to a?
True
Let x = 27675/7 + -1606263/406. Let k = x + -1/116. Is k != -3?
True
Suppose 5*q - 1 = 2*r, 6*q + 43 = -5*r + 5*q. Let y(v) = -4*v + 6. Let k be y(4). Which is greater: k or r?
r
Let u be 408/36 + (-4)/((-8)/10). Which is bigger: 15 or u?
u
Suppose 245 = 3*h + 5*x, 28 = h + 3*x - 47. Let q be 120/h*((-1)/4)/1. Which is bigger: q or 0?
0
Let y be (-1 + (-2)/(-4))*-2. Let g = -1183/8738 + -3/257. Let l = g + 167/442. Which is bigger: y or l?
y
Let v = 731 - 744. Are 1 and v equal?
False
Let f(q) = -3*q**2 - 12*q + 17. Let g be f(-8). Let s = 83 + g. Which is bigger: s or 7?
7
Let m be 33/4