er: p or 2?
2
Let o = 158 + -118. Which is smaller: o or 39?
39
Let d(c) = -c**2 - 6*c - 1. Let p be d(-6). Let b be (p/4)/((-1)/(-2)). Is 0.1 at least b?
True
Let r = 12 - 24. Let y be 126/540 + (-1)/(-6). Which is smaller: r or y?
r
Suppose -4*t + 3*o = t + 44, 3*t = o - 24. Let s = t - -5. Let y be (-14)/3 + s/6. Is 1/3 at least y?
True
Let i = 1178/3 - 396. Do i and -0.1 have different values?
True
Let p be (-2 + 3)/(7/2). Are p and 4 equal?
False
Suppose w = -3*w + s + 16, 3*w = 4*s + 25. Suppose 5*d - w*o = d + 11, -o = -2*d + 3. Let k = d - -3. Which is greater: 4 or k?
4
Let a = 1.6 - 2.6. Let s = -0.06 + 3.06. Let f = s - 3. Is f > a?
True
Let g = 6 - 5. Let l be 3/12 + 30/8. Let c be 1 + (-3)/(9/l). Are c and g equal?
False
Let o = 0.09 + 4.01. Let t = 4 - o. Let d = -0.9 + t. Are d and -0.2 non-equal?
True
Let v = -7 - -6. Let m = 1.1 + v. Which is bigger: -2/11 or m?
m
Suppose 0 = -2*k + 10. Suppose 4*t - 2*c = 4, c + 4 = -k*t - c. Let d(p) = p**3 - p**2 + p. Let m be d(t). Which is bigger: m or -2/7?
m
Let k be 1*(0 + 2 + -3). Let q = -1 - k. Suppose -2 = -5*m + t, -3*m = -3*t - 0 - 6. Is q at least m?
True
Let p = 11 - 12. Let u be 6/(-15)*p/(-10). Is 1 != u?
True
Let b = 2 - 2. Let m be (b - -1)/((-3)/6). Which is greater: m or -3?
m
Let o be 1/(-2) - 34/4. Let t(j) = j**3 + 4*j**2 + 3. Let l be t(-4). Let c be 6/o - (-5)/l. Is c equal to 0?
False
Let y be 1/(-6)*-3*28. Suppose 0 = 4*d + 2*g + 3*g - y, -12 = -2*d - 5*g. Which is smaller: -2/11 or d?
-2/11
Let m = 2 - 8. Let q be ((-4)/(-6))/((-4)/m). Is q smaller than -1/8?
False
Let p = 53 + -54. Are p and -3/76 nonequal?
True
Let p be (-8)/12 - 4/(-9). Let z = 4 + -6. Let v be (-1)/z + (-24)/16. Is p equal to v?
False
Suppose -8*i + 74 = -6. Which is greater: i or 12?
12
Suppose 3*i = 2*i - 1. Are -3/4 and i non-equal?
True
Let o = 341 - 720. Let n = 6445/17 + o. Which is bigger: 0 or n?
n
Let w be ((-4)/(12/(-3)))/1. Which is bigger: -2/43 or w?
w
Let j be (-14)/(-3) - (-12)/(-18). Suppose 0 = -m - j*m. Which is smaller: -4/5 or m?
-4/5
Let i be ((-24)/15)/((-3)/(-60)). Let k be (97/(-6))/((-2)/4). Let v = i + k. Are v and 0.2 equal?
False
Let t = -8/13 - -166/143. Is 0 at most as big as t?
True
Let l be (-50)/15*(-3)/6. Is 1 greater than or equal to l?
False
Let x be ((-4)/(-1))/(1 - -1). Let m be 0 + 0/(1 - x). Let v = 57 - 227/4. Which is bigger: m or v?
v
Suppose -3*d = 2*d - c + 40, 5*d + 40 = -5*c. Let u be (d/20)/((-42)/5). Is 0 <= u?
True
Let d(i) = -i**2 - 12*i + 101. Let a be d(-18). Let z = -22 - -14. Is a equal to z?
False
Let g = -14 + 13. Is g bigger than -2?
True
Suppose 3 = -3*p - 2*n + 10, 0 = -5*p - n. Let s = p + 10. Are 9 and s nonequal?
False
Let z be -6*2/4 + 8. Is 5 > z?
False
Let p = -0.059 - 8.691. Let m = p - 0.25. Are m and 1/3 nonequal?
True
Let x = 6 + -8. Let w = 1.9 + x. Is w > -0.05?
False
Let l = 0.09 + 0.01. Suppose o + 12 = 5*o. Is l smaller than o?
True
Let z = -47 - -57. Is z at least as big as 53/5?
False
Suppose d + 7 = 4*k, -4*d - 8 = -2*k + 6. Let w be 9*(4/d - -1). Let p be (w/12)/1*1. Which is greater: p or -1?
p
Let h be ((-75)/4)/(-5) + -3. Suppose 2*r = 3*r - 2. Do r and h have different values?
True
Let d(y) = y**3 + 8*y**2 + 7*y - 2. Let w be d(-7). Let u be (w/40)/((-8)/(-20)). Is -1 < u?
True
Let o = 24 - 14. Which is smaller: 11 or o?
o
Let s be (0 - -2)*15/2. Suppose -3*o + s = 0, -3*o - 247 = 4*b + 406. Let f = b + 2169/13. Which is smaller: 0 or f?
f
Let k = -0.7 - -0.5. Let r = 0.3 + k. Which is bigger: r or 0.3?
0.3
Let h be (1/2)/((-2)/(-24)). Suppose -2*b - 4*i = 0, 5*i = -b + h*i + 9. Let o = 8 - b. Is 3/2 at least o?
False
Suppose 2*l = l - 3*b - 1, -2*l + 2*b + 6 = 0. Is 12/11 smaller than l?
True
Suppose u = 3*u + 4*w, 4*u + 3*w = 0. Suppose u = 5*p + 33 + 12. Let x be ((-6)/p)/(4/(-6)). Is 1 at least x?
True
Let q = -0.088 - 0.982. Let j = q + 0.07. Is -3/4 equal to j?
False
Suppose -2*z - 4*r - 6 = 2, -5*z - r + 16 = 0. Let l = z + -4. Which is smaller: 3/5 or l?
l
Let s = -10 - -7. Let n = -2.8 - s. Let q = 0.8 + n. Do q and 3 have the same value?
False
Suppose 0 = -d - d - 4*n - 2, 2*d = 3*n + 19. Suppose -2*c - 4 = 2*w - w, -w + d*c + 10 = 0. Is w bigger than 2/9?
False
Suppose -x + o = -4, o + 4 + 2 = 3*x. Which is smaller: 4/15 or x?
4/15
Let g be (22/(-33))/((-4)/(-6)). Which is smaller: g or -4?
-4
Let x(k) = k. Let j be x(-2). Let b = j + 2. Let p = -3/4 - -1/4. Which is smaller: p or b?
p
Let p be ((-192)/4)/(-4) - -3. Let t be 6/p + (-24)/10. Let r be (-3)/(-12) + (-2)/8. Is r at least t?
True
Let j(d) = d**2 + 3*d + 3. Let x be j(-4). Is x >= 7?
True
Suppose -4*r - 46 = -14. Which is smaller: r or 0.1?
r
Let z be (-12)/36 + (-196)/(-30). Which is smaller: z or 7?
z
Suppose -2*k = 5 - 3. Let v be (k - (-30)/(-34)) + 2. Is 0 smaller than v?
True
Let j = -93/66778 + 5/386. Which is bigger: 0 or j?
j
Let a(y) = y**2 - 14*y - 14. Let m be a(15). Which is smaller: m or 2/173?
2/173
Let r = 10 - 14. Let u be (-1)/2 - 22/r. Suppose -5*v + 13 = 3*n - 4*v, 3*v = -6. Is n at least u?
True
Let w(y) = y**2 + y. Let b be w(0). Suppose -2*x = -b + 2. Let u be 7/60 - (-1)/(-4). Is u greater than or equal to x?
True
Suppose -y + 5*y + 13 = 5*c, 0 = 3*c - 2*y - 9. Is c bigger than 6?
False
Let p = -5 + 4.84. Let c = -0.06 - p. Does 10 = c?
False
Let m = 59 + -58.9. Do m and 3/4 have the same value?
False
Let h be 12/(-9)*(-1)/(-6). Let x(s) = -s**3 + 9*s**2 - 7*s - 8. Let p be x(8). Which is bigger: p or h?
p
Let f = -7 - -8. Is f at least as big as 6?
False
Let f = -11.11 - -11. Which is bigger: f or -1/13?
-1/13
Let f(d) = 4*d**2 + d + 1. Let a be f(-1). Let b be 0/(1 - (0 - 0)). Suppose b = -2*i - 0*i - 4*x - 10, 0 = 3*i + 2*x - 1. Is a bigger than i?
True
Let y(b) be the second derivative of -b**3/3 - 11*b**2/2 - 2*b. Let x be y(-7). Which is smaller: x or 2?
2
Suppose 2*y - 3*l - 17 = 0, 0 = -3*y + 3*l + 18 - 0. Let j = -104 + 522/5. Is j equal to y?
False
Let z = -23 - -31. Is 90/11 greater than or equal to z?
True
Let n = 4.8 - 4.9. Which is smaller: n or -2?
-2
Let b(r) = r**2 + 2*r + 3. Let j be b(-2). Let f be 2/j - 4/6. Let i(p) = p**3 + 4*p**2 - 4*p + 4. Let t be i(-5). Is t <= f?
True
Let g be (-2)/(7 + -3)*26. Let c = 11 + g. Is c at most as big as -3/2?
True
Let l = 0.1 + -0.2. Suppose -3*x + 6*x = -5*o + 169, -o = -4*x + 187. Let v = 526/11 - x. Which is smaller: l or v?
v
Let k = 0.3 + -0.1. Let b = 12 + -19. Let i be b/28*-1*1. Is i greater than or equal to k?
True
Let z be (-62)/(-10) + 4/(-20). Let t be 2 - (z/(-3) - -1). Suppose 2*a = t*a + 1. Do -7/5 and a have different values?
True
Let m be (4/(-18))/((-2)/(-3) - 1). Let g be 6/(-3) - 1/(-1). Let i = g - -2. Does i = m?
False
Let b = 84 - 77. Is 10 at most as big as b?
False
Let y be 2/(-3)*(0 - 2). Let v = -31 + 31. Which is smaller: y or v?
v
Let f be 2 + (-3)/3 - -2. Let k be ((-4)/(-3))/(2/3). Is f != k?
True
Let t = -0.06 + -0.34. Let p = 19.7 - 20. Let c = t - p. Which is smaller: c or 2?
c
Suppose -24 = -3*m + m. Let n = 46 + -33. Does m = n?
False
Suppose 0 = a + 28 - 27. Which is bigger: 4/69 or a?
4/69
Let i = 250098 - 2752928/11. Let h = 168 + i. Let k be 2 + 3/(9/(-6)). Is k bigger than h?
True
Suppose 3*a - 18 + 6 = 0. Suppose a*b + 0 = -4. Let d = -80 + 639/8. Is b at most d?
True
Let p be (-1 - -1) + (-128)/32. Suppose 0*i - 20 = -2*i. Let x be (-1 - -2)/((-2)/i). Are p and x non-equal?
True
Let m be (-10)/20 - (-1)/2. Which is smaller: 1/37 or m?
m
Let t be -2 + 1 - 26/(-32). Let f be (4 - (-36)/(-8))*(-2 - 0). Is t smaller than f?
True
Let v be ((-1)/3)/(8/(-12)). Suppose -5*l - 3 + 28 = 0. Suppose 3*q - 3*c + 9 = -0*c, -l*c + 23 = -q. Do q and v have the same value?
False
Suppose -3*i - 2 = -5. Let n = 5 + -1. Suppose 5*r - 3*g = 22, -n*g - 26 = -8*r + 3*r. Which is smaller: r or i?
i
Suppose -2*l - 2 = -5*v - 3*l, 11 = -v - 4*l. Let u(i) = -i - 7. Let j be 4/14 + (-153)/21. Let x be u(j). Is x > v?
False
Let h be 238/196 + 2/(-4). Is h less than 2?
True
Let a(d) = 4*d - 7. Let z be a(5). Let p = z - 12. Is p < 3/4?
False
Let d be -7 + (-8)/6*24/(-16). Which is greater: -70/11 or d?
d
Suppose 6 = 2*o - 4*o. Which is smaller: o or -1?
o
Let v(d) = d**2 + 13*d + 18. Let n be v(-12). Let s be ((-20)/(-12))/(2/6). Suppose s*f +