 > 1?
False
Let c be (-5 + 2)*1/(-1). Suppose -6 = c*a - a + p, -4*p = a + 10. Which is smaller: -1 or a?
a
Let y = 5 - 0. Suppose -f = -6*f + 3*a + 19, y*f - 22 = 4*a. Does 3 = f?
False
Suppose 0 = -d - 2*q - 0*q + 12, 5*q - 27 = -d. Suppose 0 = d*j - 3 + 15. Does j = -6?
True
Let r(c) = -2*c**3 - 3*c - 2 - 3*c**2 + 3*c**3 + 2*c. Let o be r(3). Suppose 0 = m - 4, -2*x - 3*m - 4 = 2*x. Are x and o non-equal?
True
Let i be (-2)/(-7) - (-2)/(-7). Let b = 2/7 + -45/133. Is i at most as big as b?
False
Suppose -2*x + 328 = -5*u, -4*x + 8 = -8. Let h = u - -125/2. Which is greater: -3 or h?
h
Let t be (-40)/(-15) + (3 - 6). Which is smaller: 2/5 or t?
t
Suppose 220 = -12*m + m. Is -0.3 greater than or equal to m?
True
Suppose -5*y + 12 = -3. Let s = 1 - y. Let w be -4*(-3)/(-6) - 0. Is s <= w?
True
Let r be (2 + -17)*(0 + -1). Let p be ((-4)/6)/(r/9). Is -1 at least as big as p?
False
Suppose 183 = 5*j - 3*t - 0*t, t + 181 = 5*j. Let y be j/(-4)*3/(-9). Is 2 greater than y?
False
Let g be ((-10)/6)/(2/(-6)). Suppose 0*b + 15 = -g*b. Let s be (b/(-2))/((-9)/(-4)). Do 0 and s have different values?
True
Let x = 18587/35 - 531. Is -1 greater than x?
False
Let x(l) = l - 1. Let o be x(2). Let n = -30 + 32. Which is smaller: n or o?
o
Let w be (6/12)/(1/2). Let o = 1 - 2. Is w at least as big as o?
True
Let r = -1/756 + -1679/756. Are -1 and r equal?
False
Let p(l) = -3*l + 4 - l**3 + l - 4*l**2 - l**2. Let f be p(-4). Let m be (100/16)/(-5)*4. Which is bigger: m or f?
f
Let i be (3 + -1)*(-9 + 5). Which is smaller: -0.1 or i?
i
Suppose 0 = 3*b + 5 + 4, 0 = -d + 3*b - 2. Is d < -104/9?
False
Let m be (-39)/65 - 258/(-5). Which is bigger: 50 or m?
m
Let j = 127/4 + -29. Is j smaller than 3?
True
Let z(s) = -s**2 + 6*s + 1. Let y be z(5). Suppose -3*l - y = -4*l. Is l at most as big as 7?
True
Let w = -6 + 7.2. Let v = -1.1 + w. Let r be -2 - -1 - 3/(-2). Which is smaller: v or r?
v
Suppose -4*p + 2 = -5*j + 7, -2*p = -2*j + 2. Which is greater: p or 6?
6
Let q be ((-12)/(-8))/((-1)/(-2)). Suppose q = -r + 4*r. Suppose d - 4*l = r, -l = -3*d - 0*d - 8. Which is greater: -5/3 or d?
-5/3
Suppose -1 = 3*k - 10. Let q = 7 + 2. Let n be q/6*(-1 + 2). Is k at least as big as n?
True
Let r = -134/7 - -19. Is 1 smaller than r?
False
Let o = 295/66 - 3/22. Is o at most as big as 4?
False
Let d = -11 + 10. Let g be 3 - (3 - 1/1). Is g != d?
True
Suppose -5*d - 32 = -4*z, 3*d = -d - 3*z - 7. Let x(s) = -s**3 + 22*s**2 - 23*s + 40. Let j be x(21). Is j > d?
True
Let o = -4 + 3. Let z be (o/4)/((-1)/4). Let n(y) = -5*y - 8. Let k be n(-2). Is k greater than z?
True
Let j = 5.3 - 5. Suppose -5*y + 5*m = -10, 0*y - 3*y - 3*m - 18 = 0. Is y > j?
False
Let q(v) = v**3 + 4*v**2 - 6*v - 4. Let n = 0 + 2. Let z = n - 7. Let a be q(z). Is a equal to 1/5?
False
Let v(a) = a**3 + 17*a**2 - 2*a - 17. Let b be v(-17). Is b less than 16?
False
Let g(j) = -j**3 - 5*j**2 - 6*j - 5. Let w be g(-4). Let p be (-2 - w)*(-2)/(-5). Let a = 1 + p. Is a greater than -2/5?
False
Suppose -4*x = 2*j - 6, 4*x - 4*j - 15 = 3*x. Is 3 <= x?
True
Let m(x) = x**3 + 7*x**2 - 8*x - 6. Let t be m(-8). Let d be t/(-10)*(-6)/(-27). Are 1 and d non-equal?
True
Let w = -14/5 - -23/10. Is -1 at least as big as w?
False
Let h = -27 - -18. Which is smaller: -11 or h?
-11
Let y(n) = 7*n - 3. Let l be y(-3). Let x be (3/2)/(9/l). Let d be ((2/x)/1)/2. Which is greater: d or 0?
0
Let d = 0.9 + -29.9. Let m = d - -30. Is 2/3 not equal to m?
True
Let w = -363 - -363. Suppose 1 - 5 = -y. Which is smaller: y or w?
w
Let q = 11 - 32/3. Is q < -15?
False
Suppose 3*k + 4 = -k. Let b be k*2 + (0 - -3). Let w be 5/(-65)*(-6)/(-3). Which is greater: b or w?
b
Let f be 1 + 1 - 16/9. Let c = -6 + 7. Which is bigger: c or f?
c
Let v = -1.6 + 1.6. Let a = v - 7. Is 1 at most as big as a?
False
Suppose 5*h + 1715 = -0*h. Let f be h/(-168) + 2*-1. Is -1 >= f?
False
Let j = -644 + 1158. Let q = j - 13876/27. Which is greater: 1 or q?
1
Let r = 21013917/31955 - 36217/55. Let x = r + 2/83. Which is bigger: -2 or x?
x
Let m = 0.01 - 0.01. Let l = -0.3 - m. Let p = l - -0.6. Which is smaller: p or 2?
p
Let g be -4*((-36)/(-16) - 3). Suppose 2*y + 5*k = k + 12, g*k - 9 = -4*y. Which is bigger: y or 1/2?
1/2
Let s be ((-1)/(-2))/(8/(-32)). Is -22/7 >= s?
False
Let m(d) = d**3 + 9*d**2 + 11*d + 7. Let c be m(-9). Let j be c/90 + 6/27. Which is greater: 3 or j?
3
Let l = 20 + -20.1. Which is smaller: -1/2 or l?
-1/2
Let w be ((-12)/8)/(3/5). Is -2 > w?
True
Let t = 1 + -0.8. Let h = t + 0.8. Is h at most -4?
False
Let z be 2/10 + 14/5. Suppose -4*r = -r - z*k + 3, -6 = 5*r - 4*k. Let s = 1 + r. Is -2/5 equal to s?
False
Suppose 0 = -2*b + t + 4*t - 4, 0 = 5*b - 2*t - 11. Are 2 and b non-equal?
True
Let k(j) = 17*j**3 - 2*j**2 - j - 2. Let b be k(-3). Let d be 3/(-4) - 413/b. Which is smaller: d or 0?
0
Let u = -6 - -1. Let l = 42.7 - 38. Let m = u + l. Is m smaller than 1?
True
Let d = -0.5 - 0.1. Let u = 0.4 - d. Let h = u + -3. Which is bigger: h or 0.3?
0.3
Suppose 0 = -4*u + 45 + 15. Let x be (-3 - (-43)/u)*3. Which is bigger: x or 6?
6
Let r(k) be the first derivative of k**2/2 - 4*k + 3. Let a be r(3). Is 1/4 greater than or equal to a?
True
Suppose -8 = -f - f. Let b(z) = z**2 - 2*z - 4. Let a be b(4). Is f at most as big as a?
True
Let u = -3 - -4. Let g(y) = 5*y**2 - 2*y - 2*y**2 + 5 - 4. Let r be g(1). Which is greater: r or u?
r
Let j = -9.2 + 9. Let t(p) = -p + 2. Suppose v + 3 = 2*v. Let r be t(v). Is j not equal to r?
True
Let a be 6/2*(-9)/(-3). Is a greater than 4?
True
Suppose 0 = 4*i - 6*i + 4. Let c be -2*i/4 - 2. Is c at most as big as 1?
True
Let d = -6/17 + -4/85. Let o(s) = 2*s + 2. Let x be o(5). Let u(p) = -p**3 + 11*p**2 + 12*p. Let f be u(x). Which is greater: f or d?
f
Let d = -39 - -37. Is d > 1/5?
False
Suppose -2 - 2 = r. Suppose -6*g + 2*g - 3 = -5*y, 5*g + 5*y = -15. Which is smaller: r or g?
r
Let l be (1 + -1)*((-8)/(-16) + 0). Which is greater: 9/10 or l?
9/10
Let m = -0.05 - -0.05. Suppose -d + 3 = 1. Is m greater than or equal to d?
False
Let g be 8468/14 - (-2 - 0). Let r = -608 + g. Let j = -10/21 - r. Which is bigger: j or -1?
j
Let p be 36/(-15) + 2/5. Let r be p/(-3)*3/2. Is 1/4 at least as big as r?
False
Let m(j) = -j**3 + 2*j**2 + 2*j + 3. Let z be m(3). Which is greater: 1/8 or z?
1/8
Let l be 9/12 - (-39)/12 - -4. Which is bigger: 11 or l?
11
Let k(t) = 11*t + 32. Let j be k(-6). Which is bigger: j or -31?
-31
Let p(v) = v**3 - 7*v**2 - 15*v + 14. Let n be p(9). Is 41 at least n?
True
Let u be (-1 + -2 + 2)*-2. Let x = 328/5 + -2977/45. Let m = 7/36 - x. Is m at most as big as u?
True
Let k = -9 - -15. Let g be (4 - (-2 + 4)) + k. Let o = g - 6. Is 3/4 smaller than o?
True
Suppose 68*z = 67*z - 1. Which is bigger: z or 3/14?
3/14
Suppose 5*p - 16 = 7*p. Let z be (1 + p - 3) + 1. Which is smaller: -10 or z?
-10
Let a = 7 + -6.7. Let h = -4.7 - a. Which is greater: -1 or h?
-1
Let b = 505/4 + -127. Let v = 190.9 + -181. Let h = -10 + v. Which is bigger: h or b?
h
Suppose -6*m = -8*m - 18. Let s be (4 + -3)*(-3)/m. Do s and 1 have the same value?
False
Let x(i) = -i**3 - 6*i**2 + 15*i - 13. Let r be x(-8). Suppose 5*h + 42 = -2*y + 5*y, -2*h = y + 8. Which is smaller: r or h?
h
Let q = 9653/3 + -3258. Let y = 40 + q. Let m = 1/21 + y. Are -1 and m unequal?
True
Let v = -9997/5 + 2007. Let j = v - 484/65. Is 0 at most j?
True
Suppose -7 = p - 3. Let i(q) be the third derivative of q**4/6 + q**3/2 - q**2. Let r be i(-2). Which is greater: r or p?
p
Let n = -95 + 94.9. Is n at least -30?
True
Let f = 35 - 16. Which is bigger: f or 0.1?
f
Let t = 35 + -38. Which is smaller: -0.22 or t?
t
Let c = 0.07 + -2.07. Let k = c - -1.8. Which is smaller: k or -0.1?
k
Let b = -22 - -37. Suppose 12*h - b*h - 30 = 0. Does h = -10?
True
Suppose 3*q + 3 = -0. Let i(j) = 4*j - 46. Let m be i(11). Is m less than q?
True
Let d = -2 - -3. Suppose 0*b = -b. Let x be 1 + b/(-1) + -1. Which is bigger: x or d?
d
Suppose 0 = -2*p + 4*p. Suppose p = n - 2*n. Suppose 4*m = 4*v - n*m, -4*v - 5*m = 0. Is 2 < v?
False
Let s be ((-5)/(-3))/((-1)/3). Let x = s - -6. Is -2/9 at most as big as x?
True
Let m = 66 - 71. Which is smaller: -0.07 or m?
m
Let v be 4/(-10) - 2/(-5). Suppose v = 6*c - 2*c - 12. Suppose 10 = -c*i + 