
False
Let p = 13/425 + -76179/3400. Let x = -22 - p. Which is smaller: -1 or x?
-1
Let l be (21/(-70))/(3/(-4)). Let h = 0.1 + 1.3. Let s = h - -0.6. Which is smaller: l or s?
l
Let l be (4/(-3))/(-4*(-66)/(-252)). Which is bigger: l or 2?
2
Let p = -1.1 - -0.7. Let b = -0.5 - p. Let z = 0.38 - 0.08. Is b at most z?
True
Let r(i) = 2*i - 9. Let x(f) = f - 9. Let l(h) = 2*r(h) - 3*x(h). Let b be l(0). Is b smaller than 10?
True
Let s be 5664/(-32760) - (-4)/26. Which is bigger: s or -1?
s
Let g = -3 - -4. Let t be g/3*-2*3. Let p be 2/((1 - -1)/t). Which is greater: p or -3?
p
Let t be 110/(-30)*3*-1. Is 11 > t?
False
Let f be 8/(-3)*(-9)/6. Suppose -5*g + 1 = -f. Suppose 5*j = -3*x + 5, -j - g + 2 = -5*x. Is j greater than or equal to 3?
False
Let q(j) = -j + 2. Let l be q(5). Which is smaller: l or -1?
l
Suppose y = 2*g - 9, 4*g - y - 14 = -1. Let k be (g/(-4))/(9/(-6)). Is k < 0?
False
Suppose -4*x + 3*x + 4*p + 22 = 0, 0 = -2*x - 5*p + 5. Let s be (0 - -8) + 2/2. Which is greater: s or x?
x
Let j be (-10)/(-3)*(-10)/((-480)/126). Which is greater: j or 8?
j
Let d = -6 + 24. Let p be 42/(-297) - 4/d. Is p > 0?
False
Suppose -5*d + 4 = -4*j, 5 = -5*j - 2*d - 3*d. Let r be (-1)/((7/2)/7). Let h be r/6 + (-2)/12. Which is greater: j or h?
h
Let x(w) = -w**2 - 5*w - 6. Let z be x(-3). Which is smaller: 1/7 or z?
z
Let w be 3/(-6)*(-8)/(-2). Let c be 10 - 2*w/(-4). Is 8 at most as big as c?
True
Let f(b) = b - 5. Suppose -4*l - 70 = -5*o, -2*l = 3*o - 6*o + 44. Let h be 68/o + (-2)/(-9). Let y be f(h). Is 1 >= y?
True
Let w = -0.04 + -0.06. Let d = 0.1 + -0.3. Let y = 0.2 + d. Is y at most as big as w?
False
Let g = -42810/29 + 1476. Which is smaller: 1 or g?
g
Let l = 203/221 - 15/13. Is 1 bigger than l?
True
Let b(h) = -6 - h**2 + 1 - h + 6*h + 2*h**2. Let v be b(-6). Is 1 at least v?
True
Let u(y) = -4*y**2 + 5 + y**3 + 7*y - 2*y**3 + 0*y**3. Let c be u(-5). Which is greater: 0.1 or c?
0.1
Let i(n) = n**3 + 10*n**2. Let a be i(-10). Suppose -3*g = -5*c + 5, -4*c + a*c - 4*g + 4 = 0. Let u = 0 - c. Are 0 and u unequal?
True
Let z be (-2)/(-11) - 304/(-22). Let y be 30/(-42) - 4/z. Which is smaller: -2 or y?
-2
Let q be (-2)/(-4) + 3/(-4). Let p(n) = n**3 + 3*n**2 + 3*n + 2. Let a be p(-2). Let o be 0 + a/(-2 + 3). Which is smaller: q or o?
q
Let c(n) = n**2 - 8*n + 3. Let u be c(8). Suppose w - 48 = u*v, -2*v - 5*w = v + 48. Is -16 smaller than v?
False
Let l = 12.3 + -12. Let a = -0.3 - 0. Let m = a + l. Which is greater: -0.1 or m?
m
Suppose d + 11 = z, 0*d + 5*z - 11 = d. Let h = d - -2. Let j be ((-1)/2)/(h/54). Is 2 != j?
True
Let z = 1 - -2. Let n be (30/8)/(z/8). Let t = n - 15. Which is smaller: t or -4?
t
Let s be -3 + (0 - -1) + -5 + 7. Which is greater: s or -1/88?
s
Let f = 11453/32 - 358. Are f and 1 unequal?
True
Let v = -23/3 - -89/12. Do 0 and v have different values?
True
Let b = -9265/8113 - 1/1159. Which is smaller: b or -2?
-2
Let g(d) = -14*d - 1. Let v be g(-1). Is 13 < v?
False
Let l(n) = 4*n**2 - 5*n + 7. Let w be l(-5). Let i = -388/3 + w. Which is greater: i or 2?
i
Let f = -47 - -37.4. Let c = f - 0.4. Is 1 smaller than c?
False
Let g = 65 + 32. Is g at most 97?
True
Suppose -m - m = -4. Let y be (-3)/(3 + -2) - -3. Let s be m/(-2 - y) - -3. Which is smaller: 1 or s?
1
Let b be 8/6 - 4/(-6). Suppose b*y + 11 = 3. Let t be (1 + -1)/(-2 - y). Is 0 at least as big as t?
True
Let q(z) be the third derivative of -z**6/120 - z**5/15 + z**4/24 + z**3/2 + 4*z**2. Let p be q(-4). Is -2/47 > p?
True
Suppose 5*c + 5*t + 50 = -0*c, 5*c + 3*t + 44 = 0. Let o be 5 - (1 + 1 + -1). Let d be o/(-14) + 5/c. Which is greater: 2/7 or d?
2/7
Let h be (15/10)/((-9)/(-24)). Suppose -31 = -4*c + 2*c + 5*t, -2*c - h*t = 14. Which is bigger: 4 or c?
4
Let f = 1.05 + -1. Let t = 43.05 + -41. Let k = f - t. Is k bigger than -1/2?
False
Suppose 60 = 8*i + 28. Is i at most 3?
False
Suppose 0*k + 2*k - 2 = 0. Let h = 4 - 2. Let s = h + k. Is s not equal to 1?
True
Let h = -0.156 + -0.004. Which is smaller: 0 or h?
h
Let w = 0.1 + -4.1. Let g be ((-21)/(-35))/((-63)/(-35)). Is g greater than w?
True
Suppose 0 = -2*i - a + 13, -2*a + 32 = 3*i + 2*i. Let n be (-4)/i - (-16)/6. Let p = 31 + -29. Is p equal to n?
True
Suppose 0 = -9*p + 4*p - 50. Suppose -b - 7*j = -2*j + 21, b + 1 = 5*j. Which is bigger: b or p?
p
Let l = 147/247 - 5/13. Which is greater: l or -1?
l
Let x be 0 + (-2 - (2 + -3)). Let g = -2 - 2. Let h = -6 - g. Do x and h have different values?
True
Suppose 5*j - 5 = 10. Let z = j - 5. Is -2 at least as big as z?
True
Suppose -16 = -13*t - 29. Is t greater than or equal to -1/40?
False
Let i = 0.01 - 0.04. Let y = 0.01 - i. Let g = y + -2.04. Which is smaller: 1/5 or g?
g
Let o = -42 - -42. Which is greater: o or 6/19?
6/19
Let a(h) = h + 6. Let b be a(0). Suppose 3*u = 9, b*c - c + u - 13 = 0. Let p be (0/(-5))/(c + 0). Which is smaller: p or -1?
-1
Let p be (-56)/(-42) - (-307)/(-12). Let t = p - -47/2. Are t and -1 equal?
False
Let m = 2/21 + 158/105. Which is greater: m or 2?
2
Let i = -18 - -25. Is i at least as big as 6?
True
Let l(w) = -w**2 + 4*w + 4. Let d be l(5). Let g = 3/11 - 20/33. Which is greater: d or g?
g
Let h(f) = f**3 - 3*f**2 + 2*f - 1. Let y be h(3). Let w = y + -4. Let n = w + 1. Is 1 equal to n?
False
Let q be (-9 - 1)*68/(-6970). Is 1 > q?
True
Let d be 2*(-1)/(-2) - 1. Which is bigger: d or 1/13?
1/13
Let m be (-4)/24*(-3)/(-2). Let r = 2.99 + 0.01. Let f = 4 - r. Is m bigger than f?
False
Let b be (0*(-4)/12)/(0 - 4). Let t = -2 + 2. Is t at least b?
True
Let l be (-8)/(-6)*2/(-4). Let b = l + 5/12. Is 7 <= b?
False
Suppose c = 2*c - 20. Let x be 5/c + (0 - 0). Which is smaller: 0.4 or x?
x
Let d = 119 + -951/8. Is d at least -0.1?
True
Let o = -80 - -323/4. Let s(h) = -h - 13. Let f be s(-14). Let p = 3 - f. Do p and o have the same value?
False
Suppose 3 = 4*y - 13, -4*y = 4*m. Let w be m/(-6)*(-21)/28. Is w != -2?
True
Suppose -a - t + 4*t = -14, -2*a - 2*t = 12. Let d = 9040/13 - 696. Let q = d - -1/65. Which is bigger: a or q?
q
Let o = -126/19 - -3364/513. Is 1 greater than or equal to o?
True
Suppose 2*r = -0*r + 20. Let f be (-10)/20 + r/12. Suppose 2 = 5*y - 3. Which is smaller: y or f?
f
Let x = -6 - -3. Let f be ((-12)/(-9)*x)/(-2). Is 1/6 != f?
True
Let h = -4 + 6. Suppose 0 = -a - h*z, -5*a + 3*z + 30 = -9. Is a != 5?
True
Suppose 5*j = -5*r, 0 = 3*r - 0*j - 5*j - 16. Suppose -3*y + 2*y + r*w + 4 = 0, 5*y + 2*w = -4. Let t = -79 + 479/6. Which is greater: t or y?
t
Let u = 796/5 + -160. Suppose -3*r = -r - 3*p + 10, 0 = -r - 4*p + 6. Which is bigger: u or r?
u
Let v be ((-8)/(-5))/((-26)/(-5)). Are v and -1 unequal?
True
Suppose -5*a + 4 = 3*v + 11, -3*a - 9 = -3*v. Suppose -5*k - 4*f = 16, 2*k + f = 3*k - 4. Suppose -3*l + 0*l = k. Which is smaller: l or a?
a
Suppose i = -2*i. Let h = -8 + 8. Let p = i - h. Is 1 at most as big as p?
False
Let l = 0.2 - 1.5. Let o = l - -0.3. Which is smaller: o or -2/7?
o
Suppose -2*t + u = -7*t + 29, 0 = 5*t + 5*u - 25. Let f = t - -1. Is f less than 6?
False
Let c = -1.5 + 2.3. Is 0 greater than or equal to c?
False
Let m be 27 + (1 - 3 - -1). Let s = -17 + m. Which is greater: 2 or s?
s
Let z(c) = -c**3 + c**2 + c. Let t be z(0). Suppose -102 = 4*b + 2*u, 3*u + 20 - 2 = -b. Let j be ((-3)/b)/(-1)*2. Which is greater: t or j?
t
Let t(j) = 69*j**3 - j. Let y be t(-1). Let g be (4 - -1)*y/(-12). Let s = -27 + g. Is 0 greater than s?
False
Let x = 11 - 11. Which is bigger: x or 6?
6
Suppose -3*i = -o - 12, -4*i - 4 + 18 = -2*o. Is -5 < o?
True
Suppose -4*s - s = -3*t - 20, -3*s + 12 = -3*t. Is 5/3 less than t?
False
Let i = -1.1 + 1.2. Is i equal to 0.1?
True
Let u = -8 - -23. Suppose -5*n + 3*n + 30 = -4*d, d - u = -4*n. Suppose n*t + 0 - 5 = 0. Is t < 0?
False
Suppose -14 = 4*j + 5*i - 10*i, -5*i + 10 = 0. Are -0.4 and j non-equal?
True
Let n = -1.1 - -1. Which is greater: n or -2?
n
Let v be 8 + -6 - 57/28. Which is greater: -1 or v?
v
Let y be -2*((-2)/(-4) + -2). Suppose -8 = l + 3*q, l - 28 = -2*l + 4*q. Is y bigger than l?
False
Suppose -13 = -4*z - 5. Let u = 3 - z. Let f(c) = c**2 + 3*c + 1. Let m be f(-1). Which is smaller: u or m?
m
Suppose -1 = k + 9. Let f = -1 - k. Let o be (2/(-8))/(f/12). Does o = -1/3?
True
Let d(n) = -n**3 + 3*n**2 + 4*n. 