 l?
False
Suppose 6 - 4 = 2*q, -q = -3*r + 11. Suppose -a = -r + 2. Let o be 1*2/(0 + 2). Is a at least o?
True
Let j(m) = -m**3 + 10*m**2 + 5*m - 7. Let s be j(10). Let c = 62 - s. Suppose 0 = 2*t - 2*k - 3 + c, -3*t + 11 = 4*k. Which is greater: t or -4?
t
Let x be 15*((-5)/(-12) + 63/(-84)). Let q be (10/4)/((-1)/2). Is x bigger than q?
False
Let h(s) = s**2 - s - 2. Let i be h(3). Suppose -v - 4 = -2*o, -3*o = -3*v - 5 - i. Is 0.4 greater than o?
False
Let f = 2 - 2. Suppose 3*h - 5*h = f. Are -1 and h equal?
False
Suppose -5*c = -20, 0*g = -g - 3*c + 6. Let d be g/(-2) + (3 - 5). Suppose -h - t = -4*t - 6, -3*h - 3*t = 6. Which is smaller: d or h?
h
Let w = -239 - -465/2. Suppose -c + 3*d - 6 = 0, -c + 5*c - 3*d = -24. Are c and w equal?
False
Let v be -2*9/(-6) - 1. Let c be (-6 - -6)/(2/v). Let g = -1 + c. Is g <= -2?
False
Suppose -3*b = -4*t - 137 - 79, -2*b + 2*t + 144 = 0. Is b equal to 71?
False
Suppose 0 = -5*y - 25, -5*y - 10 = -6*q + 3*q. Is -5 > q?
False
Let j = 16 + -16. Which is smaller: j or 1/7?
j
Suppose 35 = 5*x + 120. Let p = x - -12. Is -5 greater than p?
False
Let h = -0.5 + -0.5. Let m = -0.01 + -0.19. Let k = 0.5 + m. Which is greater: h or k?
k
Let w = -17 - -14. Let a be w + (-4 - (2 - -1)). Which is smaller: -9 or a?
a
Let h be 10/(-1)*(0 + 1). Suppose -2*w + 1 - 21 = 0. Is w <= h?
True
Let l = -0.13 + -12.87. Let b = -21 - l. Let y = b + 7.9. Is 0.8 at least y?
True
Let o be 3/30*10/(-4). Which is bigger: o or 1?
1
Suppose 2*f - 3*c = 18, 2*f - f + 4*c + 13 = 0. Let t be f + (-3 - -2 - 0). Let p be t/6*(-108)/(-20). Which is greater: 1 or p?
p
Let y(d) = -d**2 - 9*d + 11. Let t be -2 - 9 - (0 - 1). Let u be y(t). Let c be (u/3)/((-4)/12). Which is smaller: c or 2/15?
c
Let r = 2/35 - 109/70. Let p(b) = b**3 + b + 9. Let m be p(0). Suppose 3*x + 5*j + m = 0, 4*x - 3*j + 3 = 3*x. Does x = r?
False
Suppose 2*l - 26 = 4*q, q + 4 - 2 = 5*l. Are q and -6 unequal?
True
Let p(j) = -j**2 + 11*j - 10. Let y be p(8). Let n = y + 2. Which is smaller: n or 15?
15
Suppose 0 = 3*c, 4*c - 51 = 3*n - 0*c. Let h be 0 + -2 + n/(-10). Is 1 less than h?
False
Let n = 95 - 103. Is n at least -1/6?
False
Let q = -27 - -37. Do 8 and q have the same value?
False
Suppose -1 + 11 = -g. Let y = g - -3. Let o = -1 - 5. Which is smaller: y or o?
y
Let g be ((-4)/(-6))/((-8)/12). Suppose -2*r + r + 1 = 0. Suppose -r = i - 2. Which is smaller: i or g?
g
Let y be -2*1/(-2) + -1. Is y > 0?
False
Let q = -171 - -127. Which is smaller: q or -1?
q
Let i be ((-6)/4)/((-12)/128). Suppose -i = 4*y, 0*g + g = 4*y + 22. Are 7 and g nonequal?
True
Let c = -20 - -45. Let i be (1205/c)/(4/5). Let h = -60 + i. Which is smaller: h or -1?
-1
Let w(t) = t**2 - t - 2. Let m be (-7)/(-3) + (-1)/3. Let k be w(m). Is -2/3 > k?
False
Let v be (12/60)/(2/(-4)). Is 0 greater than or equal to v?
True
Let a = 2.3 - 3. Let q = -0.5 - a. Do -0.2 and q have the same value?
False
Let i = 5 + -3. Let o(j) = -j**3 + 2*j**2 + 11*j - 11. Let c be o(4). Let r be (-13 - c)/(i*1). Is -7 greater than or equal to r?
True
Let u(m) = m**3 - 7*m**2 + 11*m - 15. Let s be u(6). Let h = s + -16. Which is greater: -2/17 or h?
-2/17
Suppose -m = -4 + 5. Let j = -1 + 5. Suppose 0 = 4*t + 3*v - j*v + 11, t + 4 = -v. Is m <= t?
False
Suppose -3*g = 4*j + 3, g + 3*j = -0 - 1. Let f(n) = n**3 + 2*n**2 + n. Let m be f(g). Suppose u + 1 + m = 0. Which is smaller: u or -2/5?
u
Let x = -0.1 + 5.1. Let w = 40 + -35. Let s = x - w. Is -1 bigger than s?
False
Let k be ((-1)/3)/(2/30). Let c be 2 - (3 + -2)*k. Is c < 3?
False
Suppose k - 11 = y, 0 = -k + y + y + 13. Which is smaller: 10 or k?
k
Let s(z) = z**2 + 6*z + 3. Let q be s(-5). Let i be -8 + 1 + q/(-1). Is i greater than or equal to -3?
False
Let u be 3 + 0 + -18 + 2. Let v be (1/u)/(2/12). Is 0 greater than or equal to v?
True
Let d(w) = 4*w + 5. Let a be d(-2). Let t be (27/(-6) - a) + 1. Do t and 2/13 have different values?
True
Let x = -868/3 + 305. Let r = x + -15. Are 0.2 and r equal?
False
Let s = -32 + -8. Is s smaller than -39?
True
Let n = 5 + -4.4. Let a = n + -0.5. Is 3 greater than a?
True
Let u(a) = -23*a**2 + a + 1. Let d be u(-1). Is d at least as big as -21?
False
Let x = 17/744 + -2/31. Let f = 11/8 + x. Is f greater than or equal to 1?
True
Let f be 588/(-33) + 3/((-66)/4). Is -17 not equal to f?
True
Let o be 7795/510 - (-1)/3. Let d = -31/2 + o. Is -2/7 > d?
False
Let m(l) = l**3 - 3*l**2 + 2*l - 2. Let c be m(2). Let a be (-1 - (c + 2)) + 3. Suppose -a*j = 2*f - 6*f + 10, 5*j = 3*f - 25. Is f at least -2/7?
True
Let d = 14 - 14. Is d <= -1?
False
Let h be (7 - 4 - (1 + 1))/1. Is h at least -2?
True
Suppose -27 = 4*d - 103. Is d > 18?
True
Let n = -170/3 - -56. Is n equal to 1/3?
False
Let h be 8/((-2)/(-2) - 0). Let j be h/6 - (-12)/18. Suppose -5*a = -j*s + 10, -a = -3*s + 2*s + 2. Is a <= -2?
True
Let t be (-4)/(-130)*(-5)/(-1). Is t less than 2/11?
True
Let j = 67 + -68. Is j smaller than -46?
False
Let m = 4 - 4. Is -1/2 < m?
True
Let r = 2.12 - 0.12. Let m = -0.9 - -1. Do m and r have the same value?
False
Let s = -1.6 + 1.7. Which is smaller: s or 0?
0
Let w = -34 - -51. Is 17 less than w?
False
Let m = 69/2 - 35. Let z = 3.23 - 0.19. Let n = -3 + z. Which is smaller: m or n?
m
Let z = -0.006 + 0.006. Do -10 and z have different values?
True
Let q(g) = -2*g + 18. Let j be q(9). Which is bigger: j or 1/6?
1/6
Suppose 0 = 3*o + 1 - 4. Suppose 2*y - 4*f + 4 = 0, o = y - f + 2. Which is smaller: -6/7 or y?
-6/7
Let x = 44 - 42. Is x greater than -7?
True
Let h(o) = -o**3 - 6*o**2 + 7*o + 4. Let s be h(-7). Suppose -3*l - s = l. Let k be ((-2)/6)/(-1*1). Is k bigger than l?
True
Let o be 939/(-684) + (-2)/(-3). Let m be 465/(-228) + 2 - 0. Let i = m - o. Which is bigger: 0.06 or i?
i
Let d = 4 + -4. Let p = 118 - 1415/12. Let c = 7/12 - p. Which is smaller: d or c?
d
Let v(l) = l**2 + 3*l + 1. Let q be v(-3). Let z = -37 + 40. Is q less than z?
True
Let f be 25/(-20) - 2/(-8). Let m = f + 1. Is m greater than or equal to 1/4?
False
Let q be (102/(-217))/(-3) + (-4)/14. Is 0 not equal to q?
True
Let u(l) = 2*l - 6. Let p be u(4). Is 19/8 at most as big as p?
False
Suppose p + 3*k = -5 - 10, -20 = 5*p + 4*k. Let f be (p/4)/(2*-1). Is f less than -6/5?
False
Let y = 21 - 17. Suppose -y*d = 3*j - 32, 5*d = -4*j + 69 - 28. Is 2 at least j?
False
Let x = -2.54 + 2.5. Let z = -502/5 - -101. Is z < x?
False
Let l be ((-6)/14)/(12/8). Which is bigger: 1 or l?
1
Let l be 6/(-52)*(-16)/(-6). Let a be ((-2)/(-5))/((-32)/(-80)). Is l greater than or equal to a?
False
Let v = -21 - -21. Let s(l) = l**2 + 6*l - 1. Let m be s(-5). Let b be (-18)/(-16)*4/m. Which is smaller: v or b?
b
Suppose 3*u = -0*u + 12. Let v = u + -3. Suppose -2 + v = -q. Is q > 4/7?
True
Let z = 1/60 - 247/420. Suppose 2 + 0 = -2*k. Is z < k?
False
Let u = 1 - -1. Let a(c) = c**3 - 2*c**2 - c - 3. Let f be a(3). Is f <= u?
False
Let p be 7/4 - (-2)/8. Suppose 2*f + p*c + 17 = c, 2*f = c - 19. Let b be 0 - -3*6/f. Which is smaller: -2/3 or b?
b
Let g be 24/(4 + -10) + 100. Is g at least as big as 96?
True
Let t = -46 - -45.9. Do 63 and t have different values?
True
Suppose 66 = 3*l + 84. Is l < -32/7?
True
Let o = -1.9 - -1.1. Which is smaller: o or 0?
o
Let b = 277/5 + -55. Is b smaller than -4?
False
Suppose -6 = 5*f - 5*g + 14, -3*g + 12 = 0. Suppose f = k - 6*k. Let u be (-4)/(-12)*3*(-1 - -1). Is u less than k?
False
Let a = 0.31 + -0.11. Which is greater: a or -2?
a
Suppose 4 = -6*c + 5*c. Which is smaller: c or 2/7?
c
Let d = -36/203 + -28/29. Let r = -15/14 - d. Which is bigger: r or 0?
r
Let u be ((-4)/(-8))/((-4)/3). Let l(s) = s + 7. Let w be l(-7). Which is greater: u or w?
w
Let d = 3 - -1. Suppose 0*w - 24 = d*w. Is -7 >= w?
False
Let a = -109 + 133. Is 0.1 not equal to a?
True
Suppose -3 = -m + 6. Let y = m - 9. Is 0.1 >= y?
True
Let n = 9.5 + -2.4. Let h = -7 + n. Let z = 0.7 - 3.7. Is z equal to h?
False
Suppose 3*q + 0*s + 54 = s, -5*q - 91 = -2*s. Which is greater: -86/5 or q?
q
Let p = -8 + 7.968. Let j = 6.232 + p. Let s = -6 + j. Which is bigger: s or -0.1?
s
Let b be 5/41*4/(-10). Let k = -121511 - -39855551/328. Let a = k - b. Which is greater: -0.1 or a?
-0.1
Let p = 5 + -12. Let s = 7 + p. Is s at least -0.3?
True
Let m be 84/310 - (-