= 56 + -78. Let k = a + 30. Let t be 30/(-24)*k/(-2). Are 6 and t equal?
False
Let b = -13.67 + 13. Which is greater: -0.4 or b?
-0.4
Let m = 6.4 + 0.6. Let h = 0.4 + -8.4. Let j = m + h. Which is greater: j or -0.3?
-0.3
Let s = 0.042 - 39.042. Let q = s + 19. Let u = -22.4 - q. Which is greater: u or 0.1?
0.1
Suppose 3*j + r = -2*j - 1, -3 = -5*j - 2*r. Let z = 0 + -2. Which is smaller: z or j?
z
Let p(f) = -22*f + 7. Let h be p(-3). Let x be h/(-42) - (-4)/24. Are x and -1 unequal?
True
Suppose 210*f + 2 = 212*f. Which is smaller: f or 11?
f
Let b be (-6)/(-10) - 112/(-5). Suppose 49*i - 1202 = -26. Is i >= b?
True
Let n be 3/6 - ((-30987)/6)/11. Is 2 <= n?
True
Let d(l) = -2*l**2 + 6*l + 7. Let z be d(5). Let c = z + 15. Suppose -8 = -c*y + 3*y. Which is smaller: -7 or y?
y
Let i = 873 + -891.7. Is -0.1 at most as big as i?
False
Let n = 214 - 262. Is n >= -1?
False
Suppose -3*v - 161*k + 166*k + 63 = 0, 5*k + 15 = 0. Is v equal to 160/11?
False
Let u = 30 + -27. Suppose 13 - u = -4*h - 2*l, 3*h + 2*l = -7. Which is smaller: -1 or h?
h
Let m = -274 - -271. Which is bigger: m or -28/17?
-28/17
Let p be (-1488)/(-20)*(2 - -3). Let y be (-2)/14 + p/(-42). Does y = -9?
True
Let u(g) = -6*g + 18. Let l be 4 - ((-3)/1)/(3/(-7)). Let b be u(l). Is 36 greater than b?
False
Suppose 0 = -3*o + 4*w + 3*w - 69, -12 = 4*w. Let k(i) = 24*i**2 + 3*i + 3. Let u be k(-2). Suppose -q + 4*q + u = 0. Is q equal to o?
False
Let u = 328 + -329. Which is greater: u or 1/370?
1/370
Let r = 0 - 32. Let q = 16 + 4. Let w = q + r. Is w < -12?
False
Suppose 37*r + 49 = 10224. Is r < 275?
False
Let j(o) = 4*o - 2. Let x be j(2). Let a = -3937 + 3945. Is a < x?
False
Let b = 20 + -14. Let x = -3 - -5. Suppose x*y = y + 4. Which is smaller: b or y?
y
Suppose -11 - 1 = -4*w + 3*j, 14 = -w + 5*j. Let n be (1 + -1 + 56)*w/54. Are 7 and n unequal?
True
Let h = -6 + 180/29. Do h and 1 have the same value?
False
Let b be -344 + -1 + 31 + -35. Is -348 < b?
False
Suppose 6*b + 1820 = b - 5*g, 0 = -b + g - 364. Is b at least as big as -364?
True
Let u = 1.3 - 0.3. Let i = -5 + 10. Let n = 4 - i. Which is greater: n or u?
u
Let s = -12 + 12. Let n(g) = 10*g**2. Let o be n(-1). Suppose 0 = w + 5*u + o, -u - 2*u - 3 = s. Is -3 < w?
False
Let i be (741/(-12))/((-87)/4). Let u = -5/29 + i. Is 2 at most u?
True
Let q be (3/(-6))/((-2)/4). Let l be (2 + q)*(-4)/3. Let f = 1 + l. Which is smaller: -1 or f?
f
Let c be (3080/210)/((-4)/(-114)). Is 419 smaller than c?
False
Let a(f) = -f + 7. Let w be a(2). Suppose -5*d - 2*q = 69, w*d + 25 = 2*q - 36. Is -13 at most as big as d?
True
Let g = 1251 - 957. Is g less than 295?
True
Let b = 237 + -238. Let h = 91 + -1730/19. Are h and b unequal?
True
Let d be (-96)/(-56) + (-4)/(-14). Let f be -2 + d - (-3 + -1). Suppose 2*x = 2*a + 20, -f*x = -a - a - 12. Is a bigger than -13?
False
Let d = 16.9 + -16. Let g be 8/(-10)*(-20)/(-24). Is g at most as big as d?
True
Suppose -5870 = -3*k - 17174. Let q = 34769/9 + k. Let h = q - 95. Which is bigger: 0 or h?
h
Suppose 3*g = 7*z - 2*z + 164, 28 = -z - g. Let w = z - -26. Is -8 less than or equal to w?
True
Let q = 9 - -49. Let j = q - 233/4. Suppose -p = -2*p + 2. Which is smaller: p or j?
j
Let k = 0.13 + -2.03. Let g = 429 - 658. Let s = g - -230. Are k and s equal?
False
Let h(f) = -28*f + 21. Let g be h(8). Let l = 1627/8 + g. Let q = -8 - -10. Which is smaller: q or l?
l
Let a be 34/(-10) + 2/5. Let c = 4.47 + 4.53. Which is bigger: c or a?
c
Let n = -247547/2305 - -537/5. Is 1 at most n?
False
Let l be 1023/(-63) - 3/7. Let t(f) = -f**3 + 19*f**2 - 62*f + 13. Let o be t(15). Is l greater than o?
True
Let l = 1133.96 + -1134. Is -0.11 less than or equal to l?
True
Let d(w) = -51*w - 3. Let x be d(1). Let h = x + 53. Let k be ((-2)/22)/(1/4). Is h < k?
True
Let d be 21/14 - (-102)/4. Let k be 6/d + 20/(-63). Which is smaller: k or 1?
k
Let i = -88 - -87. Let k(o) = -2*o**2 + o - 2. Let u be k(3). Let t be u + i - (-1 - -4). Which is bigger: t or -20?
-20
Let p(n) = -38*n**3 + 2*n**2 - 1. Let x be p(1). Which is smaller: x or -186/5?
-186/5
Let p be (0 - 12)/4 - -354. Let j = p + -511. Let u be (1/18)/((-4)/j). Which is smaller: 1 or u?
1
Let x(i) = 11*i - 41. Let n(v) = -2*v**3 + 8*v**2 - 2*v - 6. Let o be n(3). Let w be x(o). Which is bigger: w or 26?
26
Let a = -58 + 25. Let o = a + 30.2. Let d = o + 4.8. Which is bigger: -4 or d?
d
Let z = 2.2828 - -0.0172. Do z and 14 have different values?
True
Let q(d) = d. Let u be q(-3). Let l(x) = -146*x - 592. Let t be l(-4). Is t <= u?
True
Let n(z) = 17*z + 423. Let w be n(0). Which is greater: 422 or w?
w
Let i = 93 + -84. Which is smaller: i or -24?
-24
Let f = 31007/195 + -159. Does 1 = f?
False
Let h = -79 - -107. Suppose -3*x - 2 = -5. Are x and h unequal?
True
Suppose -15*n + 11*n + 260 = 2*v, -5*v + 2*n = -626. Which is smaller: v or 1/4?
1/4
Let u = 121 + -156. Which is smaller: u or -33?
u
Let t be 4 - (684/(-56))/(-3). Let q be (-5 - -1)*1/(-7). Let h = q + t. Do h and 0 have the same value?
False
Let s(i) = i**2 - 2*i - 2. Let u be s(-2). Suppose -u*z + 3*q = -z + 24, 0 = -4*z + 5*q - 27. Let f be (z + 4)*(-4)/2. Which is greater: f or 0?
0
Let i be -11*10/(-22) + 7*33. Which is greater: i or 2/5?
i
Let m be (-12)/(2 + 1) - -14. Let z be (-52)/m*14/28. Is -2 equal to z?
False
Let s(a) = 20*a**3 - 2*a**2 - 2*a - 1. Let b be s(-1). Let w(t) = t**3 - 2*t**2 - 16*t + 5. Let h be w(5). Is b <= h?
True
Suppose 3*f = 3*b - 237, -2*b - 371 = 5*f - b. Let t be f/145 - (-3)/6. Is -0.1 at most t?
True
Let f(m) = 9*m**3 + 3*m**2 - 6. Let s be f(2). Which is bigger: s or 1/6?
s
Let y = 453 - 453. Let g be (3/84 - -1) + -1. Which is bigger: g or y?
g
Let h = -73.29 + 72. Let z = -0.29 - h. Which is greater: -21 or z?
z
Suppose 33 + 28 = l - h, -2*l = 4*h - 104. Let p = l + -56. Which is smaller: p or 2/33?
2/33
Suppose -2*l = -15*l - 13. Let f(v) = v**2 + 4. Let a be f(0). Suppose 0 = -3*r - m - 1, 0 = -3*r - a*m - 0*m + 14. Which is smaller: r or l?
r
Suppose -25*o = 1323 + 2077. Is o bigger than -135?
False
Let p = -3 + -9. Let v(t) = t**2 + 10*t - 20. Let m be v(p). Suppose 0*h - 2*w = m*h - 24, -h + 12 = -w. Which is bigger: 7 or h?
h
Suppose 0 = -7*o + 6*o + 5. Suppose -4*w - 14 = -j, 4*j + 2*w - o = -21. Do -18/17 and j have the same value?
False
Suppose 4*j + 360 = -2*l, 2*l + 2*j + 357 = -j. Which is smaller: -175 or l?
-175
Let m = 8 - -74. Let i = m + -82.14. Which is smaller: i or -1?
-1
Let j = 69.73 + -70. Let z = j - -0.37. Does -3.2 = z?
False
Suppose 2*t + 89 = -299. Which is smaller: -193 or t?
t
Let v(i) = 2*i**3 + 16*i**2 - i - 2. Let m be v(-8). Is m equal to 3?
False
Let l = 123 - 123.6. Is l less than or equal to 17?
True
Let y = 12 - 5. Let l(n) = -n**3 + 6*n**2 + 8*n - 7. Let d be l(y). Let o be ((-12)/24)/((-11)/(-12)). Which is bigger: o or d?
d
Let h be (-20)/(-8)*36/(-45). Is -2/1421 > h?
True
Let v(m) be the second derivative of m**5/2 - m**4/12 + m**3/6 - m**2/2 - m. Let a be v(1). Let z = a - 15. Is z > -6?
False
Suppose -j - 820 = -308. Is 2 smaller than j?
False
Suppose z + 420 = -z. Let o be ((-1)/3)/((-14)/z). Let s = -253/12 - -63/4. Which is bigger: s or o?
o
Let g(q) be the first derivative of q**3/3 + 13*q**2/2 - 16*q - 14. Let v be g(-14). Which is smaller: 3/7 or v?
v
Let g = 26.2 - 26.333. Let j = -0.033 - g. Is 47 greater than j?
True
Let h be (1 + 1)*(4 + 12*28). Is h greater than 678?
True
Let p be 19705/(-2750) + 3 + 4. Let s = -8/55 - p. Is 1 > s?
True
Let y = -63 - -121. Which is smaller: y or -0.3?
-0.3
Let m = -548 - -546.9. Which is smaller: -0.15 or m?
m
Let i(d) = d + 9. Let w be i(-9). Suppose 0 = 5*j - 3*m - 324, w = -4*m - 2 - 10. Which is smaller: 62 or j?
62
Let u(n) = -n**2 - 7*n + 18. Let s be u(-9). Suppose s = -f - q - 3*q - 27, -3*q - 36 = 3*f. Which is bigger: -9 or f?
f
Let b = 23 + -18. Suppose -k = -4*h + 4, -b*k = 8*h - 3*h + 20. Which is greater: 5/4 or h?
5/4
Suppose -5*o + 12 = -18. Suppose -o - 2 = -2*q. Is q at most as big as 3?
False
Let a = 659 - 640. Which is smaller: a or -0.1?
-0.1
Suppose x = -2*p - 2*x + 21, -5*p + 42 = 4*x. Suppose 10 = -2*s + 24. Is p greater than or equal to s?
False
Suppose 4*f = -2*z - 3*z, 13*z + 3*z = 0. Is f <= 429?
True
Let f = 336 + -168. Supp