e
Let s = 3 + 1. Suppose -s*p = -2*g + 44, 2*p = 2*g - 5*g + 34. Let r be g/(-7) - (0 - -1). Which is smaller: r or -2?
r
Let n be 0 + (-2)/(-2) - 0. Let c be n/(-15) - (-2)/(-6). Suppose 0*o - 3*o = 0. Is o at most as big as c?
False
Let g(s) = -3*s + 5. Let n be g(4). Let r(t) = -2*t - 10. Let a be r(n). Suppose 0 = -a*p + 7 + 13. Is p at most as big as 4?
False
Let t = 25 + -13. Let o = t - 10. Does o = 1?
False
Let s = -10 - -11. Is 3/2 > s?
True
Let c = 1227/4 + -305. Is 1 not equal to c?
True
Let w = 18 + -4. Let y be 4*w*(-2)/(-8). Let q be 18/y + -2 + 1. Is q equal to -1?
False
Suppose -4*h = -5*x + 293, 0 = h + 5*x - 3*x + 57. Is h at least -67?
True
Let s(c) = -4*c + 5*c + 2 - 2*c. Let k = -9 - -15. Let f be s(k). Is f equal to -4?
True
Suppose 3 = -5*i + 4*i. Let a be (-15)/i + -2 - -1. Suppose -3*f - 2 = a. Which is greater: f or 0?
0
Suppose d - 8 = -d. Let c = -8 + d. Suppose -25 = -4*f + 9*f. Is c less than or equal to f?
False
Suppose -3*n - o + 0*o = 51, 2*n + 33 = -o. Is n at most -18?
True
Suppose 3*p = p. Suppose -5*t + 4 + 16 = p. Do 3 and t have different values?
True
Let d = 54 + -54. Which is smaller: 4/11 or d?
d
Let a = -8 - 0. Which is smaller: -23/3 or a?
a
Let w = -1 + 1. Let n be -2 - ((w - 2) + 1). Let o = 9 - 13. Is o >= n?
False
Suppose -5*q - 4 = 2*w, -5*q + 0*q = -3*w - 6. Let j be 2*(w + (-3 - -2)). Let z be ((-4)/j)/((-7)/3). Is z < -2/5?
False
Let f be (-1)/(0 - 2/28). Let m be (2/(-14))/(12/f). Suppose 4 = -5*q - 3*b, 4*q - 2*q + 4*b + 10 = 0. Is m greater than or equal to q?
False
Let d be (6/40)/((-15)/8). Which is smaller: d or 3?
d
Suppose -5*f + i + 0 = -5, 5*f + 3*i + 15 = 0. Which is bigger: -1/124 or f?
f
Let t = 41 + -42. Let a = 395 - 393.03. Let z = -0.03 - a. Which is greater: z or t?
t
Let k = -112962/77 + 1467. Is 0 at least k?
True
Let z = 32 + 8. Suppose 0 = -4*l + h + 23, 8*l + h = 3*l + z. Are l and 8 non-equal?
True
Let g(o) = o**2 - o - 2. Let d be g(4). Let f = 15 - d. Let c = 8 + -2. Which is greater: c or f?
c
Let l = 39 + -33. Which is smaller: 4 or l?
4
Let n = 12 - 19. Let j(k) = -2*k - 7. Let f be j(n). Is 8 less than or equal to f?
False
Let h = 459 - 9183/20. Is h at least as big as -1?
True
Let s = -66 + 68. Is 20/11 <= s?
True
Let a = 3151/4 - 778. Which is bigger: a or 10?
10
Suppose -3*w + 2*w + 5*l + 20 = 0, -5 = l. Is w equal to -3?
False
Let p = -2 + 3. Let i be p*1*1/(-4). Let o(q) = 4*q - 3. Let a be o(1). Which is greater: a or i?
a
Suppose -h = z + 34, 5*z - 190 = 4*h + h. Which is smaller: h or -39?
-39
Let t be ((-30)/(-4))/((-6)/(-8)). Which is smaller: 0.1 or t?
0.1
Suppose -4*q - 12 = -48. Is q at least 9?
True
Suppose -3*y + 5*t - 14 + 3 = 0, 5*t = 2*y + 9. Are -11/15 and y equal?
False
Let n be (3 - 0)/((-2)/6). Let g = 55 + -54. Is n > g?
False
Suppose -2*m = -1 - 3. Let i be 14 - (1 + 3 + -2). Suppose -p + 3 = -4*u - 0*u, 0 = 4*u - 4*p + i. Is m greater than u?
True
Suppose -3*i + 12 = -i. Let r be 0 + 0*(-3)/i. Is -2 smaller than r?
True
Let u = 4.03 - 0.03. Let q = -2 + u. Let s = 1 - q. Is -2 > s?
False
Let d = -22 + 25.9. Let c = d + -4. Is 10 less than c?
False
Suppose 0 = r - 2 + 6. Let j = -1 - r. Which is smaller: j or 2?
2
Let q be (13/(-2))/(5/10). Is q less than -12?
True
Let k = 20 - 9. Is 11 less than k?
False
Suppose -7 - 3 = -2*y. Suppose -4*i + 8 = -y*g, 2*i - 3*g - 6 = -2. Suppose -2*a = -8, 3*w - i*a + 8 = 4*w. Which is greater: -1 or w?
w
Let g = 10 - 4. Let u = 1/6 - -1/6. Which is smaller: g or u?
u
Let p(d) = -d**2 + 12*d + 9. Let r be p(13). Let x be (-205)/45 + (0 - r). Are -2 and x unequal?
True
Suppose 0*t + t = 0. Suppose 3*h - 8 = q + 5*h, t = 4*h + 12. Suppose 1 = x - 2*x. Is x > q?
True
Suppose -2*j + 27 = -5*j. Let s = j - -10. Which is smaller: s or -1/5?
-1/5
Let w = 11 - 21. Is w less than -10?
False
Suppose j = 5*j. Let b be (-12)/3 - (j - 4). Is b at most as big as 0?
True
Let n = 1 + 1. Suppose 3*y - 77 = -20. Suppose 4*m + y + 5 = 4*b, -3*b = m + n. Which is greater: 2 or b?
2
Let o(y) = -y**3 + 3*y**2 - 2*y + 2. Let j be o(2). Which is smaller: j or 1?
1
Let r = 0.219 + -0.119. Which is smaller: r or 7/15?
r
Let o = 6/119 - -184/1071. Which is greater: o or -4/5?
o
Let x = -10 - -12. Let t = x + -1. Suppose 2*m = -m + 5*b - 5, b = 5*m + t. Which is smaller: m or 3/7?
m
Let w(h) = -h**2 - h - 1. Suppose 2*a + 2*a = 0. Let m be w(a). Suppose 0 = -5*q + 2*q. Is m not equal to q?
True
Let z = 12 + -19. Suppose -3*j + 10 = u, 3*j + 0*j - 25 = 2*u. Let r = u - z. Are 2 and r unequal?
False
Let u(a) = 9 - 2*a - 3 + 3*a + 4. Let w be u(-7). Does w = 3?
True
Let q = 12.4 + -11.4. Does q = -2/145?
False
Let r = 403 + -12491/31. Is 1 smaller than r?
False
Let y = -2 + 3. Let n = y + -1.1. Let r = 220 - 1546/7. Is r less than n?
True
Let k be 0/(9/3) + 0. Suppose k = 5*c - 15. Let o = 2 - c. Which is greater: o or -2?
o
Suppose 0 = -4*f + f + 27. Suppose -5*o = c - 8, -4*o + f = 1. Is c not equal to -3/2?
True
Let k = 2 - -2. Let x be (-2 + k)/(1/3). Let c be -3*1/(-9)*x. Is c < 2/3?
False
Let h = 15 - 13. Let s be 8*(h + (-15)/12). Let p = 4 - -3. Is s at least as big as p?
False
Let r be (-2 - 0) + 1 + 2. Let x = 0.03 - 0.17. Let c = x - 0.06. Is c bigger than r?
False
Let w(d) = -d**3 + 5*d**2 - 9*d + 8. Let l be w(7). Let v = l + 1684/11. Suppose 1 = 4*u - 3. Which is smaller: u or v?
v
Let a = 19 - 9. Suppose 11*x - 1 = a*x. Which is greater: 2/3 or x?
x
Let g be 1/1*4/308. Is g less than or equal to -1?
False
Let q = 30389/4 - 7654. Let l = 57 + q. Is -0.3 smaller than l?
True
Let s be 2 - (1 - 15/(-10)). Let g be (2 + 0)*9/6. Do s and g have different values?
True
Let g(w) = -w**3 + 5*w**2 - 3*w + 1. Let u be g(2). Let v be 3/6 + u/2. Is v less than -2?
False
Let y be (-14)/(-5) + (6/(-5))/(-3). Which is smaller: y or -0.1?
-0.1
Let m = -17.9 + 18. Which is smaller: m or -0.2?
-0.2
Let l be (-52)/(-20) + 4/10. Suppose -4*o + l*b + 30 = 0, 5*b - 55 = -3*o - 18. Is o at most as big as 10?
True
Let d(m) be the third derivative of 5*m**4/8 + m**3/6 - 8*m**2. Let v be d(-1). Do -0.1 and v have different values?
True
Let m = 11 + -9. Let w = 1.6 - m. Let b = w - -0.2. Is b greater than or equal to -1?
True
Let m = 184 + -580/3. Let w = m + 10. Do 9 and w have the same value?
False
Let y = 4 + -10. Let g be (-34)/(-102) - (14/6 + -2). Is g at most as big as y?
False
Let v be ((-172)/(-10))/(3/60). Let k be -6 - -2 - v/(-84). Is k bigger than 1?
False
Let u = 58 - 57.8. Which is smaller: u or -5?
-5
Suppose 1 = -2*f + 4*n + n, -4*f + 28 = -4*n. Let p be ((-1)/6)/((-2)/f). Let b be 2/3*(4 + -1). Which is bigger: p or b?
b
Let u(v) = v. Let j be u(1). Let i = 108/275 - -2/275. Is j smaller than i?
False
Let u = -1067/18 - -119/2. Let b(x) = x**2 - 5*x. Let g = 12 + -7. Let o be b(g). Is u at least o?
True
Let n = -23 - -23.01. Which is smaller: n or 1?
n
Let x be -3*(-5)/((-1395)/6). Which is smaller: 1 or x?
x
Let q = 70 - 75. Which is greater: q or -21/4?
q
Let i(q) = -3*q**3 + 4*q**3 - 6*q**2 + 3*q + 0 + 7. Let t be i(5). Let m be -1 + 0 + 0 - t. Is 2 != m?
False
Let u be 1/(((-4)/6)/(-2)). Let a = 21 - 18. Is u at least as big as a?
True
Let i(d) be the first derivative of 2 + 1/3*d**3 - 3*d - 1/2*d**2. Let l be i(3). Which is greater: 4 or l?
4
Let u(j) = -2*j**2 - j**3 - 7 - 9*j - 7*j**2 - 5 + 0*j**2. Let o be u(-8). Let b = o + 6. Which is smaller: -3 or b?
-3
Let t = 20 - 29. Which is bigger: 0 or t?
0
Let k = 1 + -3. Is k <= -2/3?
True
Suppose a - m + 4 = -3*m, 3*m = 5*a - 32. Let w(c) = -c + 1 + 4*c - a*c. Let f be w(2). Which is bigger: f or -2/3?
-2/3
Let g be 2/(-3)*(-9)/(-12). Suppose -j = 4*j. Which is smaller: g or j?
g
Let b(y) = -y + 2. Let t be b(0). Let i be -1*(-2 + (t - 2)). Which is smaller: i or 3/4?
3/4
Suppose 8 = 4*f - 0*f. Suppose 5*c + 36 = 4*p, 2*c + f = 4*p - 22. Let d be ((-1)/10)/(p/(-16)). Is 1 smaller than d?
False
Let c = 0 - 0.3. Let h = 1 - 0.6. Let i = c + h. Which is smaller: i or -1/2?
-1/2
Let r be (-9)/6*16/3. Let o(g) = -g - 6. Let i be o(r). Is i equal to 5/3?
False
Let h = -118 - -66. Let z be ((-96)/h)/(-1) - -2. Which is smaller: z or -1?
-1
Let m = 269/357 + -2/51. Is m less than 2?
True
Let d = -2.2 + 5.2. Are d and 2 nonequal?
True
Let x = 0 + 0. Let q be (8/(-6))/2 - x. Suppose