er: c or p?
p
Let z = -12262470/91 + 134754. Let b = z + -10/7. Is -1 at least b?
False
Let x(q) = -q**2 - q + 1. Let o be x(-2). Let h = o - -3. Which is bigger: 3 or h?
3
Suppose -2*t + 114 = -4*b + b, -5*b + 4*t = 192. Let n be (-42)/b + 1/(-6). Suppose -w - 2 + n = 0. Are -1 and w non-equal?
False
Suppose -5*q = 5*i, -2*q = i - 5*q - 4. Is 0.02 at most as big as i?
True
Suppose 4*p = -0*m + 4*m - 12, 5*m + 1 = -3*p. Which is smaller: p or -1?
p
Let s(b) = b**3 - 3*b**2 + 2. Let f be s(2). Which is smaller: 17 or f?
f
Let y = -135.9 + 136. Are 0.16 and y non-equal?
True
Let x be (-2)/3 - (-11)/(-3). Let a = x - -14/3. Are -1 and a nonequal?
True
Let j(p) = p**3 - p + 0*p**3 + 2 - 1. Let d be j(1). Let v = d + -2. Which is smaller: v or -1/5?
v
Let s be (-51)/(-15) + 4/(-10). Let q be (-2)/(-8) + 3/s. Is q at least as big as 2?
False
Let r = -32 - -41. Is 3 greater than r?
False
Suppose 2*a - 17 = -5. Let f(c) = c + 5. Let v be f(a). Suppose -z + 0*z - 2*d + v = 0, -3*z + 5*d - 22 = 0. Is -2/7 < z?
True
Let w = 4.07 - 0.07. Which is smaller: w or -2/7?
-2/7
Suppose 2*u - 5*d - 28 = -u, 2*u = d + 7. Is u < -3/32?
False
Suppose r + 2 = -5*u + 12, 4*u = r - 1. Suppose r*b = -79 + 29. Let h be (-4)/b - 6/(-10). Do 2 and h have the same value?
False
Suppose 3*x - w - 22 = 0, 4*x = 3*w + 8 + 28. Let b be ((-4)/x)/((-2)/3). Suppose 0 = 3*z - 7*z + 8. Which is smaller: b or z?
b
Let t = 107 + -15. Is t < 93?
True
Let b be 0/(-3 - -2) + (-10 - -9). Let g = -1/241604 + 4197913/10509774. Let u = g + -14/29. Which is greater: b or u?
u
Let b = -1 + 2. Let c be (b + 0)*(0 + -1). Suppose 2*h + 22 = 5*v, 5*v = 2*h - 3*h + 19. Is h bigger than c?
False
Let w be (4/(-14))/((-1)/(-7)). Is w greater than -2?
False
Suppose -2*j + 6*j - 40 = 4*o, 4*j = -o + 45. Let b = j - 17. Which is smaller: -4 or b?
b
Let r = -4 + 6. Let h be (1 + 7)/(r - 1). Suppose 0 = -3*t + 5*t + h. Are -4 and t equal?
True
Let s be ((-27)/(-40))/((-21)/(-28)). Which is bigger: 1 or s?
1
Let y = -60840039797071/48165 - -71941512350/57. Let n = y + 1026925. Let z = n - 2/169. Which is greater: 2 or z?
2
Let t = 1.4 - 1.4. Let z be (1 + -2 - 1)/1. Let m be 13/(-20) - z/5. Which is smaller: m or t?
m
Suppose 4*j - 3 = -r, 5*j - 8 = -2*r + 5*r. Suppose -40 = -b - 5*o, 5*o - 1 = 2*b - 6. Let g be (-10)/b*3/1. Which is bigger: r or g?
r
Let w = -0.967 - 0.033. Which is smaller: -0.07 or w?
w
Let b be 7/(-6) + (-3)/(-18). Let j be (-3)/9 + 16/3. Which is bigger: b or j?
j
Let p = 2.9 - 3. Let l = -1113 - -6697/6. Let r = l - 5/3. Is p greater than r?
False
Suppose 5*j + 0*j - 35 = 0. Let k be 2/8*(j + -1). Which is smaller: 2 or k?
k
Let x = -97/14 + 38/7. Let f = 3 + -5. Which is smaller: x or f?
f
Suppose -2*l - 4 + 12 = 0. Let h be l*(1 - 2/8). Does 3 = h?
True
Let u = -53 - -63. Do u and 10 have the same value?
True
Suppose 182 = -4*z - 3*z. Is -28 less than or equal to z?
True
Let p be 16/(-12)*3 - 3. Let s = p + -2. Is s less than or equal to 1?
True
Suppose -j = -3*d - 7, -2*j + 4*j - 5*d = 14. Suppose 0 = 3*f + 2*f - 30. Which is bigger: j or f?
j
Suppose 0 = 3*x - 2 - 1. Suppose 5*c = -4*r - 25, 2 + 6 = -3*c - r. Let h be 1/2*(c - x). Is h at least as big as -2?
True
Let l = 8.25 + -14.3. Let o = 6 + l. Let c = o + 0.15. Which is smaller: 0.2 or c?
c
Suppose 12*j - 8*j - 16 = 0. Which is smaller: j or 8?
j
Suppose -y = 8 - 155. Which is smaller: 148 or y?
y
Let u be 6/(-10) + (-72)/(-20). Suppose -z + 5 = -5*l, 4*z + u = -3*l + 7*z. Is -1 <= l?
True
Suppose 12 = 2*t + 2*t. Let a(d) = d**2 + 5*d - 5. Let m be a(-6). Which is greater: m or t?
t
Let g = -16 - -36. Which is smaller: g or 1?
1
Let q(r) = -r**3 - 5*r**2 - r. Let u be q(-4). Let k be (3 + -1)*(-49)/(-14). Let p = u + k. Are p and -5 nonequal?
False
Suppose -4*s + 23 = 5*q, 18 = 4*q - s + 4*s. Suppose -5*k - 15 = 2*n - 7*n, 0 = -5*n + 2*k + q. Which is bigger: 1/13 or n?
1/13
Let a = -47 + 47.2. Let q = 17/14 - 5/7. Which is smaller: a or q?
a
Suppose -4*u = -u. Which is smaller: u or 2/27?
u
Let r be 4/18 + (-96)/189. Suppose 2*w - g + 43 = 4*w, 3*g = -3. Suppose -4*f + w = 2*b, -7*f = -2*b - 2*f - 23. Which is greater: r or b?
b
Suppose 4*h + 3*i = -28, -8 + 0 = 5*h - 3*i. Let b be 18/h*38/(-57). Which is bigger: b or -4?
b
Suppose -3*z = -7*z. Let n(j) = -2*j - 5. Let t be n(-4). Suppose 3*o + t = -z. Which is smaller: o or -2/3?
o
Let j be -1 - -7 - 232/36. Let m = -1.1 + 0.1. Which is greater: j or m?
j
Let p = 33 - 32. Which is greater: 3 or p?
3
Let b = -6 + 9. Suppose -b*y = 0, -3*z - 4 = -3*y + 2. Is 0 greater than or equal to z?
True
Suppose -i = -6*i - 15. Which is smaller: i or -1?
i
Suppose 2*a + 0 = 2. Suppose -a = x - 2*x. Let d = -3.8 - -5.8. Which is smaller: x or d?
x
Suppose 5 = -w - 2. Let m be 6/(-72)*-6*2/1. Is m > w?
True
Let a be -2*(-2 + (-1)/(-1)). Let y = a - 0. Let q be (-3)/(-18) - y/12. Which is smaller: q or -2/3?
-2/3
Suppose 0*k = -4*k + 16. Suppose a - 15 = -k*a. Let u be 3*(1/1)/a. Which is bigger: 1/2 or u?
u
Let m be (-15)/2 - 2/(-4). Let z = 5 + -11. Which is smaller: z or m?
m
Let m be (-1)/(-2)*(-7 - -7)/(-1). Is m bigger than -2/73?
True
Suppose y - 11*y = 10. Which is greater: y or 1/3?
1/3
Suppose -10*o - 7 = -11*o. Is o not equal to 9?
True
Let v = -150 - -149.97. Which is greater: -12 or v?
v
Let h(i) = 5*i**2 - 2. Let m be h(2). Let a be 1*6*m/60. Which is bigger: 3 or a?
3
Let t = -2.08 + 2. Is 0.1 not equal to t?
True
Let o = 4 - 1. Suppose -2*h + 3*v = 4*v - 4, -2*h - o*v + 8 = 0. Is h >= 2?
False
Let r = 3.1 + -3. Is r at least as big as -2.4?
True
Suppose 2*q - 17 = 5*j, -4*q = -j - j - 42. Do 12 and q have the same value?
False
Let w be 28/(-7) - (-4)/1. Let q be w - 4 - 0/(-4). Which is smaller: 1 or q?
q
Let a = 38/145 + 4/29. Suppose -6*m + 4*m = 0. Let i be (0 + m)/(10 - 8). Which is bigger: a or i?
a
Suppose 0 = -5*x + 13 - 3. Which is greater: x or -2?
x
Let s = -7 - 0. Let l(a) = a + 6. Let t be l(s). Is -3 < t?
True
Let s = 322/5 - 64. Which is bigger: 0.02 or s?
s
Let o be (18/8)/((-3)/8). Let f be 4/2 + o/2. Which is smaller: f or 0?
f
Let c = 12.7 + -11.7. Suppose 0 = 4*l + 1 + 7. Which is greater: l or c?
c
Suppose -6*y + y + 30 = 2*t, 0 = -4*y. Suppose -z - t = 4*z. Which is smaller: -1 or z?
z
Suppose 0*m + 16 = -4*m - 2*r, 0 = r - 4. Let q = -10 - m. Are q and -5 nonequal?
True
Suppose -2*i - 29 = 11. Does -20 = i?
True
Let m(q) = -q**3 + 14*q**2 + 20*q - 52. Let y be m(15). Is y at most 21?
False
Let a be (-6)/(3 + -7 + 2). Let d = -1 + 0. Is d at most a?
True
Let f(r) = -r**3 - 6*r**2 + 9*r + 8. Let p be f(-7). Let d = 9 + -16. Is p at least as big as d?
True
Let v be (-3)/(-7)*(-12)/(-24). Let p(f) = f + 1. Let m be p(-1). Is v smaller than m?
False
Let l = -1 - -1.13. Let j = l + -0.03. Which is smaller: j or -3?
-3
Let p = -1.5 + 2.2. Let x = 0.6 - p. Which is bigger: 0.5 or x?
0.5
Let x(s) = s**3 - 8*s**2 + s - 11. Let h be x(8). Let p = h + 1. Which is greater: 0 or p?
0
Let k = -548 - -7669/14. Do k and -1 have the same value?
False
Let p = -32 + 86. Is 54 greater than or equal to p?
True
Let n = 144 - 122. Which is smaller: 23 or n?
n
Let c = -32/51 - -5/17. Is -23/4 greater than or equal to c?
False
Let s(l) = l**2 + 8*l + 8. Let z be s(-6). Let n(f) = -9*f + 41. Let w be n(5). Is z equal to w?
True
Let c = -0.2 + 0.1. Which is smaller: -3 or c?
-3
Suppose -5*s - 9 = -4. Let o = -9 - -5. Let k be 2/o + 7/10. Is k greater than s?
True
Let o = -24 - -25. Which is smaller: 6 or o?
o
Let w(x) = -x**2 - 5*x. Let k be w(-5). Suppose -h + r = -k*r - 3, 0 = 2*h - 5*r - 9. Let g be 2 + 0 + (-6)/8. Is h bigger than g?
True
Let b = -7.993 - 0.007. Are b and -1/2 equal?
False
Suppose 4*o + 76 - 20 = 0. Let g be 8/28 + 8/o. Is 0 at most g?
False
Let q be 3/(-9) - (-448)/12. Is 36 > q?
False
Let r(c) = c - 5. Let n(p) = p**2 - 2. Let l be n(3). Let u be r(l). Is 4/7 > u?
False
Let r(c) = 5*c - 1. Let k be r(2). Let y = k + -10. Which is greater: y or -3?
y
Let q = -6 + 17. Suppose 31 - q = 5*k. Suppose -k*y = -2*y - 3*b - 5, -3*b = -3*y + 9. Is y != 3?
True
Let w = -102 - -95. Which is greater: w or -3?
-3
Let y = -909 - -1710. Let u = y - 5616/7. Which is bigger: -1 or u?
-1
Let k be 1197/(-648) + (-4)/(-18). Is -3 <= k?
True
Let v = -97/1071 + 1/17. Are 1 an