 = y + -72. Let n = -16 - -17. Which is smaller: n or a?
a
Let m = -2156 + 554093/257. Let k = -1787/3084 - m. Is -1 at most k?
True
Let z = 7.9 + -8.8. Let x = z - 0.1. Which is bigger: -84 or x?
x
Let t = 147 - 147. Let r = -19 - -5. Let s = -124/9 - r. Is t at least s?
False
Let u = 28 + -41. Let w = -0.236 - -11.236. Let p = u + w. Which is greater: p or -6?
p
Let r = 222 + -221.85. Which is smaller: r or 1?
r
Suppose 0*x + 1 = -4*x + 5*v, 3*x = -4*v + 7. Suppose 4*c - 3*k = 1489, 0 = -2*c - 2*k + 898 - 150. Let p = c + -21263/57. Is x less than p?
False
Let w(s) = 13*s - 2. Let l be w(2). Let x = 25 - l. Is x greater than -6/13?
True
Let d(s) = -s**3 - 8*s**2 + 9*s + 59. Let k be d(-9). Is k less than or equal to 61?
True
Let d(f) = f**2 + 3*f - 38. Let q be d(0). Let t = q + 38. Which is smaller: t or -1/18?
-1/18
Let d(y) = -2*y**3 + y**2 - y + 1. Suppose -5*w + 0*a = -3*a - 2, 5*w = -2*a + 7. Let n be d(w). Let m be 2*(-8 + n + 3). Is -11 at least m?
True
Let l(q) = -12*q - 3. Let c(t) = -t**2 + 8*t - 9. Let w be c(7). Let x be l(w). Suppose -5*i + a + x = 0, 0*i - 27 = -3*i - 3*a. Which is bigger: i or 6?
6
Let m be (-2)/(-12) + 4 + 4407/(-198). Let g = m - -18. Which is smaller: g or 0?
g
Let f(y) = 57*y - 3. Let g be f(-2). Do g and -116 have the same value?
False
Let f = 280 - 287. Is f >= -7?
True
Suppose 3*q - 3 = 4*q + 3*d, -70 = 5*q + 4*d. Are -18 and q equal?
True
Let x = 51 - 48. Let o be 1*(9/6)/(x/8). Which is smaller: o or 14/3?
o
Suppose i = -b + 7, -4*b - 8*i = -3*i - 33. Let h(r) = 2*r - 3. Let f be h(b). Which is greater: -3/14 or f?
f
Let z be ((-6)/(-57) - -4) + (-14)/133. Let a = -23360/47 - -497. Let j = a + 521/188. Is z bigger than j?
True
Let j(m) = -7*m - 310. Let w be j(-44). Is -13/8 at most as big as w?
False
Suppose 67*p = 70*p - 72. Are p and 159/7 unequal?
True
Let l be 18/672*8*858/27. Which is bigger: 7 or l?
7
Let q(x) = 4*x + 9. Let k be q(0). Suppose 2*j + c - 15 = 6*c, 5*j - k = 3*c. Which is smaller: -1/38 or j?
-1/38
Let y be (-20)/(-14)*(-1)/(-2). Suppose 0 = -1569*a + 1564*a. Which is smaller: y or a?
a
Let j = -425 + 425. Which is smaller: j or -1/624?
-1/624
Let s = -704/15 - -213/5. Which is bigger: s or -2?
-2
Let c = 22.374 - -5.596. Let j = -28 + c. Which is smaller: j or 1/3?
j
Suppose -3*h - 5*w - 39 = -11, w = 5*h. Let g be (h + 0)*(0 + -2). Suppose 3*d + g*d = 65. Which is smaller: d or 1?
1
Let p = -2/1991 - -10093/137379. Is p < -1?
False
Let p(s) = -2*s**2 - s + 1. Let n be (-2)/(-7) - (-237)/(-21). Let q = n + 12. Let z be p(q). Which is smaller: z or -1?
z
Let k be -1 + -1 - (-1128)/470. Let n = -9.87 + -0.13. Which is smaller: n or k?
n
Suppose 0 = -2*i - 2*w - 2*w - 32, 0 = -3*i - 2*w - 56. Let y = 261 + -282. Are y and i unequal?
True
Suppose 0 = 8*u - 10*r + 5*r - 357, r = -1. Is 42 less than or equal to u?
True
Let b = 89 + -64. Let q be (-124)/(-75)*15/b + -1. Is q < 1?
True
Suppose -3*f - 250 = -256. Suppose 1 = -r + f. Is 1 equal to r?
True
Suppose f + 1 = -w, 7*f + 3*w = 9*f - 3. Is -1/395 bigger than f?
False
Let o(c) = 2*c + 8. Let w be o(4). Which is greater: w or -4/37?
w
Let z = 355.92 - 356. Which is greater: z or -51?
z
Suppose 2*m + 3 + 4 = -5*t, 4*t = 5*m + 34. Let v be 2/33 - 35/33. Is v >= m?
True
Let r = 0.1 - 0.1. Let l = 0.15 + -0.49. Are l and r nonequal?
True
Suppose 4*i + 4*u - 14 = 10*i, 0 = -2*i - 5*u + 27. Is i < -2/2291?
False
Let v = -8 - -13. Suppose -r + w - 145 = -6*r, -3*w - 116 = -4*r. Let u = -59/2 + r. Are v and u unequal?
True
Let j = -60 + 78. Let d = 25.936 - -0.064. Let z = d - j. Is z at most 0?
False
Suppose 31 = 43*w - 12. Is w smaller than -3/143?
False
Let w = 3 + -39. Let d = -37.3 - w. Is d < -0.3?
True
Suppose t + 6*t = -119. Let z = 19 + t. Let v be (-1)/z - 5/2. Which is smaller: 1 or v?
v
Let j be (-8)/(-12)*63/6. Let h(m) = m**2 - 7*m - 11. Let z be h(j). Which is bigger: z or -1?
-1
Let d = 140/11 - 431/33. Which is greater: d or 0.1?
0.1
Let n(j) = -j**3 + j**2 - 4. Let g be n(-2). Let p(o) = -o**3 + 9*o**2 - 6*o - 12. Let m be p(g). Which is bigger: m or -0.4?
m
Let p = 114 + -62. Suppose 3*o - 4*d + p = 7*o, o - d - 11 = 0. Is o at most 2?
False
Let w = -2173/16 + 573/4. Is w >= 8?
False
Suppose -16*z - 232 = -3512. Let k = 1643/8 - z. Which is bigger: -0.1 or k?
k
Let t = 19 - -88. Let x = 532/5 - t. Which is smaller: 0 or x?
x
Let f = 0.644 + -0.7. Let y = f + -0.044. Is y greater than -2?
True
Let k be 63920/108920 + (-8)/14. Which is greater: k or 1?
1
Let i = 2323.7 - 2324. Suppose -y + 5*p + 2 = 2*p, -5*y - 3*p - 44 = 0. Which is smaller: i or y?
y
Let j = -52529/428 - -491/4. Is j != 1?
True
Let n = 5/371 - 3439/7420. Is n >= 0?
False
Let c = 75 - 75.3. Let q be 4/12 - (-610)/168. Let n = q - 26/7. Is c greater than n?
False
Let m = 11 + -10. Let u = 76 + -682/9. Which is bigger: m or u?
m
Let t be (4 + -9 + 0)*(-4)/(-10). Let x be -1 - 1/((-32)/42). Let f = -195/112 + x. Does f = t?
False
Let m be 45/(-180) + (-5073)/(-4). Which is bigger: m or 1269?
1269
Suppose 24*n - 25*n - 1 = 0. Let j be (2/(-47))/((-1)/2). Let y = -23/282 - j. Which is bigger: y or n?
y
Let n = -486 + 308. Which is bigger: -536/3 or n?
n
Let i(s) = 16*s. Let q be i(-6). Is -99 bigger than q?
False
Let j = -142 + 144. Let m = -0.95 - -1. Let t = m - -1.95. Is t > j?
False
Let s be (-12 + 1)*660/(-160). Which is bigger: 45 or s?
s
Let n = -4686 - -1438604/307. Let s = -357/7675 + n. Which is smaller: s or 1?
s
Let n(q) be the first derivative of -q**3/3 + 6*q**2 + 7*q + 5. Let y be n(13). Is -5 less than or equal to y?
False
Let n(o) = -33*o + 298. Let l be n(9). Suppose w - 17 = -2*p, 3*w + w = 2*p - 12. Suppose -q = -8 - p. Which is bigger: l or q?
q
Suppose 0 = 3*q + 3*s - 213, 24 = -3*q + 3*s + 261. Suppose -15 = x + 4*a, -3*a = -x - 4*x - q. Does x = -15?
True
Let m be (-15 - -20)/(5/42). Is 41 at most m?
True
Let k be (-1*(-2)/(-6))/((-9)/(-246)). Which is smaller: k or -9?
k
Let v be (21/(-9) + 1)/(14/(-21)). Are 1 and v equal?
False
Suppose -36 = -6*l - 42. Is l > -3/313?
False
Let y be (20/12)/(-1)*(-5 - -2). Let t be y*(3/(-2) + (-441)/(-270)). Is -4 bigger than t?
False
Suppose 0 = -3*j - 127 + 37. Let u = j - -29. Which is greater: -5/58 or u?
-5/58
Let h = 1375 + -1374. Which is smaller: -1/504 or h?
-1/504
Let v = 193 - 318. Let m = -71 - v. Suppose k - 67 = -d - 2*d, m = 2*d - 4*k. Which is greater: d or 24?
24
Let q = -17.149 + 0.249. Let v = q - -1.9. Let h = 5 + v. Which is greater: -0.1 or h?
-0.1
Let o = -367 - -374. Which is greater: -2 or o?
o
Let l = 8 + -3. Suppose w + 20 = l*w. Let k be (5 - 2/1) + 8/4. Is k less than or equal to w?
True
Suppose -204 = -2*z + 2*n - 6*n, 4*z + n - 408 = 0. Let o = z - 73. Are o and -1 non-equal?
True
Let h = -111 - -7. Let s = h + 129. Which is smaller: s or 26?
s
Suppose 10*y - 84 = 6*y. Let c be (8/18)/(28/y). Is -23 greater than c?
False
Let c(y) = -y**3 - 4*y**2 - 3*y - 3. Let h be 2 - 10/(-4)*-2. Let s be c(h). Let m be 2 - s/3 - 3. Is m greater than -6/11?
True
Let l(j) = j - 6. Let x be l(12). Let d = x + -13. Which is bigger: -6 or d?
-6
Suppose 2*j - 208 = -3*x, -5*x + j + 14 = -311. Suppose -3*n - x = 3. Is n at least as big as -23?
True
Let w = -32 - -32. Let u be w + -3 + (3 - -1). Which is bigger: u or -2/33?
u
Suppose -9*k - k + 10 = 0. Suppose 2 = -a + k, 6 = -o + 5*a. Is o at most as big as -11?
True
Let g = 0 + 0.1. Let c = 705 + -45827/65. Let q = -69/130 - c. Is q smaller than g?
True
Let v = -406 - -405.9. Which is smaller: v or 15/7?
v
Suppose l = -o - 0*l + 4, -13 = -5*o + 2*l. Suppose o*f = -2*f. Suppose f = -6*t + 2*t - 56. Are -14 and t nonequal?
False
Let v be 8/(-1)*50/(-4). Are 896/9 and v unequal?
True
Let o = 1002.83 + -1031. Let z = o - -28. Which is greater: z or -0.1?
-0.1
Let h = -291 + 517. Which is smaller: h or 227?
h
Suppose 28 = -r - 3*r. Let u = -11 - r. Let a = -1531/2 + 761. Are u and a unequal?
True
Let b = -24 - -24.12. Let m = b - 0.42. Which is bigger: 5 or m?
5
Suppose 0 = -2*y - 48 - 224. Let f be -10*(-5 + y/(-27)). Which is smaller: 1 or f?
f
Suppose -3*g = 3*z + 585, g - 968 = 6*g - 2*z. Let q be 2/10 - g/(-920). Are q and -1 nonequal?
True
Suppose -5*s + 49*r = 51*r + 19, 0 = -5*r - 10. Is s equal to -74/29?
False
Let j = -2/2103 - 