greater: c or t?
t
Suppose 3*p - 3 = -6. Let j = 10 - 8. Is j at most p?
False
Let n = -2/3 + 4/5. Let s = n + 8/15. Is s smaller than 9?
True
Let o = 3 + -1. Let d = o - 1. Let v = 238/5 + -47. Which is greater: v or d?
d
Suppose 0 = -x - 4*r + 12, 3*x = -0*r + r - 16. Is x less than or equal to 0?
True
Let j = -12.1 + 12. Suppose 0*n = n + 3*l - 17, -4*l = -2*n - 6. Suppose -4 = -3*s + s, -5*o + 5*s - n = 0. Which is bigger: j or o?
o
Let m = 0 - 0. Suppose 5*x + m*x - 10 = 0. Suppose -x*w = -4*v + 6, 0*w - 6 = v + w. Which is smaller: v or 2?
v
Let v = 124 + -132. Is 0.07 at most v?
False
Let p be 29 + (-6 - (-2 - 0)). Do 24 and p have the same value?
False
Suppose 20 = -m - m. Suppose -3*j = 4*t - 5*t + 30, -9 = 2*j + 3*t. Is m bigger than j?
False
Suppose -5*t + 35 = -5*j, 5*t - 1 + 2 = -4*j. Let h be ((-3)/(-1))/((-18)/(-24)). Let q be -2 - t/((-6)/h). Is q smaller than 0?
False
Let z be (-1)/(-3 - -2 - -2). Let l = 1/223 - -421/5575. Do l and z have different values?
True
Let r = 34 - 35. Which is smaller: r or 1/18?
r
Let p = -4.95 - -5. Let o = p + -0.25. Is o equal to -2/5?
False
Suppose -2*h = 0, h + 0*h - 8 = 2*a. Let m = a - 1. Let x be (-30)/(-14)*2/m. Which is smaller: x or -1?
-1
Suppose -2*d = -7*d + 50. Are 10 and d unequal?
False
Let n = 43 + -42. Let q = 0.08 - 0.02. Let r = -2.94 - q. Which is bigger: n or r?
n
Let v = -19 - -9. Let y(n) = -n**2 - 19*n - 8. Let q be y(v). Let j = 572/7 - q. Is 1 smaller than j?
False
Let g(w) = 2*w**2 + w. Let a be g(1). Suppose -a*v = -b + 1, -3*v + 4 = -3*b + 7*b. Let x be 10*(2/3)/((-70)/(-6)). Which is bigger: v or x?
x
Let n(o) = 7 + 1 - o - 3. Let d be n(6). Which is greater: d or -4/3?
d
Let o = 5 - 3. Let y be ((-4)/(-5) - o)*-10. Let g be 1/(-2) + (-2)/y. Are -1 and g unequal?
True
Let c be 3/(-6) - (-1)/2. Which is smaller: -3/4 or c?
-3/4
Let b be (-13)/(-4)*(-18)/(-9)*1. Which is smaller: 7 or b?
b
Let g be (0 - (1 + -2))/(-1). Let v be (-2)/4*4/6. Which is greater: g or v?
v
Let w(x) = -x - 5. Let d be w(-5). Let i be 3/(-15)*(2 - -67). Let g = 14 + i. Which is smaller: d or g?
d
Let f(w) = 5*w + 23. Let z be f(-9). Do -23 and z have different values?
True
Suppose -g + 1 = -0. Let n = -7 + 5. Let z = n + 3. Is g at least z?
True
Let p = 9.22 - 0.22. Let k = -9.03 + p. Which is greater: 2 or k?
2
Let c(k) = 0 - k + 0 + 8 - 3. Let y be c(0). Is y at least as big as -1?
True
Let w be (-7)/((-28)/(-16))*-4. Suppose h = -h + 2*o - 6, 0 = 4*o - w. Which is bigger: h or 6/7?
h
Let q = -73 - -75. Are 0 and q equal?
False
Let d = -17 + -19. Let u = d + 22. Let l be 4/(-12) - u/78. Which is bigger: 0 or l?
0
Suppose 0 = -2*d - 3*x - 4, 0 = -3*d - 4*x + 7*x + 9. Is d bigger than 2?
False
Let h(v) = -v**3 + 3*v**2 - v + 3. Let u be h(3). Which is smaller: 2 or u?
u
Let k = -27 - -43. Do k and 16 have different values?
False
Suppose 3*c = 2*c + 5. Suppose 0*p + c*p = 0. Is p greater than -3?
True
Let j(i) = 3*i. Let b be j(0). Let c be (2/9)/(-1)*3. Which is bigger: c or b?
b
Let d = 1 + 1. Let y be (5/20)/(6/52). Let z = -3/2 + y. Is z at most d?
True
Let q(s) = -s**3 + 4*s**2 - 3*s - 1. Let h be q(3). Let g(c) = c + 8. Let u be g(-6). Suppose -4 = n - u. Which is greater: h or n?
h
Suppose 33 = -4*p + 9. Is p at most as big as -7?
False
Let g = -49 + 50. Which is smaller: 1/31 or g?
1/31
Let s = -39 - -38. Is s > -16/7?
True
Let s be (8/1)/4 + (-21)/12. Let o = 0.5 + -0.1. Which is smaller: s or o?
s
Let i = -259/15 - -53/3. Let x = 363/7 + -52. Which is smaller: i or x?
x
Let m = -4.09 + 0.09. Let d = -6 - m. Let f = d + 1. Is -1/4 at least as big as f?
True
Let u = 12 + -3. Is 8 at most u?
True
Let f be 8/(-20) + 24/10. Suppose -4*v - 15 = -9*v, -5*k = v + 7. Let p = -1 - k. Which is greater: p or f?
f
Let o = 0.12 - 0.02. Is o at least as big as 0.3?
False
Let v = -10 + 15.1. Let h = 9 - v. Let w = h - 4. Which is greater: -1 or w?
w
Let x = 11 + -15. Which is smaller: -7 or x?
-7
Let n = -0.4 + 0. Let z = n - -0.5. Let p = -0.2 + z. Which is greater: p or 0.1?
0.1
Let w = -1 - 1. Let q = 0.51 + 1.59. Let m = w + q. Which is smaller: -0.2 or m?
-0.2
Suppose -2*w = -7*w - 200. Which is smaller: -39 or w?
w
Let p be 1/(-2) - (-26)/4. Let r = p + -8. Let f = r - 0. Do f and 1 have the same value?
False
Let n = 6 - 4. Let o = -1.8 - -3.8. Let k = o - n. Is k greater than or equal to 5?
False
Let u(d) = -d**2 + 9*d + 11. Let k be u(11). Is -9 at most k?
False
Let v = -18 + 17.78. Let l = v + -0.08. Is l not equal to -2/9?
True
Let b be -1*2/8 + (-23)/(-28). Is b bigger than -6?
True
Let p(r) = r**3 + 2*r**2. Let k(f) = -f**2 + 7*f - 2. Let w be k(7). Let x be p(w). Suppose 4*b + b = x. Is b less than -1?
False
Let y(i) = -i**2 - 8*i - 6. Let v be y(-7). Let q = -39110/3 - -13169. Let u = q + -131. Is u at most as big as v?
False
Suppose -4*j - j = -2*d + 33, 0 = 5*j - 5*d + 45. Do -50/13 and j have the same value?
False
Let f = 98.1 - 98. Does f = -0.1?
False
Suppose -3*d = 16 - 4, -2*d - 4 = -2*q. Suppose 3*f = f - 6. Let h be 3/1*(f + 2). Are q and h nonequal?
True
Let c = 63/530 - 1/53. Suppose -3*y + 0*y = 0. Which is smaller: y or c?
y
Let m = -1511/70356 + -2/1599. Is m greater than 1?
False
Suppose -2 = 3*i - 5. Let c be ((-8)/12)/(i/3). Which is bigger: c or -4?
c
Let z = -27 - -27.05. Which is greater: z or -1?
z
Let l be (-12)/(-2)*(-343)/(-14). Let w = l + -1021/7. Which is bigger: 2 or w?
2
Suppose -5*i + 2*i - 21 = -3*r, -4*i = r + 8. Let w be 3/r*(-4)/(-6). Is w at least as big as 1?
False
Let h be 0 + (-4)/3*-3. Suppose -2*p = -h*p. Let m be (-4)/21*(-6)/(-4). Which is smaller: p or m?
m
Let h = -0.2 + 0.9. Are 0.1 and h nonequal?
True
Let o = 1.3 + -1.5. Let j = o + 0. Which is bigger: j or -1?
j
Let u = -62 + 60. Which is bigger: 3 or u?
3
Let p(s) = -s**3 + s**2 + 3*s - 1. Let q be p(2). Which is smaller: q or 2/51?
2/51
Suppose 4*h = 5*n + 9, 0*h - 4*n = 3*h + 1. Let x(v) = v**3 - 2*v**2 + v. Let j be x(h). Does 2/15 = j?
False
Suppose 0 = 3*p - 2*p. Which is smaller: -3/31 or p?
-3/31
Let j = 32 - 31. Which is smaller: j or 2/21?
2/21
Suppose -4*f + 18 = -5*l - 2, -2*l + 4*f - 20 = 0. Suppose l = -s - 4*o + 13, -3*s - 2*o + 3 = o. Let x = -13 - -9. Is s at least as big as x?
True
Suppose -3*l + 6*l + 12 = 0. Which is smaller: -9/2 or l?
-9/2
Suppose -24 = 5*a - 3*a. Let k be a/(-8)*(-4 - 0). Is k less than or equal to -7?
False
Suppose -4*a = 3*r - 10, 25 = 5*a + 5. Let c(g) = g + 5. Let k be c(-6). Let x be (-8)/6 + 1 + k. Is x bigger than r?
True
Suppose -4*b - 2*u = -10, -b - 5*u + 20 + 5 = 0. Let m(f) = f**2 + 6*f + 0*f**2 + 4 + 0*f**2. Let i be m(-5). Does b = i?
False
Let r = -2 - -12. Let j = r - 16. Let m be j/(-4)*8/90. Do m and -1 have the same value?
False
Let x(d) = -d**3 - d**2 + 2*d + 4. Let a be x(-2). Is a greater than 3?
True
Let q = 4 + -5. Let n be (q/3)/(3/(-9)). Is n < 1?
False
Let z be ((-21)/35)/((-1)/5). Which is smaller: 8/5 or z?
8/5
Let p = -26/17 - -347/238. Which is bigger: 0 or p?
0
Let a be -2 + 0/(-3 + 0). Is -5 at most as big as a?
True
Let h = -13 - 6.1. Let t = -18 - h. Let p = t - 0.4. Which is smaller: -1/4 or p?
-1/4
Let i = -12 + 15. Is i at least 8/3?
True
Let w be 2*20/(-12) - -3. Let f be (-2)/(-4) + 6/(-4). Is f greater than w?
False
Let j be ((-1)/5)/(320/(-100)). Is j bigger than 0?
True
Let p = -89 - -535/6. Let k = 0 + 2. Suppose -1 = z - k. Which is greater: p or z?
z
Let x be ((-1)/(-4))/(3/(-9)). Let c(v) = v - 9. Let s be c(8). Is x at least s?
True
Let k = 0 + -2. Let x = -10 + 12.2. Let t = k + x. Is t greater than -0.1?
True
Suppose 6*s = s + 75. Suppose -y - s = 4*y. Do 0.2 and y have the same value?
False
Suppose 0 = 34*j - 39*j + 25. Is j bigger than 5?
False
Let c = 253/5 + -50. Let t = -1/5 + c. Are -0.6 and t unequal?
True
Let j be 3*1 + 1/1. Suppose 4*b - 20 = j*w, 3*w + 16 = 3*b - w. Suppose 0 = -l + b*l. Which is greater: l or -0.1?
l
Let u be 3*(-2)/6 + -3. Is -5 less than or equal to u?
True
Let q be 15/6*(-6)/(-5). Let p be (335/15)/((-1)/(-3)). Let a = -131/2 + p. Which is greater: q or a?
q
Let q(m) = -m - 8. Let o be q(-10). Which is smaller: o or 10/3?
o
Let a be (1 + 1)/(-1 - 2). Which is smaller: -12 or a?
-12
Let m = 18.898 + 0.102. Do 1 and m have different values?
True
Let y = 54 - 28. Which