 + 0 = -7, -4*w = h + 14. Let g be 56/h*(-2)/16. Are g and 0 unequal?
True
Let c = 69.47 + -70. Let x = c + 10.63. Let v = x - 10. Is v greater than 14?
False
Let l = -1572 + 912. Let g be 205/l - 2/(-8). Let j(y) = y**2 - 4*y. Let c be j(4). Which is greater: c or g?
c
Suppose 7*x - 9*x = 0. Let s = 11 - x. Suppose s = -j - 0*j. Which is smaller: -10 or j?
j
Suppose 0 = 5*q - 4*d + 17 + 49, -3*d - 59 = 4*q. Which is smaller: -2 or q?
q
Let l = -17 + 36. Let f = -15 + l. Suppose -3*q = -11 - f. Are 5 and q equal?
True
Let n = -3843/5 + 657128/855. Let v = -2872/1197 + n. Is v equal to 1?
False
Suppose 7*n - 4*n - 153 = 0. Suppose -3*r - 69 = 2*q - 0*q, 3*r = 2*q + n. Let t = 28 + q. Does -1 = t?
False
Let l be (8399/(-148))/((-1)/20). Which is smaller: 1134 or l?
1134
Let j = 0.1659 - -11.9041. Let a = j + -1.07. Is -0.1 smaller than a?
True
Suppose -4*s + 24 = -2*s. Suppose -295 = -8*a + 3*a. Suppose -a = -5*j + 2*h, 8*j - 5*j + h = 42. Which is bigger: j or s?
j
Let d = 0.0029 - 3.0029. Do 44 and d have the same value?
False
Suppose 10 = a + j, -3*a + 6*a - 5*j - 22 = 0. Suppose 10*p + a*p - 19 = 0. Which is smaller: -2 or p?
-2
Let b be (-2)/(-7)*(-98)/(-28168). Which is bigger: 1 or b?
1
Let l be 4/22 - (2 + (-36)/44). Is 3/265 not equal to l?
True
Suppose -5*i - 20 = 4*x, 12 = 2*i - 5*i. Suppose x = 2*s + 3*u + 2*u - 2, -5*s - 2*u = -5. Is s at most as big as -3?
False
Suppose 5*u - 2*n = 147, 4*u - 4*n + 5*n - 115 = 0. Which is bigger: u or -8?
u
Suppose -2*r + 5*n + 154 = 2*n, -4*n = 5*r - 408. Let t = -149/2 + r. Let y(w) = -w**2 + 12*w - 6. Let f be y(11). Which is greater: f or t?
t
Let u be (0 - -1) + -4*2/4. Suppose 0 = -2*q + 376 - 142. Let j be (-4)/(-26) - (-21)/q. Is u greater than j?
False
Suppose k - 6 + 3 = 0. Suppose -s + 16 + k = -t, -4*t + 2*s = 72. Let u = 0.0108 - -0.9892. Which is greater: t or u?
u
Let u(d) = d**2 - 6*d + 2. Let h be u(4). Let o be (-20)/h + -3 + 64/(-3). Is o equal to -0.1?
False
Let o = -3.842 + -0.158. Which is smaller: -1/3 or o?
o
Suppose -6*b + 100 - 484 = 0. Let h = 107 + b. Are h and 43 nonequal?
False
Let g = 0.0259 - -0.1741. Which is bigger: g or -27/7?
g
Let c(t) = -35*t**2 + 104*t + 9. Let x be c(3). Which is smaller: x or -87?
-87
Let t be 24/42 + -2 + 5413/21. Let i = t - 251. Which is greater: i or 5?
i
Let u(l) = 3*l + 26. Let o be u(-10). Let t be (o - 0)/(-8)*-2. Which is greater: -3 or t?
t
Suppose -4*h + 3*h = -j + 3, 3*j + 3 = h. Which is smaller: -75 or h?
-75
Let k(j) = 4*j**2 - 5*j - 5. Let y be k(-5). Let p = y + -598/5. Let g = -467 - -468. Which is smaller: p or g?
p
Suppose -224 = 293*v - 300*v. Which is bigger: v or 29?
v
Suppose -3*x = 3*k - x - 14, -2*k - 4*x + 20 = 0. Suppose 0 = -16*r + 12*r - 4*g + 16, -8 = -2*r + 2*g. Suppose -r*m = -4*c + 4, k*c = -1 + 9. Is m != 2?
True
Let r be (1 - 4)*1*(-44)/132. Let z be (6825/2770)/(-5) - r/(-2). Which is bigger: 1 or z?
1
Let d = 1043/936 - 1/312. Is 1 at least d?
False
Let q = 1431 + -545213/381. Which is smaller: q or 1?
q
Let p = -56.3 - -56.3. Which is greater: 843 or p?
843
Let k be (-1)/13 + (-2109)/(-20995). Which is greater: -1 or k?
k
Let k = 0.0589 + -0.0688. Is 1 less than or equal to k?
False
Let t be (20/(-6))/(2/6). Let w be (4 - 10)*t/4. Let h = w - 16. Which is bigger: h or -4?
h
Let i(j) = j**3 + 6*j**2 - 2*j - 7. Let v be i(-6). Suppose -15 = -5*p + 10*p + 4*m, v*p - m = 10. Let o be -1*p/(0 + 1). Is -2 at least o?
False
Let m = 0.28 + 211.72. Do -1/3 and m have different values?
True
Let b be 93/306 + (-1)/3. Let l = 61/238 - b. Let q(y) = -2*y**2 - y + 4. Let i be q(1). Are l and i unequal?
True
Let n(j) = 70*j + 2. Let d be n(3). Let l = d - 1487/7. Let c = 102.1 + -102. Which is smaller: c or l?
l
Let l be 2*1 - (15 + 303). Let j = 11375/36 + l. Which is smaller: 0 or j?
j
Let b = 0.5 - 0.3. Let j = 0.16 - 0.29. Let r = -0.11 - j. Which is bigger: b or r?
b
Suppose 0 = 2*i + v - 33, -9 = -5*v + 16. Is 17 equal to i?
False
Let v be (3/6)/(2/20). Suppose -6*n + n + v = 0. Let w = 20 + -178/9. Which is greater: w or n?
n
Let g(i) = 2*i + 8. Suppose -4*u = 2*v + 6, -4*u + 2*v - 5*v = 1. Let y be g(u). Is -3 smaller than y?
True
Let u be (5531/19 - 1) + 3. Let a = u - 293. Let b = 7 + -8. Which is bigger: b or a?
a
Suppose 204 = -5*x - 2*j, -2*x + j - 17 = 61. Let z = -59 + x. Let o be (-18)/z + 9/11. Which is smaller: o or 0.1?
0.1
Let a(z) = -z**3 + 24*z**2 - 122*z + 14. Let m be a(17). Is -51 at least m?
False
Let d be ((-3)/(-2))/(12*(-9)/(-72)). Are 2/1097 and d equal?
False
Suppose -g - h = -16, 6*h - h = 2*g - 60. Suppose 2*p - 50 = -g. Is p less than or equal to 17?
True
Let j(p) = -10*p - 122. Let k be j(-11). Let q be (-3)/(-1 + -2)*-13. Which is smaller: k or q?
q
Suppose 602*w + 125 = 627*w. Which is smaller: w or -2?
-2
Let g be 5/(60/(-306))*4/3. Let m(v) = -33*v**2 + v + 2. Let x be m(-1). Which is bigger: g or x?
x
Let i be 5 + 0 + -4 + -2. Is i equal to -1.95?
False
Let k = 150 - 1047/7. Suppose -2*o - 92 = -4*b, 2*b - 3*o - o = 52. Let x = -21 + b. Which is smaller: x or k?
k
Let c be 826/177*-2*6/(-14). Suppose -2*b - p - 195 = 0, 0 = -5*b + c*p - 178 - 277. Which is smaller: b or -96?
-96
Let a be 36/14*(-330)/99. Which is smaller: a or -8?
a
Suppose 5*z + 2*o = 94, 5*o + 72 = 3*z + o. Let w = z + -14. Let i be 4 + 0 + w/(-2). Is -2/9 less than i?
True
Let f be (8/3)/(20/(-570)). Let y = 78 + f. Which is smaller: y or 7/3?
y
Let f be 5/(-15)*11/(-33). Which is smaller: f or -0.01?
-0.01
Let z = 9 - 14. Let m(b) = -4*b - 17. Let h be m(z). Suppose -92 = h*v + 13. Which is smaller: v or -36?
-36
Let r = -23 - -26. Suppose o - r - 1 = 0. Suppose 0 = -m - o, -3*k + 4*m - 3*m + 4 = 0. Which is smaller: 1/12 or k?
k
Let j be 3614/(-78) - 18/(-4). Which is smaller: j or -42?
-42
Suppose -3*g - 3*k - 13 = 5, 6 = -2*k. Is -56/29 >= g?
True
Suppose -5*q = 3*d - 11, 2*d + 4*q + 1 = 9. Suppose 0*y - 2*y = -d. Is 1/26 less than or equal to y?
True
Suppose 1020 = 26*y + 34*y. Let h(b) = b**2 + 4*b + 2. Let n be h(-5). Suppose n*s = -y - 53. Is -1 less than or equal to s?
False
Let a = -0.79 - -4.44. Let t = 4.7 - a. Let i = t - 0.05. Does i = -0.13?
False
Let v(g) = 7*g - 4. Let z be v(-2). Let l = -21 - z. Let p(s) = s + 3. Let r be p(-3). Which is bigger: l or r?
r
Let m be 568/40 + (1 - -2) - -3. Are m and 21 equal?
False
Let s = -25 - -12. Let x = s - -13.13. Let b = x + -0.12. Do -2/7 and b have the same value?
False
Let y(n) = n**3 + 8*n**2 - 1. Let w be y(-8). Let k be -3 + (w - (-30)/(-4)). Let i = k - -12. Are i and 0 non-equal?
True
Let t be (-5)/(-2) - 4/8. Suppose 5*m = t*m + 36. Is 12 at most as big as m?
True
Suppose -2*x - 5*t - 6 = 22, t - 16 = 5*x. Which is greater: x or -90?
x
Let q(t) = t**3 - 3*t**2 + t + 1. Let s be q(3). Suppose -s*d = -d + 69. Which is smaller: -0.1 or d?
d
Let h be 120/95 - -2 - 3. Let g = -23561 + 5819575/247. Let i = h - g. Is 0 not equal to i?
True
Let n = -1044 - -8351/8. Let k = 1 + 0. Which is greater: n or k?
k
Let n be 2 + (-56)/(-1 - 1). Let l be 10/4*48/n. Let p = l - 6. Which is smaller: -4 or p?
-4
Let d be -2 - (186/(-4) + 0). Let f = d - 46. Is f greater than or equal to -1/2?
False
Let q = 1.4 - 1.25. Let a = -0.15 + q. Let h = 1 - a. Is 6 > h?
True
Let y be 10/(-35) + 37/7. Let m = -36 + -1. Let t = m + 37. Which is bigger: t or y?
y
Let h = 1017 - 992. Let b(q) = q + 22. Let y be b(0). Which is bigger: y or h?
h
Let y = -2.144 + 1.91. Let b = -0.034 - y. Is b greater than or equal to 12?
False
Let f be (0 - 6/(-4)) + (-24)/(-48). Suppose -f = 7*c + 40. Is 4 greater than c?
True
Let l = -27 + 30. Suppose 0 = -3*b + 3*s - l, b - 3*s - 2*s + 9 = 0. Which is bigger: 2/7 or b?
b
Let y be ((-282)/54 - -5)/(1/6). Let w(m) = m**3 + m + 1. Let j be w(-1). Which is greater: j or y?
j
Let a(s) = -42*s**2 - s + 14. Let x be a(3). Is -368 > x?
False
Let w = 0.07 - 0.37. Let s = w + 0.3. Let l be (-1 - -2) + 77/(-49). Is l at most as big as s?
True
Let h = -210.6 - -191. Let p = h + 21. Are p and 0 equal?
False
Let c = 7.57 - 7.656. Which is smaller: -5 or c?
-5
Let m(p) be the second derivative of p**4/12 - 13*p**3/6 + 11*p**2/2 + 6*p. Let f be m(14). Which is greater: 49/2 or f?
f
Let v be 454/(-3) + 13 + -16. Let u = 160 + v. Let c = 19/3 - u. Which i