reater than -5?
False
Let n = -3 + 9. Suppose -3*l - 4*g - n = 0, -2*g + 0 = 2*l + 2. Which is greater: 0 or l?
l
Let r = -1.9 + -13.1. Let d = r + 14.8. Which is smaller: -1/4 or d?
-1/4
Let j be (192/80)/((-3)/(-40)). Is 33 not equal to j?
True
Let b be 51/(-15)*2/12. Let i = b - -1/6. Let o = -3.6 + 3.5. Are o and i equal?
False
Let i(a) = 5*a - 2. Let v be i(-5). Let y be ((-4)/(-42))/((-6)/v). Let g(l) = l**2 + 4*l + 4. Let r be g(-3). Which is bigger: y or r?
r
Let g = -2 - -4. Let p(a) = a**2 - 7*a + 9. Let u be p(6). Which is bigger: u or g?
u
Let o(n) = n**3 + 5*n**2 - 7*n - 3. Let t be o(-5). Suppose 3*k - 66 = 3*x - 24, 3*k = x + t. Which is smaller: k or 11?
k
Let t = 2 - -104. Which is smaller: t or 0?
0
Let g be 6/226*(-26)/39. Is g at most 0?
True
Let w be (-2)/8 - 39/4. Suppose -5*y - 2*a = -155, -3*y + 4*a = -y - 38. Let n be w/(-25)*(-5)/y. Which is smaller: -1 or n?
-1
Let c(y) = -y**3 - 5*y**2 + 4*y - 2. Let j be c(-6). Let w be (-6)/j + (-138)/(-30). Suppose 2*b = 4*a - 3*b + 25, 4*b - w = 0. Is a at least as big as -5?
True
Let y = -5.7 - -0.7. Let n = y + 8. Are n and -1 equal?
False
Let g = 26084573/17 - 1535171. Let z = g + 784. Let o = 65/136 + z. Which is smaller: o or 1?
o
Suppose 4 = 2*g + 4*w, -4*g + 29 = -w + 2*w. Let f be (-238)/26 + (-14)/(-91). Let i = g + f. Which is greater: 2 or i?
2
Suppose -3*t = -4*t + 2*l - 53, -l - 5 = 0. Is -62 equal to t?
False
Let h = -7 + 11. Let b be (-2)/(-2) + h/(-5). Which is greater: b or -0.1?
b
Let j = 4 - 6. Let a be (-3 - 7/(-4))*-4. Let s be a/(50/8)*-5. Which is smaller: j or s?
s
Let g be (-6)/1*(-7)/21. Suppose v + 19 = -g*p - p, 8 = -p - 2*v. Does -5 = p?
False
Let f = -26 - -34. Is f bigger than 5?
True
Let f be 1 + -2 - 4/(-3). Let v = 2.8 - -0.2. Is v less than f?
False
Suppose -4*x = -x - 3. Suppose -5*p + 8 = -2. Is p not equal to x?
True
Suppose 2*l - 3*z - 2*z = -16, 3*z = 3*l + 6. Is l < 4?
True
Let u(t) = t**3 - 4*t**2 - 11*t + 10. Let s(h) = -h**2 + h. Let w(n) = 2*s(n) + u(n). Let z be w(7). Let l be -1 + 1 - (1 - -2). Is l < z?
False
Let b = -0.06 + 2.06. Let n = -3 + b. Are n and -1 nonequal?
False
Let c be (2/(-4))/(3/4). Let q = -102 + 100. Is c at most q?
False
Let q = -32 + 33. Which is smaller: q or 12?
q
Let w be 10/(-2)*8/(-8). Suppose 9 = w*m - 3*h, 0*h + h = -3. Is -2/3 not equal to m?
True
Let x(m) = 5*m. Let b be x(1). Suppose -3*w = p - 5, -5*p - 4*w - 2 = -b. Is 3/7 >= p?
True
Let z = -16 + 19. Suppose 5*s + 3*p = 55, -s + p = -z*p + 12. Is s bigger than 6?
True
Suppose 3*t - 4*t = 0. Suppose t*v = -4*v + 8. Are 0.1 and v equal?
False
Suppose -t - 6 - 29 = 0. Let y = t + 176/5. Suppose 1 = -4*s - 3. Which is bigger: y or s?
y
Let n = -0.57 - -0.47. Which is bigger: n or -40?
n
Suppose 0*p = -5*x + p + 3, 8 = 4*p. Let a be 6/(-21) - x/21. Let d = -1 + 1. Which is bigger: a or d?
d
Let u be (-6)/(-9) - 104/12. Is -0.1 <= u?
False
Let x(a) = a + 2. Let c be x(0). Let i = c - 1. Let b = 2/115 + -248/1035. Do b and i have different values?
True
Let t = 64 - 64.07. Do t and -1/2 have the same value?
False
Suppose -5*k + 3*k + 4*y = 40, 0 = 2*y + 2. Do -19 and k have different values?
True
Let c be (-2 - (-3 + 2)) + 2. Let t = -6 + 6. Does c = t?
False
Let t be 1/(-4)*2*-2. Let p = 26 + -26. Which is smaller: p or t?
p
Let y = 11 - 10. Let a = y - 7. Which is bigger: a or -4?
-4
Suppose 0 = -z + 32 + 4. Let q be ((-1)/3)/((-6)/z). Is q < 4?
True
Let p be (-2)/(-4)*3/(-18)*3. Does p = -14?
False
Let v be -1*9/((-3)/1). Let p be 1 - (-3 - (v - 4)). Which is bigger: 4 or p?
4
Let n be 0 - 0 - (-2 - 0). Suppose -3*o - 3*l + 1 = -2, -5*o = 3*l - 11. Is o bigger than n?
True
Let g(r) = r + 22. Let i be g(0). Let b be 2/4 - i/60. Suppose 0*z = -3*h - 2*z + 6, 4*z = 5*h + 12. Are h and b non-equal?
True
Let s be ((-20)/25)/((-6)/(-20)). Is s less than or equal to -3?
False
Let t = 1 - -2. Suppose t*y = y + 6. Let h be (y/(-2))/(9/(-12)). Is -1/3 <= h?
True
Let g = 4834/51 + -284/3. Do 0 and g have the same value?
False
Let r be (-1)/(0 + 2/14). Let s be (-8 - r) + (-2)/(-5). Which is greater: s or -0.2?
-0.2
Let i = 0.116 - 0.11. Is i not equal to 1?
True
Suppose 0 + 2 = -z. Let j = 221/20 - 59/5. Let m = -3/28 + j. Which is smaller: z or m?
z
Let x be (10/(-15))/(2/(-27)*-1). Is -31/3 >= x?
False
Suppose -2*c + 23 = 3. Suppose 3*r + c = 8*r. Let n be ((-2)/10)/(r/2). Which is smaller: 0 or n?
n
Suppose 2*n - 5*n + 213 = 3*v, 4*n + 5*v = 283. Let c be (-50)/n - 2/(-3). Which is bigger: 0 or c?
0
Let l = -702/5 - -142. Which is greater: l or 1?
l
Let u be (-7 + 2)/90*(-3)/2. Suppose -w = 3 - 4. Let c = w + 0. Is c bigger than u?
True
Let j(c) = c**3 + 5*c**2 - 11*c - 29. Let r be j(-6). Is 1/298 >= r?
False
Let b = 0.03 - -1.97. Let g = b - -4. Let q = g + -6.3. Is q greater than or equal to 0.1?
False
Let t be -2 + (33*8)/(-3). Let y be ((-6)/(-15))/((-2)/t). Suppose -3*d = -d + 4*l + y, -3*l - 17 = -2*d. Is d smaller than 2?
True
Let b be 3*-1 + 35/5. Suppose b = -2*z + 5*i, -5*i = z - 4*i + 2. Which is smaller: z or -6/11?
z
Let d be 10/(-4)*230/(-25). Which is greater: d or 24?
24
Suppose 0 = -j - 2*j - 27. Let v be ((-2)/(-1))/(-2 - 36/(-21)). Let t = v - j. Is 3 smaller than t?
False
Let t = -5 - -4. Is -2/5 >= t?
True
Let a be (-16)/(-6) + (-42)/63. Which is smaller: a or -5?
-5
Let o = -271/4 - -241/4. Let k = 10 + -17. Which is greater: k or o?
k
Let o = -0.4 - -0.6. Let m(w) = -w**2 + 8*w - 4. Let g(r) = r**2 - 9*r + 4. Let h(u) = -2*g(u) - 3*m(u). Let a be h(6). Which is bigger: o or a?
a
Let k = -17.9 + 19. Let n = -0.9 - k. Is -2 less than or equal to n?
True
Let v be (-3)/(-12) + (-51)/12. Which is smaller: v or -13/4?
v
Let m(g) = g**2 + 6*g - 8. Let n be m(-7). Let s be ((-1 - -2)*-2)/n. Let t be -2*(-3)/12*s. Which is bigger: t or 0?
t
Let m(d) = -4*d**2 - 4*d - 1. Let l(h) = -h**3 + h + 1. Let s(a) = l(a) + m(a). Let j be s(-3). Let v be j/6*(-2)/4. Do 1 and v have the same value?
False
Let r = 3/16 + -7/16. Let j = -2 - -2. Suppose j = h + 2 - 3. Which is bigger: r or h?
h
Let k = -123 - -618/5. Let x be 1/(-2)*0/1. Suppose u = -x*u. Is k bigger than u?
True
Let k be -5*((-9)/(-5) + -2). Suppose -t = k - 3. Let h = -3 + t. Is -3/5 >= h?
True
Let j = 0.136 + -0.136. Is j equal to -5?
False
Suppose -3*v - 5 = z + 3, 4 = -4*v - 3*z. Let i(b) = b**2 + 5*b + 6. Let h be i(v). Which is smaller: h or 1?
1
Let s = 6 + -4. Let a be s + 0 + (-574)/390. Let d = a + -5/39. Are d and 1/3 non-equal?
True
Let a(g) = g - 7. Let t be a(12). Suppose 0*o + t*l - 25 = -5*o, 0 = -5*o + 3*l + 1. Suppose 3*m + 1 = 5*i, 5*i - 18 = o*i - 4*m. Which is bigger: i or -3?
i
Let m = 9.1 - 0.1. Let a = m - 8.95. Which is greater: 1 or a?
1
Let q = 20 + -13. Let k be 6 + -2 + 2 + 3. Which is bigger: q or k?
k
Let y be 3/2 + 10/4. Suppose -6 - y = i. Let x be (-3 - i/4)*1. Which is smaller: x or 2?
x
Suppose -4*n - 4*d = 12, 3*n = -n - d - 3. Which is smaller: 2/15 or n?
n
Suppose -3*p = -k - 3*k - 76, -k + p = 20. Let q be ((-4)/k)/((-6)/4). Suppose -v = 2 - 3. Which is smaller: q or v?
q
Suppose 0 = -3*z + 5*x - 9 - 12, -x = -5*z - 13. Let l be (0/z)/(5 - 3). Which is smaller: l or 1/2?
l
Let r = 0 + 1. Let o = r - 2. Let n = 4 + -3.8. Which is smaller: n or o?
o
Let n(m) = -6*m**3 + 2*m**2 + m. Let j be n(-1). Which is bigger: 15/2 or j?
15/2
Let y(w) = w**3 - 4*w**2 + 13. Let n be y(-4). Which is bigger: n or -116?
n
Let y be 8/(-3)*(-33)/44. Are -11 and y nonequal?
True
Let m = -7 + 10. Let g(y) = -y**2 - 2*y + 3. Let n be g(m). Do -12 and n have different values?
False
Let v = 18968/29 + -654. Let k = v - 68/145. Which is smaller: -1/10 or k?
k
Let o be 3 - 136/36*3. Let d = o + 311/33. Are d and 2 non-equal?
True
Let l(s) = -2*s - s + 7 + 2*s. Let v be l(5). Let c be (-2)/(-3)*(-3)/(-4). Is v bigger than c?
True
Let t = 2 - 0. Let b be -1*(-2 + 2 + -1). Suppose -3*w + b + 2 = 0. Does t = w?
False
Suppose -q + 196 = 4*a, 152 = 3*q - 2*a - 380. Let l be 25/10*(-3)/q. Is -1 at least as big as l?
False
Let o = 100/13 + -2813/364. Is 0 bigger than o?
True
Let a = 2 + -2. Suppose -6*p + 2*p = h - 7, -4*h - 20 = 0. Let c be 1/p - (-14)/(-6). Is a smaller than c?
False
Let a(k) = -2*k. Let g be a(1). Let y be -2*(-1)/1*g. Suppose 0 = 16*m + 2*m + 90. Is y at most m?
F