= 2 + -1.7. Is d greater than v?
False
Suppose 65*j - 76*j = -11. Is -71 >= j?
False
Suppose 2*f = 4*z - 62, 0 = 4*z - 3*f - 30 - 27. Suppose 0 = 5*p + 23 - z. Are p and -1/5 non-equal?
True
Let i(h) = -h**2 + 6*h - 6. Let s be i(7). Suppose -3 + 36 = -3*u. Let d be 5 + -6 + s/u. Which is smaller: d or 2?
d
Suppose 0 = 2*g + 4 - 12. Let m = -79 + 88. Let p be (-4)/m - 18/(-27). Which is bigger: g or p?
g
Suppose 3*p = 10*o - 5*o - 9, 5*o + 5*p - 25 = 0. Let c be 2/(-8) - (-1)/4. Let q = 3 + c. Are q and o unequal?
False
Let w(r) = -40 - 19 + 4*r + 2*r + 17. Let u be w(-8). Is -90 at most u?
True
Let n be 89 + (-1)/6*210/(-5). Let j be (-3)/9 - (-572)/6. Which is greater: j or n?
n
Let y(g) = g**3 - 2*g**2 - 5*g + 4. Suppose 0 = -2*w + 2*a - 7*a + 1, 0 = 5*w - 2*a - 17. Let k be y(w). Let o be (-1 + -3)*1/k. Is o greater than 1?
True
Let h(d) = -3*d**2 + d + 5. Let n be h(5). Let u = n + 64. Suppose b = -3*k - 3 - 4, 0 = 3*k - 2*b + 13. Are u and k non-equal?
True
Suppose x = -0*b + 3*b - 2, 3*x = b - 6. Let l be 6/(-4)*(-2)/27. Which is greater: l or b?
l
Let j be (70/15)/((-4)/6). Let g(l) = -l**3 - 6*l**2 + 6*l - 6. Let o be g(j). Let a be 4 + 47/23*-2. Is a at least o?
False
Let k = -1.31 - -3.31. Let b(h) = 29*h + 1. Let o be b(-2). Let g = -283/5 - o. Which is greater: g or k?
k
Let u be 1 + -1 + 3/15. Suppose f + 7 = 1. Let x = -5 - f. Which is smaller: x or u?
u
Let w be 3 - (6 - (-1 - -5)). Let v be (18/126)/(w*1/7). Is -1/23 smaller than v?
True
Let x = 7 - 7.06. Let z(s) = -s**3 + 5*s**2 + 4*s + 11. Let r be z(6). Is x smaller than r?
False
Let g be ((-68)/(-10))/(24/450*5). Is 25 bigger than g?
False
Let s = -85.4 + 13.4. Let q = 73 + s. Which is smaller: q or -1/3?
-1/3
Let m(t) = t**3 + 4*t**2 - 5*t - 1. Let l be m(-5). Let q be 0 + l - -6 - 3. Let o be (-10)/55*(0 - q). Is 0 less than or equal to o?
True
Let p(l) = l**2 - 3*l - 27. Let d be p(7). Does d = -0.11?
False
Let u = 2.23 + -0.53. Let o = -1.8 + u. Which is greater: o or 42?
42
Let b = 135 - 189. Let j = -55 - b. Let r = -6.91 - 0.09. Which is bigger: j or r?
j
Let i(s) = s**2 - 4*s - 11. Let p = 78 + -84. Let u be i(p). Is 50 equal to u?
False
Suppose 0 = p + 4*b + 102, 4*b + 52 - 400 = 4*p. Let j be 2/9 + (-970)/p. Let s be (-2)/(-4)*(7 - j). Is s greater than 2?
False
Let f be 3/((1 - 0)/(-1)). Let q = 2/1043 + -2684/1043. Which is bigger: f or q?
q
Let y = 0.01 + -0.13. Let w = 46.1 - 0.1. Let c = 46.2 - w. Is c < y?
False
Let g = 87 - 87.1. Which is smaller: -6.8 or g?
-6.8
Let f be ((-20)/20)/((-2)/30). Let q be ((-6)/(-15) - 1)*f. Is -6 >= q?
True
Suppose -13*c = -15*c - 228. Let r = c - -130. Which is greater: r or 17?
17
Let q = 0.672 - -0.118. Let t = q - 0.89. Which is bigger: t or -3/11?
t
Let t be (16/(-6))/(8/(-492)). Let l = 3118/19 - t. Is l at most 1?
True
Let p = 446.22 + -450. Let k = p + -0.22. Is 4 greater than k?
True
Let b be (0/6)/(-5*(1 - 0)). Is b not equal to 11/4?
True
Suppose -2*v = -0*v. Suppose v = -y - 0*y + 2*g - 18, y - 4*g + 16 = 0. Does -20 = y?
True
Suppose -13*t = -5*h - 16*t - 20, h - 4*t = 19. Suppose 0 = -z + 4*y - 64, y - 100 - 92 = 3*z. Are h and z nonequal?
True
Let j = -10 - -4. Let n be (26/6 + -2)/((-55)/165). Are n and j non-equal?
True
Let g be 21/27 + (48/(-27) - -2). Is g greater than -1/60?
True
Suppose -5*o - 165 = 5*l, -3*l + 15 = o + 50. Let q = o + 31. Is 2/9 > q?
True
Let w be (163/(-3) + 0)/(3 + -2). Let q = -55 - w. Is -18 bigger than q?
False
Let r = -119.768 + -0.232. Let j = 120.1 + r. Let d = -2 - -1.98. Is j equal to d?
False
Suppose 46 = 2*q + 4*z, z = 3*q - 2*q - 11. Let p = q + -36. Is p > 2?
False
Let h(s) = -4*s**3 - 6*s**2 - 5*s + 29. Let z be h(4). Is z < -1?
True
Suppose 3*y - 2*c + 8 + 2 = 0, 4*y + 5*c - 2 = 0. Let u be (-3)/6*y*-2. Which is smaller: -3 or u?
-3
Let g be -10*(2 - 5/2). Suppose -g*q - 7 + 32 = 0. Let o = -0.4 - -0.5. Is q equal to o?
False
Let u be 75/(-204) + (-2)/(-8). Let j = -573 + 572. Do j and u have the same value?
False
Let y be (1 - 3)*(-84)/(-8) - -3. Let d(l) = -l**3 - 17*l**2 + 18*l - 3. Let n be d(y). Which is smaller: -28/11 or n?
n
Let x be (-1 - 65/75)*-3. Let b(u) = 4*u - 1. Let l be b(2). Which is greater: l or x?
l
Let k be 1/(((-2)/1)/2). Let a = -449/4 - -112. Which is smaller: a or k?
k
Let k = -8.017 + 8. Let c = k - 0.983. Which is smaller: c or 1.5?
c
Suppose 2*q + 120 = 5*k - 4*k, 628 = 5*k + 4*q. Suppose 4*s - 344 = -k. Let u = -221/4 + s. Which is bigger: 11 or u?
11
Let y be 804/(-84) + (-6)/14. Let r = 129 - 139. Is y less than r?
False
Let a = -6.87 + 7. Is 1/6 != a?
True
Let f = 78 - 78. Let d be 0 + 4/(-4) - f. Which is smaller: d or 2/167?
d
Suppose -l - 50 = -5*s, -2*s + 2*l = -6*s + 54. Suppose -8*p - s - 5 = 0. Which is smaller: p or -0.01?
p
Let w = -10.06 + 14.17. Which is smaller: w or 3?
3
Let y be 2/(-10) - 20790/50. Is -417 smaller than y?
True
Let p be (-8 - -7) + (-36)/(-28). Is p equal to -54?
False
Suppose -48 = -4*i + 4*t, -4*i + 4 + 14 = 2*t. Suppose -5*q - 3*u = -18, -3*q + u = -i - 1. Suppose 0 = -q*m - 3 + 6. Is m not equal to -3/7?
True
Let v(s) = s**2 + 0 - 5*s + 2 - 2*s**2. Let d be v(-5). Are d and -2 non-equal?
True
Let o(t) = -2*t**2 - 8*t + 16. Let z be o(-7). Let g = -21 - z. Is 3 at least as big as g?
False
Let w = -76 - -18. Let b = 59 + w. Which is greater: 2/55 or b?
b
Let k = -19.52 + 24.613. Let m = -0.093 + k. Is m greater than -1?
True
Suppose 0 = -0*c + 5*c - 25. Suppose 0 = -c*w + 4*w + 2. Suppose 2*h - w = 4*l, l + h + 14 = -3*h. Which is smaller: l or -10?
-10
Let c = -4 + 6. Let f be (-27)/(-6) - (5 - c). Suppose 0 = 2*x + 4*i - 12, 18*i = -4*x + 20*i + 4. Which is bigger: f or x?
x
Let q = -77 + 88.2. Let g = -73.2 + q. Which is smaller: g or 1?
g
Let d be (-9)/((-36)/16)*1/(-2). Let n be (d/5)/(20/175). Is 0.4 equal to n?
False
Suppose 35 - 13 = -2*j. Let m = -23 - -8. Let n = -27 - m. Which is smaller: j or n?
n
Let g be 9636/9 + 0 + (-12)/18. Let l = g - 11762/11. Is l > 2?
False
Let i be 10/4675*-1*20/12. Which is greater: i or 1?
1
Let k = -2.8 - -4. Let y = k + -1. Let r(t) = -6*t + 38. Let v be r(7). Is y at most as big as v?
False
Let k(a) = a**2 + 9*a - 10. Let y be k(-10). Let z be 2 - 2/((-20)/(-21)). Let x = z + 71/110. Which is greater: x or y?
x
Let v = 2.15 - 2.05. Which is bigger: v or 10?
10
Suppose -4*f - 6*f = 280. Which is smaller: -21 or f?
f
Let n be 57*((-16)/(-2) + -9). Is n less than -57?
False
Let q be (-5 - 2) + 4 + 330/102. Are -15 and q nonequal?
True
Let k = 40.1 + -40. Let z be 2/((-100)/26 - -4). Do z and k have the same value?
False
Let j = -35.1 - -5.1. Let n = j + 36.5. Let k = n + -7. Is k > 0.2?
False
Let k(y) = 18*y + 199. Let q be k(-11). Which is greater: q or -2/2845?
q
Let o(w) = 2*w + 12. Let s be o(-5). Let y be (-3)/(-1) - s - 58. Is y smaller than -56?
True
Suppose 5*h - 5*o - 375 = 0, 2*h + o - 153 = 4*o. Suppose h*r - 10 = 77*r. Is r not equal to -2?
False
Suppose -2*v + 2*i = -6, -5*i - 16 = v - 5*v. Suppose -3*p - 4*r + 1550 = 0, p - 519 = -2*r + 3*r. Let q = p + -29528/57. Does q = v?
False
Let i = -3035 + 24315/8. Is i greater than or equal to 1?
True
Let l = 2 - -8. Let v be 22/55 - 4/l. Is -4/15 bigger than v?
False
Let w = 10135764 + -35323137282/3485. Let z = 4/41 - w. Let u = 42 - 42. Which is smaller: u or z?
u
Let j be (-34)/(-221) - (-6488)/(-260). Is -26 less than or equal to j?
True
Suppose -5 - 15 = -4*m. Suppose -1 = 4*n - m*n. Which is bigger: 3.3 or n?
3.3
Suppose -89*m + 92*m - 3 = 0. Let r be (-3 - -1)/(1 + m). Is r bigger than -1/91?
False
Let l(d) = -3*d**3 + 3*d + 4. Let k(b) = 8*b**3 - b**2 - 10*b - 12. Let n(t) = -4*k(t) - 11*l(t). Let u be n(-2). Is -9/5 > u?
True
Let h = -3 - 0. Let u(i) = 48*i - 245. Let l be u(5). Is h at least l?
True
Suppose 2*b - 2 = 3*z, -43*b - 3*z = -46*b + 9. Which is bigger: b or 2?
b
Suppose 0 = 2*h - 7*h - 15. Let d = h - -2. Let o = -0.3349 - -0.3249. Is o at most d?
False
Let i be (-6 + 5)/((-1)/8). Suppose -i*o + 576 = o. Is 64 >= o?
True
Let z be -1 + 0 + 18/14. Let d = 583.503 - 584. Let g = -0.003 + d. Is g < z?
True
Suppose -j - 233 = -33. Does j = -199?
False
Suppose 3*q - 5*q + 11*q = 0. Which is smaller: q or -12/91?
-12/91
Let h = 335 + -330. Are h and -67 equal?
False
Let o = -63 - -57. Let k