nd s nonequal?
False
Let f be -1*((-8)/(-12))/2. Which is bigger: -1 or f?
f
Let y = -26 - -33. Is -0.2 greater than y?
False
Let p(n) = -n**2 - 6*n + 22. Let u be p(-7). Which is greater: 0 or u?
u
Suppose v + 0*v + 4*b + 16 = 0, -4*v = -b - 4. Let k be ((-1)/(-3))/((-4)/12). Let s be k*2*(-1)/4. Which is greater: s or v?
s
Suppose 5*s + 33 = 4*n, -2*s = -3 - 3. Let u be 12/(-90)*n/(-8). Let o be 15/(-28) + 2/8. Which is smaller: o or u?
o
Let o be 0*((-16)/4)/4. Let b(s) = s**2 - 4*s - 6. Let c be b(5). Are c and o equal?
False
Let b(d) = d + 2. Let h be b(0). Suppose 3*o - h - 1 = 0. Which is smaller: -0.1 or o?
-0.1
Let d(l) = -l**2 - 14*l + 20. Let t be d(-14). Is 21 not equal to t?
True
Let z = -129 - -900/7. Suppose -c + 13 = 12*c. Is z at least c?
False
Let o = 87 + -91. Which is smaller: o or -3?
o
Let s = 16 - 14. Is s at most 0.1?
False
Let c = -87 - -433/5. Let l(p) = -p - 5. Let a be l(-5). Is c at least a?
False
Suppose -2*p + p = -5, 2*p - 10 = -4*h. Which is smaller: -2/81 or h?
-2/81
Let j = 0.7 + 20.3. Is -2/3 at most j?
True
Let z = -6 - -9. Let h = z - 5. Let q = 1.8 + h. Which is greater: 0.3 or q?
0.3
Let c = -1.837 - -0.137. Which is smaller: c or -2?
-2
Let s = 1027 + -35942/35. Which is greater: 0 or s?
s
Suppose 0 = -0*l - 3*l + 45. Is l less than 14?
False
Let c = 17 + 20. Is 37 < c?
False
Suppose -3*v + 5*v + 18 = 4*m, 0 = 2*v + 2*m + 18. Let u = v + 8. Which is smaller: 1 or u?
u
Suppose 0*a = 2*a - 14. Let y = a - 5. Is y <= -1?
False
Let f = -3.04 - -0.04. Let l = f + 7. Let c = l - 4.1. Is 2 smaller than c?
False
Let l be (2/1)/((-5)/20). Is -46/5 less than l?
True
Suppose -4*t = -t - 6. Suppose 0 = t*p - 0*p + 8. Let k = p - -2. Which is smaller: -3/5 or k?
k
Let v = -61.6 - -62. Which is bigger: -0.1 or v?
v
Let q = 30 + -121/4. Is -0.2 less than q?
False
Let c = 5 - 5. Let o = 0 + c. Is o less than -1/2?
False
Let v = 0 - 0.1. Let a = -2.1 - v. Let h = a - -1.9. Are 1/2 and h equal?
False
Suppose -c + 2*c = 3. Let m = 3 + -2. Let s be (4 - 2 - c) + m. Is s less than -2/7?
False
Let x be (-2)/(-7) - (-68)/7. Let n = 8 - x. Which is greater: n or -1?
-1
Let k = -9 - -8.9. Suppose 3*z - h = 20, -6*z - h + 29 = -2*z. Let g(d) = d - 8. Let x be g(z). Which is smaller: k or x?
x
Suppose 60 = -5*i + 4*i + 2*o, -o - 72 = i. Which is greater: -67 or i?
-67
Let u = 42889/3138 - 1/1046. Which is bigger: u or 15?
15
Let n = 31 + -25. Which is bigger: 8 or n?
8
Suppose 3*t + t - 20 = 0. Suppose 0*w - 2*w = -p, -t*w = 4*p. Let u(m) = -m - 7. Let s be u(-6). Is p bigger than s?
True
Let h = 0 + -6. Let b be h/9 - (-20)/21. Is b less than -1?
False
Let g be 2 + (174/11 - 1). Let t = g + -17. Let f(d) = d - 2. Let n be f(2). Is n equal to t?
False
Let i = 20.993 + 2.077. Let m = -23 + i. Which is bigger: 0.1 or m?
0.1
Suppose 0 - 7 = 7*f. Let b = -0.3 - 1.7. Which is smaller: b or f?
b
Let h be (6/(-14))/((-9)/6). Let t = -15.23 - -15.2. Is t smaller than h?
True
Suppose -26 = 5*v + 14. Let w be (v/12)/((-52)/(-18654)). Let z = -239 - w. Is z <= 0?
False
Let n be (-11 + -9)/(3/3). Let w = 12 + -32. Is n at most as big as w?
True
Let n be (-252)/(-125) + -2*1. Which is smaller: 0 or n?
0
Suppose -5*k = -14 - 1. Suppose -k*h - h = 4. Let o = -0.211 + 0.011. Do o and h have different values?
True
Let z = 1/1394 + 2155/882402. Which is smaller: -1 or z?
-1
Let k = 1327/5 - 267. Which is smaller: -3 or k?
-3
Let n = -6.1 - -0.1. Let d = n - -4. Suppose 0 = 2*p - 0*p. Which is greater: p or d?
p
Suppose -z + 4 = z. Which is smaller: z or -4?
-4
Let w be (4/(-1) - -1) + 2. Is w smaller than 3?
True
Let u = 268/15 + -62/3. Let y be ((-14)/8)/(15/(-4)). Let m = u + y. Is -3 less than m?
True
Let l(m) = m - 6. Let f be l(6). Suppose -3*b - 9 = f, 3*r + 12 = -0*r + b. Let q(d) = d**2 + 6*d + 3. Let v be q(r). Which is smaller: 1 or v?
v
Let r = 52.21 + -52. Let k = r + -0.09. Is k at least as big as -2/5?
True
Let g be -10 - (-4 - (-4 + -2)). Do -13 and g have different values?
True
Suppose 0 = -3*h + 78 + 39. Is 38 > h?
False
Let t = 5 + -6.6. Let o = -2 - t. Which is smaller: -0.1 or o?
o
Suppose 3*o = 5*v - 11 - 3, -8 = 4*v + 4*o. Which is smaller: 2 or v?
v
Let v = 5 + -5.2. Which is bigger: -20 or v?
v
Suppose 3*i + z = -3, i + i + z + 3 = 0. Suppose 5*v + 3*q = 228, 5*v + 0*v + 2*q = 227. Suppose -3*r - 36 = r - b, 5*r + 4*b + v = i. Are -9 and r nonequal?
False
Let q be (1*-1)/(2/(-4)). Suppose -a + 12 = 8*y - 3*y, q*a + 4 = 4*y. Let t be (-3 + 2)/(-1 + y). Is -2/5 not equal to t?
True
Let g = -5 + 3. Let t be (-32)/(-225) - g/(-9). Is 0 <= t?
False
Suppose 3*p + 9 = -5*a - 2, -p - 5*a - 17 = 0. Let o(m) = -12 - 3*m**2 + m**3 + m + 12. Let f be o(p). Does 3 = f?
True
Let f = -2 + 2. Let m be 2/(-2)*f/(-2). Is 3/7 smaller than m?
False
Let m = -7.9 + 8. Which is smaller: 32 or m?
m
Let f(z) be the second derivative of -z**4/12 - 5*z**3/2 - 8*z**2 + 10*z. Let t be f(-14). Is -2 at most t?
True
Let g = 15 + -13. Which is smaller: 1/9 or g?
1/9
Let l = -1 - -4. Suppose -8*a = -l*a - 40. Suppose 0 = n - d + 2, n - 4*n = -4*d + a. Does n = -1?
False
Let a = -723/778 - 217459/291750. Let z = a + 1/125. Is -3 bigger than z?
False
Let r = 4 - 4. Are 1/2 and r equal?
False
Let n = 39 - 119/3. Let u be 0 - 6/(396/(-175)). Let d = u + -17/6. Is d bigger than n?
True
Let d be (-1)/(1 + 52/8). Let c(u) = u**2 + 5*u - 2. Let o be c(-5). Let t(b) = b**2 + 3*b + 1. Let m be t(o). Which is bigger: d or m?
d
Suppose -8*j + 6 = 78. Is j <= -13?
False
Suppose 3*r + 64 = -32. Let d be 3/(-7) + r/7. Are -5 and d unequal?
False
Let w be (-6)/30 + ((-2)/(-5))/(-2). Which is smaller: 0.22 or w?
w
Suppose 0 = -2*n + 4*g - 12, 4*n - 3*g + 0*g = -4. Let a be -1 + 0 + 1 - (12 + -13). Let r be (-2)/(0/a + n). Is r bigger than 0?
False
Let o = 27/4 - 6. Let m(i) = -i. Let v be m(0). Let j be (v + 0/1)/1. Is o at least j?
True
Let l(u) = 2*u. Let s be l(1). Suppose -5*g = -s*g. Is 2/5 less than g?
False
Let p = 4 - 4.6. Let v = p - 0.4. Is v less than or equal to -0.1?
True
Let a = 8 + -7.8. Is -4 != a?
True
Let p be 6/(-9) - (-2)/9. Suppose 4*y = -4*r + 12, -r + 5*y = 4*y + 7. Is r less than p?
True
Let z(x) = -x**3 - x**2 - x + 1. Let f be z(1). Suppose -2*u - 4*w + 19 = -21, 5*w - 25 = 0. Suppose u = -5*l - 5. Which is bigger: l or f?
f
Let a = -707 + 2831/4. Suppose t + 2*p = -p + 5, -p = -2*t + 3. Are a and t equal?
False
Let u = -3 - -3. Let k = -4 + 4.1. Is k > u?
True
Suppose -3*f = -0*f. Suppose -2*q - 3*a + f = 3, 0 = 2*q + 2*a. Are 2 and q nonequal?
True
Let q(w) = 7*w**2 + 6*w - 9. Let m be q(4). Is m bigger than 126?
True
Let p = -2 + 1. Let x be 2/(-87)*69/3. Let b = x + -4/29. Which is smaller: b or p?
p
Let m = -1/106 - 203/954. Is m not equal to -5/3?
True
Let n = -0.13 - -8.13. Let b = -13 + n. Which is greater: b or 2?
2
Let d = 36 + -37. Let v be 12/40*5/42. Let i = 37/140 + v. Is d > i?
False
Let s = 79/187 - -9/187. Which is bigger: 1 or s?
1
Let d = -43/6 - -99/14. Do 0 and d have the same value?
False
Let j be 190208/(-138) - 6/(-9). Let d = j + 1378. Let i = 86/115 - d. Is -1 < i?
True
Let w = 1 + -3. Let s = 0.08 - 0.18. Is w equal to s?
False
Let m = -0.8 - 0.2. Let k = -10 + 10. Let n = m - k. Which is smaller: n or 2?
n
Let r = 18/55 - 8/11. Let t(k) = k**3 - 18*k**2 - 3*k + 54. Let n be t(18). Is r at least n?
False
Let f = -4 + 3. Is -1/14 greater than f?
True
Let h = 1186/5 + -236. Is h not equal to 1?
True
Let p = 130780/7 + -18624. Let z = 59 - p. Which is smaller: 1 or z?
z
Suppose -14 = 4*w + w + 3*j, 0 = -w + 2*j + 5. Which is bigger: -3/5 or w?
-3/5
Let w be (-10)/(-40) - 2/4. Is 14 less than w?
False
Suppose 4*h = 2*h + 5*s - 23, 16 = -4*h + 4*s. Let c(p) = p**2 - p - 1. Let w be c(1). Let d be w + (-2)/20*-6. Is h smaller than d?
False
Suppose -2*o - 6 = -2*z, 7*o - 8 = 3*o - z. Is o equal to 10/11?
False
Suppose 3*k + 2*p - 10 = -2*p, 2*k - 3*p - 1 = 0. Are k and 3 unequal?
True
Let r be 7*(1 + (-39)/21). Let j(f) = f**3 + 5*f**2 - 7*f. Let t be j(r). Let a(v) = -v + 7. Let y be a(t). Which is smaller: y or 4/7?
4/7
Suppose 3*h + 8 + 13 = 0. Suppose -3*q = q + 32. Which is smaller: q or h?
q
Suppose 0 = 2*p - 4*i + 20, 5*p + 4*i + 0*i = -8. Is p >= -4?
True
Suppose -2*l + 113 = -5*p, 9*p - 13*p - 68 = 4*l. Is -62/3 <