p**2 + 4*p. Let t be l(0). Suppose -t*w = -4*w - 8. Is w less than 2?
False
Let c = 14/13 - 124/91. Which is smaller: 0.26 or c?
c
Let z be (-2)/4*0/(-5). Suppose 4*l + h = z, 4*l = 2*h - 0 + 12. Let k be ((-3)/4)/(l/(-4)). Is 4 smaller than k?
False
Let u = 10 - 9. Suppose -2*i - 12 = i. Let s = i + u. Which is bigger: -1 or s?
-1
Suppose -7*g = -11*g - 12. Which is bigger: g or -0.06?
-0.06
Let u = 93 - 31. Let v = u + -29. Let h = -67/2 + v. Are h and 0.5 equal?
False
Suppose 3*g + 30 = 8*g. Let l be (7 - g)*1*-1. Do 2/15 and l have different values?
True
Let l = -1 - -0.8. Let s = -2.8 + l. Is 0.1 equal to s?
False
Suppose 0 = -0*r - 4*r + 20. Suppose 5*x = 2*j, 5*x + r*j = 2*x. Suppose 4*f + 2*o = 10, -o - 15 = -3*f - 4*o. Is f at most x?
True
Let a(p) = -4*p**2 + 1. Suppose 3*w - 4 = 2*w. Suppose w*u + y + 4 = -y, 5*u - 4*y - 21 = 0. Let s be a(u). Which is greater: s or -4?
s
Suppose 4*i - 4 = -0*i. Let r = -9 - -10. Is i at least as big as r?
True
Let h = 115 + -129. Is -14 greater than h?
False
Let d be 2 - (0 + -2)/(-1). Suppose 2*m = -n + 1, n - 2*m = -0*n + 1. Let k be (-1 - 1) + 1 - n. Is d greater than or equal to k?
True
Let g = -5.31 + 0.31. Is g greater than -4?
False
Let a be 3/(-12) - (-4)/(-240). Is a less than 0?
True
Let f = -26/3 - -151/15. Let t = 4 + -2. Which is greater: f or t?
t
Let l = 14 - 17. Let h(j) = j + 4. Let a be h(l). Which is greater: a or 0?
a
Suppose 0 = 3*n + 2*x - 4, 3*x = 2*x + 2. Let a = -143 - -1005/7. Which is greater: n or a?
a
Suppose q + 8 = -t - 0, 4*t + 47 = q. Is -14 at most as big as t?
True
Suppose 0 = 2*f + 4*b, -3*b - 2 = 3*f - 5. Suppose 2 + 5 = -3*s - g, -f*g - 4 = s. Suppose -3*r + r - 2*x - 12 = 0, 3*r - 14 = 5*x. Is r < s?
False
Let p = -0.02 + 1.02. Let h = -1.7 + p. Let q = h - 2.3. Which is smaller: q or 0?
q
Suppose -2*c + 16 = -w - 5*c, 0 = 2*w + 2*c + 32. Is -15 smaller than w?
False
Let y = 6 - 3. Suppose -3*t + 0*t + 12 = -3*r, -6 = -y*t. Suppose -10*n + 8*n = 0. Do r and n have the same value?
False
Suppose 0 = -x + 3*q + 44 + 1, -163 = -4*x - 5*q. Are x and 43 non-equal?
True
Let o = 3/4 - 11/20. Which is smaller: o or -1?
-1
Let j be ((-5 - -4) + -1)*(-6)/(-15). Which is smaller: j or -0.03?
j
Let c = -2.016 - -0.016. Let p = 2 - 2.1. Let f = p + -0.1. Is c smaller than f?
True
Let j = -808 - -694.1. Let h = 109 + j. Let n = -5 - h. Which is smaller: n or -1?
-1
Suppose -5*j + 4*g = -32, 3*j - 3*g - 21 = -0. Suppose j = -3*n - c, -4*c - 12 = -5*n + 4. Does n = -1?
False
Let v = -9 + 5. Let a be (-2)/8 - 9/v. Suppose 3 - 1 = s. Is s smaller than a?
False
Let w = -0.02 - -0.02. Let r = -0.03 - w. Let x = 1.97 - r. Is x at most as big as 0.1?
False
Suppose -y - p = -3*y - 35, y + 2*p + 10 = 0. Is y >= -18?
True
Let h(w) = w**2 + 8*w - 10. Let r be h(-9). Let o = 0.1 - 0.1. Let v = o + -1. Is v at most as big as r?
True
Suppose -4*x + 6 = -x. Suppose 5*w - 21 = 3*z - 5*z, -x*z + 3*w = 19. Let n be 2*z*7/4. Is n greater than -8?
True
Let n be (4 - 5/1)*(-3)/3. Is 1/44 smaller than n?
True
Let q(d) = d**3 + d**2 + d - 4. Let y be q(0). Let w = y - -8. Suppose c - w*c = 9. Is -3 less than c?
False
Let y = -93 - -108. Which is smaller: y or 12?
12
Let n = 65 + -69. Let m = 0 + -2. Which is smaller: n or m?
n
Let u = 12 + -2. Suppose -5*i + u - 25 = 0. Let k be (-10)/15 - (-4)/6. Which is bigger: i or k?
k
Let v be 2/((-3)/(-9)*-1). Is v bigger than -8?
True
Let j(m) = -m - 9. Let c be j(-5). Let f(g) = -2*g**2 - 8*g + 3. Let y be f(c). Are 4 and y nonequal?
True
Let o be 6 + (-4 - -4 - 3). Is 3 at most as big as o?
True
Let r = -33 - -15. Is r > -18?
False
Let g(f) = -f**2 + 4*f + 3. Let k be g(5). Let w be (-1 + 3 - 0) + k. Is w at least 1?
False
Let w be (2 - (6 - 3))*11. Let d = -31/3 - w. Which is greater: d or 1/4?
d
Let l be (25/4)/(1/(-4)). Let x be (l/10)/((-2)/4). Let p = 3 - x. Which is smaller: -1/3 or p?
p
Let p = -14 + 21. Suppose 5*j = 5*n + 15, 0 = -3*j - 3*n + 2*n - p. Let q be j + (0/2 - -2). Which is bigger: q or -1/5?
q
Let s = 5 - 7. Let x = 0 - 1. Is s at most x?
True
Let r(a) = -6*a**3 + a**2 - a + 1. Let h be r(1). Let n be 6/(-15) - 36/10. Which is bigger: n or h?
n
Let i = 0.32 - 0.3. Let j = -0.08 - i. Is j smaller than 2/5?
True
Let p = 4 - 9. Which is smaller: p or -4?
p
Let a be -3 + (-3)/((-6)/4). Let k be (4/3)/(a/90). Let o = k + 356/3. Which is bigger: -1 or o?
-1
Let b = -3 - 4. Let w = b - -4. Is w >= 0.2?
False
Let t = -6.48 - 0.72. Let f = 7 + t. Is f < -0.2?
False
Suppose 5*q = -3*c + 8, -5 = -5*q - 0*q. Let d(i) = -i - 9. Let b be d(-6). Let r = b + 2. Does c = r?
False
Let i(o) = o**3 + 8*o**2 + o + 9. Let r be i(-8). Suppose -m + 0 = r. Let y be (-1)/(-3)*(-6)/4. Is m less than y?
True
Suppose 2*x + 3*h + 6 - 13 = 0, 2*h = -x + 3. Suppose -10*s + 5 = -5*s. Let t = 5 + s. Which is smaller: t or x?
x
Let s(c) = -c**3 + 7*c**2 - 2*c + 7. Let o be s(7). Which is smaller: o or -0.1?
o
Let w = 19 + -8. Suppose w = -t - 2*c, 5*t + 4*c + 22 + 9 = 0. Let m(f) = -3*f**2 + f + 1. Let u be m(-1). Is t less than u?
False
Let u be (2 - -1)*(-2)/(-2). Suppose 5*v + 3*g = 10 + 1, 6 = u*g. Let h be 2/(-25)*(v - 6). Is h at least 0?
True
Let r = -25/2 + 13. Suppose -4*o - 5*p + 5 = 0, 5*o + 5 = 4*p + p. Which is bigger: r or o?
r
Let h be 2/(-8) + (-6)/8. Let g = h - -3. Let w be 0/g*(-1)/(-2). Is w <= -1?
False
Let k = 0 + 1. Let d = 2.97 - -0.03. Let q = d - k. Which is smaller: 2/7 or q?
2/7
Let r be ((-2)/4)/((-2)/(-4)). Suppose 3*c + 64 = 4*j, -c + 3*c = -2*j - 66. Let m be (-6)/c - (-7)/(-14). Which is smaller: r or m?
r
Let o = -64 - -56. Which is smaller: 1/3 or o?
o
Suppose -11*b + 24 = -13*b. Which is greater: b or -56/5?
-56/5
Let s = -131 + 204. Is s < 73?
False
Let d(a) = a - 2. Let t be d(8). Let l be t/(-18) + 4/3. Let x be ((-8)/(-10))/(2/5). Is x < l?
False
Suppose 0 = -3*g + 2 + 4. Which is greater: -3 or g?
g
Let u be (12 - 6)*5/2. Suppose 3*g - z + u = 0, z - 5 = 5*g + 18. Is g > -4?
False
Let i = 45 + -13. Which is smaller: i or 0.1?
0.1
Let i = 431/312 + -1/156. Which is smaller: i or 2?
i
Let l = -18 - -18.04. Which is smaller: 0.2 or l?
l
Suppose -340 = -f + 3*f. Let d be 3 + (-5)/(f/(-84)). Let v = d - 69/34. Is v greater than or equal to -3?
True
Let u = 102 + -98.5. Which is greater: 3 or u?
u
Suppose -11 = 5*p - 61. Let v be (-190)/20 - (-3)/(-2). Let z = v + p. Is -1/2 < z?
False
Let u = -9/8 + 11/8. Let v be 4/(-6)*12/8. Which is smaller: v or u?
v
Let j = -1.6 + 1.7. Let p = 0 - -6. Are j and p equal?
False
Let s(k) = k**2 - 8*k + 8. Let d be s(7). Let q be 8/(-36) - 64/(-126). Is d less than q?
False
Let p(n) = -n - 4. Let o be p(-5). Let q = -6 - o. Let t be 120/(-175) + (-2)/q. Which is smaller: t or 0?
t
Let s = 0.18 - 0.08. Which is smaller: s or 15.2?
s
Suppose 0*m = -4*m. Suppose 2*y = -3 - 15. Let f be ((-2)/3)/((-42)/y). Which is bigger: m or f?
m
Let q be 1 + (15 - (0 - -1)). Which is bigger: q or 14?
q
Let f be 3*((-25)/(-9) + -3). Is f greater than -1/5?
False
Suppose 3*b - 5 - 1 = 4*k, b + 4*k = 18. Suppose -3*c = 3, 4*a - b + 1 = c. Is a less than or equal to 0?
False
Let w be (-3 - (-3 - -1)) + -1. Let y be 12/(-22) - 4/(-8). Let d = y + 13/44. Do d and w have different values?
True
Let d be 83/90 + (-8)/36. Which is smaller: 2 or d?
d
Suppose 4 = 3*v - 2. Suppose -5*x + v*i + 10 = -i, -5*x + 20 = -5*i. Which is bigger: x or -3/2?
x
Let c(t) = -2*t + 19. Let x be c(10). Let r be 5 - (5 + x) - 2. Which is greater: 1/8 or r?
1/8
Let u be (-14)/(-18) + 0 - 1. Let l = -20/13 - -86/39. Which is greater: u or l?
l
Let o(j) = j**2 + 13*j - 68. Let m be o(-17). Which is smaller: -2/25 or m?
-2/25
Let l(w) = w**2 + 10*w + 1. Let a be l(-8). Let s = -17 - a. Are -4/5 and s unequal?
True
Let m be 1*(-4)/8*10. Let c be ((-80)/6)/m + -2. Is 1 > c?
True
Suppose s - 14 = 7. Suppose 0 = -4*u + 3*u - s. Let m = u - -12. Is m > -9?
False
Let s = 26 + -24. Is 5/6 at most s?
True
Let d = -23 + 12. Let y be (-2)/d + (-42)/(-11). Which is greater: 6 or y?
6
Let d = -0.1 - -0.1. Let o = -0.29 + -0.01. Let s = -1.7 + o. Is d > s?
True
Let x = 0.5 + -0.9. Let g = 3 + -2.5. Let s = x + g. Is s greater than -2/3?
True
Suppose 10*j = -445 - 805. Is -126 smaller than j?
True
Let k(i) = -i**3 - 7*i**2 + 7*i - 6. Let u be k(-8). Do u and