
Let k = -38 + 33. Let j be 4/86 + k + 5. Which is smaller: j or 0?
0
Let j = -195 - -323. Let a = 127.8 - j. Is a at most as big as -2/5?
False
Let h = 41 + -40. Is h at least as big as -1/143?
True
Let f = -31 + 33. Let k = 99/20 - 15/4. Which is greater: k or f?
f
Let d = -1.7 + 7.2. Let a = 6.5 - d. Let g = -0.01 - -0.41. Which is greater: a or g?
a
Let a be 1 + (-11)/(-9) + 0. Let j be ((-2652)/170 - -16) + (-1 - (-24)/15). Is a at least j?
True
Let r = -53 - -60. Let y(v) = 9*v**2 + 2*v - 3*v**2 + 2 - 4*v**2. Let h be y(-1). Which is smaller: r or h?
h
Let u = 19.2 - 17. Let m = 13.2 - u. Let g = 11.1 - m. Which is smaller: g or 2/9?
g
Let r(q) = -9*q + 200. Let v be r(22). Is 17/20 <= v?
True
Let q(a) = -a**2 - 4. Let d be q(-3). Let i = -7 - d. Suppose -i = -g - 3*p, 5*g + 20 = -4*p - p. Which is smaller: -7 or g?
g
Let t = 9 - 171. Which is bigger: -1 or t?
-1
Let w be ((-8)/(-14))/(138/4025). Is w less than or equal to -0.02?
False
Let y(g) = -4*g - 1. Let s be y(-4). Is 95/6 bigger than s?
True
Suppose 62*q - 63*q + 21 = 2*m, -5*m + 52 = 2*q. Is m not equal to 26?
True
Suppose 0 = -a + 1 + 7. Let j be (-7)/2*4/(-7). Suppose -5*w + 35 = -5*z + j*z, -5*z = -5*w + 35. Which is greater: w or a?
a
Let x = -67 + 129. Let c = x - 61.2. Do c and 1/2 have different values?
True
Let u = 0.63 + -0.17. Let h = u + -1.46. Are -4/13 and h unequal?
True
Let h = 276 - 246. Which is bigger: h or 29?
h
Suppose 0 = -10*t + 1 - 91. Suppose 11 = -m + 2*y - 4*y, -44 = 4*m + 4*y. Does t = m?
False
Let t be (-1 - 3) + (-19842)/(-5376). Let x = t - -3/128. Is -1 less than x?
True
Let z be (1426/(-6))/(6 + (-57)/9). Is z less than 713?
False
Suppose -3*m = -4*m. Let x = -3/344 - -3811/3096. Which is bigger: m or x?
x
Let o = -70 - -175. Let s be ((-6)/o*-5)/(3/(-7)). Let g be (-1)/2*4/1. Which is greater: s or g?
s
Suppose 3*a + 17 = -0*l + 4*l, 0 = -5*a + 5*l - 20. Let x = a + -1. Suppose 0 = 65*f - 95*f - 90. Is f at least as big as x?
False
Let n = 2341/20 - 584/5. Is -96 less than n?
True
Let a = 5 - 3. Let s = 5 + -10. Let o = s + a. Which is bigger: o or 0?
0
Let j(b) = -b**3 - 14*b**2 - 10*b. Let l be j(-13). Let y be (-1)/9 + l/(-108). Which is greater: y or 2?
2
Suppose 76 = n + 272. Which is bigger: n or 1/2?
1/2
Let w be 1*-104 - (-4 + 2). Let v be (-15)/w*3/(-5). Let x be (1 + (-1)/1)/(-1). Which is smaller: v or x?
v
Let h be 7 - (5 + 0/(-10)). Is 3 at most as big as h?
False
Let p = -188 - -201. Let g be 4/10*(-3 + 8). Which is smaller: p or g?
g
Suppose 41 = -5*d - 114. Let w = -39 - d. Is 0.1 equal to w?
False
Let u be -5 + 10 + (0 - 1). Suppose -4*m = -4*k + 20, m + 9 = k + u*k. Which is greater: -2/39 or k?
k
Suppose -29 = -4*d - 17. Suppose 2*y + o = d, 3*y + 4*o = -y + 8. Which is bigger: -1/21 or y?
y
Let d be 2/8*190*4. Is d equal to 186?
False
Let d be (8/1)/((7 - -560)/9). Which is smaller: d or 1?
d
Let x(t) = 16*t**3 - 4*t. Let k be x(-2). Let s = 1078/9 + k. Let y be 1 - (0 - 0)/1. Does y = s?
False
Suppose 5*r + 630 = -r. Let w be r/(-45) + 1/(-3). Let v be (6/5)/(w/(-10)). Is -5 at most as big as v?
False
Let o = -164 + 163.23. Let p = o + 0.27. Which is bigger: p or -1?
p
Suppose 3*p + 7 = -2, 0 = -2*o + 5*p + 17. Is o <= -2/1507?
False
Let x be 466/(-8) - (-58)/232. Is x at least -59?
True
Let a = 97 + -89. Is a at least as big as 7?
True
Let l be 75/(-275) - 26/11. Is l greater than or equal to -4?
True
Suppose -37*l = -5*l + 11552. Are -361 and l nonequal?
False
Let c = -289 + 288.9. Is c < -152?
False
Let c(k) be the second derivative of -k**3/6 - 9*k**2/2 + 2*k. Let q be c(-10). Is -1/27 < q?
True
Let g be 50/525 - (-36)/14. Let n(l) = -2*l + 4*l - 2 + 2*l - l**3 - 4*l**2. Let c be n(-5). Which is smaller: g or c?
g
Let o = 95 + -65. Let c = -193 + 193. Do o and c have different values?
True
Let f = 56.41 - 2.41. Are f and 3 nonequal?
True
Let d(b) be the first derivative of -b**3/3 + 7*b**2/2 - 2*b + 5. Let i be d(8). Is i greater than or equal to -11?
True
Let o = -2 + 2.1. Let j = 10489.931 + -10504. Let r = j + 0.069. Which is smaller: o or r?
r
Let g = -295 - -296. Which is bigger: 14 or g?
14
Let n = -69/5 + 14. Which is greater: n or -20?
n
Let y(h) = 4*h**3 + 3*h**2 + 12*h - 17. Let c be y(4). Is 335 greater than c?
False
Let s be (-2)/(-14) + 228/21. Let m = 7 + s. Let f = m + -18. Are -3/7 and f nonequal?
True
Suppose -u = 2*t - 12, -6*u = 3*t - 5*u - 19. Suppose 0 = -16*d + t*d - 18. Is d < -9?
False
Let t = 337.07 + -337. Which is greater: -2/13 or t?
t
Let s = 2.15 + -1.65. Which is smaller: s or 1.4?
s
Suppose 4*q - 5*g = 185, 4*q - 6*q = 5*g - 55. Suppose -2*t + q = -5*k, t - k = -3*t + 116. Is 31 < t?
False
Let b(h) = 6*h + 5. Let p be b(-1). Let n = 2375/27 + -88. Does p = n?
False
Let b(t) = t + 12. Let s be b(-6). Suppose s = -2*q - 6. Which is smaller: q or -5?
q
Let r be (-9)/(-36) + ((-62)/(-8) - -2). Suppose f - w = -2*w + 2, 5*w - r = -4*f. Which is bigger: 1 or f?
1
Suppose -18 - 36 = -3*g. Let h = g - 19. Is 1 at least as big as h?
True
Let w = 63 + -66. Is 34 at most as big as w?
False
Suppose -5*y = -5*h - 3 - 7, -5*h - 4*y = -26. Let s be (0 - h)/(-2) + 55. Let u be (-82)/s*-2 - 3. Which is smaller: 0 or u?
u
Let z = -666 + 643. Which is smaller: z or -16?
z
Let p be (-8)/(480/(-1977)) + 3/(-15). Is p bigger than 34?
False
Let t(o) = -o**2 - 26*o - 15. Let k be t(-25). Let w be (-25)/k + (4 + 0 - 1). Is w at most as big as 1/7?
False
Let t = 209/15 - 111/10. Which is smaller: t or -1?
-1
Let i be 2 + -3 + (-3 - -7). Suppose -4*r = i*j + 231, 135 = -6*r + 4*r + 5*j. Let k be 4/30 - (-8)/r. Which is smaller: 4/11 or k?
k
Let y = 5 + -6. Let x = -0.1 + -13.9. Let c = x + 14. Which is smaller: c or y?
y
Let d(g) be the first derivative of g**6/360 + g**5/30 - g**4/8 + g**3 - 7. Let u(i) be the third derivative of d(i). Let n be u(-4). Which is smaller: -1 or n?
n
Let l = 99.024 - 98. Let w = 0.024 - l. Let a = -214/5 + 43. Which is bigger: w or a?
a
Let l = 11 - 35. Suppose 2*b - 3*b = -f + 34, 3*b + 9 = 0. Let m be f/11 + l/8. Is -1 >= m?
False
Let w(n) = -4*n - 17. Let l be w(-5). Suppose -4*m = -l*m + 9. Are m and -11 nonequal?
True
Let a = 1 + -2. Let x = -8262/59 - -140. Are x and a nonequal?
True
Let w be 12780/210 - (2 - (-44)/(-14)). Which is smaller: w or 0?
0
Let l(d) = -2*d + 3*d + 2 - 3. Let h = -46 - -46. Let w be l(h). Which is smaller: w or 3/10?
w
Let v = 127 - 136.6. Let j = 31.4 - v. Which is smaller: j or -2/3?
-2/3
Let a be (-1)/5 + (-1)/(-5). Suppose 3*r = -r + 48. Is a smaller than r?
True
Let y = -1025 + 1026.3. Let o be (-6)/5*2/(-6). Which is bigger: o or y?
y
Let p(c) be the first derivative of 0*c**2 + 2 + 0*c + 19/3*c**3. Let u be p(1). Is 18 not equal to u?
True
Let s be (-9)/(-54) - (2 + (-1354)/740). Which is smaller: s or 0?
s
Let o(t) = -t**2 - 5*t + 5. Let n be o(-6). Let f be (n/((-1)/2))/4. Suppose 0 = -5*y - 4*g - 13, -5*y - 1 - 9 = 5*g. Which is smaller: y or f?
y
Suppose -4*s = -5*t - 20 - 20, 0 = -3*s - 4*t - 1. Suppose s*a = 2 + 3. Is 1/38 bigger than a?
False
Let d = 0.1288 + -27.1288. Which is greater: -4 or d?
-4
Suppose 4*w - 2 = -10. Let k be ((-1)/(-9))/(9/(-90)) + w. Which is greater: k or -3?
-3
Let q be ((-156)/117)/(92/(-102)). Is q at least as big as 2?
False
Let r be 360/(9/(-3)) + (-12 - -9). Which is greater: r or 2?
2
Let l = 1.86 + -1.77. Is l at least as big as -2/37?
True
Let x = 6040781/1683 + -60990/17. Let r be 48/(-112) + -1 + 24/(-189). Let l = r + x. Which is greater: l or -1?
l
Let v = 3 + -3. Let o = -0.0405 + -26.0095. Let x = o - -26. Is v != x?
True
Suppose h = -2*a + 6*a - 66, 0 = -5*h - a - 351. Let x(l) = -l**3 - 18*l**2 - 84*l - 101. Let w be x(-8). Is h at least w?
False
Let v = -1243 + 1298. Which is smaller: 58 or v?
v
Suppose 5*i = 5*t + 3*i - 95, -2*t = -3*i - 38. Suppose a + 2*w + t = 6*a, -3 = -3*a - 3*w. Suppose 5*g = -7 - a. Which is smaller: -3 or g?
-3
Let q(c) = -c**3 - c**2 + c + 4. Let l be q(0). Suppose -2*y = y - 12, z + 3*y = 15. Suppose -n - 3*k = k + 7, -k = z*n - 12. Is l >= n?
False
Let d(b) = b**2 + 2*b + 3. Let m be d(-1). Are 4 and m equal?
False
Let h(g) = -2*g - 1. Let w be h(-3). Suppose -27*d + 79 = -326. Suppose -2*c = 3*c - l - d, -4*c + 12 = w*l. Is c bigger than 8/5?
True
Let i(h) = 5*h + 3