s smaller: i or p?
i
Let o be 720/(-35) + 12/112*-4. Which is greater: -28 or o?
o
Let w(i) = 12*i - 2. Let r be w(-2). Let f = 29 + r. Suppose 2*m = m + 2. Is f at least m?
True
Let h = -10 - -16. Let j = -2 - h. Let p = -15 + 6. Is p bigger than j?
False
Let x be 8/(-20) + 44/10. Let y = 1 - x. Let w be 3 - y/(3 - 0). Does 5 = w?
False
Let q be (-10)/(-27)*((-84)/35)/(-1). Suppose 2 = -5*j - 2*r + 4*r, -2*r + 2 = 0. Which is bigger: j or q?
q
Suppose 0 = -9*b + 13*b. Let f be (-94)/60 - (-8)/20. Is f != b?
True
Let u = 22/35 - 3/7. Suppose -a = 19*a - 140. Is u greater than a?
False
Let x = -2 - -10. Suppose -3*t + x = 2. Suppose t*g + 32 = 3*r, -60 = -r - 4*r + 5*g. Which is greater: 5 or r?
r
Suppose -k = -3*u + 299, -2*k = 5*u - 0*k - 491. Let c = -98 + u. Does -1/80 = c?
False
Let c(r) = -r**3 + 11*r**2 + 12*r + 2. Let m be c(12). Suppose -m = 2*b - 0*b. Do b and -2 have different values?
True
Suppose 0*f = 4*f - 28. Let w = 0 + 59. Suppose 0 = -7*a - 10 + w. Is a at least as big as f?
True
Let y = 65342/693 + -660/7. Which is bigger: 1/4 or y?
1/4
Suppose -11050 = 363*b + 62*b. Suppose -2*a + 5 = 3*a, -2*p = a + 7. Let t = -21 + p. Which is smaller: t or b?
b
Let w = 5 - 4. Let c be (-42)/30 - 2/(-5). Let r be (w + (c - 1))/5. Which is smaller: r or 4?
r
Let b be (1/6)/((-34)/862409788). Let x = -4227361 - b. Let f = -138 + x. Is f at most as big as -1?
False
Let s(b) = b**2 - 13*b + 12. Let u be s(12). Suppose -4*y = -2*g + 24, u = 3*y - 5*g + 4 - 0. Which is smaller: -6 or y?
y
Let z be (-2 + 0)*2/(-10). Let w = 5427 - 168234/31. Are z and w unequal?
True
Let b = 39 + -3. Let n = -9 + 12. Suppose n*k + b = -6. Do k and -14 have the same value?
True
Let i(h) = h**3 + 10*h**2 - 12*h - 6. Let n be i(-11). Suppose -b - 239 - 163 = n*r, 412 = -b - 3*r. Let v be (-2)/(-9) + b/(-63). Which is smaller: v or 6?
6
Let f = -24169580855802629/1813200 + 13329793104. Let s = -1/75550 - f. Let o = s + 1/60. Is -1 at least as big as o?
False
Let a(d) = -6*d**2 + 14*d - 5. Let t(k) = k**2 - k. Let u(f) = -a(f) - 5*t(f). Let y be (-12)/8*-2 + 4. Let b be u(y). Which is smaller: -8 or b?
b
Let n = 9633395/693 + -13901. Which is bigger: -1 or n?
n
Let c = 12 - 17. Let u be 2 + (-3 - c) + 99. Let m = u - 928/9. Is 0 equal to m?
False
Let q = -11.1 + 11. Let v = -0.15 + 0.25. Let d = v - 0. Which is smaller: d or q?
q
Let y = -3/70 - -1/7. Let z = y + 1/40. Let r = -32 + 31. Is z not equal to r?
True
Let a(r) = r**2 + 3*r + 3. Let k be a(-5). Suppose -2*u + k = 5*w, 22 = -2*u - 0*w + 2*w. Is u at most as big as -6?
True
Let c be (32/(-96))/(1/(-3) + 0). Let p be 4/((-32)/(-12)) + 3/(-5). Do c and p have the same value?
False
Let y(b) = b - 39. Let t be y(23). Suppose -11 = -u - 4. Let f be (-98)/u - (-3)/(-3). Is f less than or equal to t?
False
Let d(m) = -2*m**3 + 10*m**2 + 2*m - 10. Let t be d(5). Suppose -3*x - s + t*s + 43 = 0, 25 = -5*s. Is 18 smaller than x?
False
Let d be (10731/(-27))/7 - 4. Let l = d + 62. Which is smaller: 2 or l?
l
Let r = -34.92 - -0.42. Which is bigger: r or -1?
-1
Let o = -3 - 5. Let w = -22 + 13. Let x = o - w. Are x and 3 equal?
False
Let q be (-3)/(-5) - (243/(-45) - -5). Which is smaller: 39/5 or q?
q
Let j = -10 - -3. Suppose 5*v + 19 = 3*y, 9*v = 4*v - 10. Suppose -34 = 4*l + y*m - m, 2*l + 5 = 3*m. Are j and l unequal?
False
Suppose 4*m - 62 = 2*i, -3*m - 2*m - i + 95 = 0. Suppose 14*g + 16 = m*g. Which is bigger: -2 or g?
g
Suppose -3*k = 3*i - 2*k - 17, 12 = -2*i + 4*k. Suppose -i*n + 12 = -2*n + c, -c = 0. Are n and 7 equal?
False
Let l be (-8491)/2041 - 4/(-26) - -4. Let p = -965/3611 - l. Is 1 != p?
True
Let c = 9.19 + -8.19. Which is greater: 2 or c?
2
Let p be -11 + 11 - (-4)/11. Is p at most 5?
True
Let p = -19/21422 + -7256833/5891050. Let v = 14/11 + p. Suppose 5*o - 3*o - 5*c - 13 = 0, 0 = 5*o - 2*c - 1. Which is smaller: v or o?
o
Suppose -37*b - 98 - 87 = 0. Let q = -54/5 - -56/5. Are b and q nonequal?
True
Let t(j) = 464*j - 32. Let s be t(1). Is 432 < s?
False
Let j = -683 + 374. Is j < -309?
False
Let v be 4/((-104)/(-33)) + 15/(-10). Let n be 1/((-20)/12 + 2). Suppose n*l = -l. Is v at most l?
True
Let j be ((-15)/6)/((-8)/16). Suppose j*c + 6 - 121 = 0. Which is greater: c or 22?
c
Let b be (-4)/(-14) + 110/(-385). Is b less than -1/210?
False
Let i = 142 - 94. Let y = -146 + 194. Is i at least as big as y?
True
Let q = 13.1 + -13. Let p = -120 + 46. Let h = -76.9 - p. Is q less than h?
False
Suppose 0 = -5*g + 20, 0 = 5*r + 233*g - 237*g - 34. Suppose f + 4*f = 120. Suppose -2*p + f = 2. Which is smaller: r or p?
r
Let a = -11 + 11. Suppose -2*j - 16 - 18 = a. Let l = 12 + j. Which is bigger: -3 or l?
-3
Let t be 6 - (-150)/32*-2. Is t greater than -2?
False
Let f = 2/797 - 16747/3985. Which is greater: -3 or f?
-3
Let x = 16.28 - 0.48. Let h = x + -16. Is -0.2 greater than h?
False
Let z = 0.435 + 64.565. Which is bigger: z or 2?
z
Let a = 18.206 + -0.206. Is a smaller than -0.1?
False
Suppose 51*o + 2*x + 8 = 53*o, 4*o - 20 = 5*x. Suppose -4*u + 12 = -0*u. Which is smaller: u or o?
o
Let k be (27/15 + -3)*80/(-24). Is 3 > k?
False
Let h = 38 - 34. Suppose 0*g - 16 = h*g. Do g and -4 have different values?
False
Let m be (-30)/4*(3 - 33/9). Let l be (-1)/m*(-5)/((-1)/1). Let t be (-2)/6*(-3)/(-5). Is l >= t?
False
Let v = -26 + 17. Suppose 0*s - 40 = -2*s. Let u be (-3 - (-13)/4)/(5/s). Is u greater than or equal to v?
True
Suppose 0 = -3*j + 1 - 7. Let w be (3 + j)/((-1)/(-4)). Let q = 13 - w. Is 8 at most q?
True
Let c = 126233 + -1131539/9. Let k = c + -507. Which is smaller: k or -2?
-2
Suppose 0 = a - 5 - 0. Suppose -f = -a + 57. Are -53 and f non-equal?
True
Let f = -18 + 18. Let p = -36 + f. Let k be 24/p + (-112)/(-186). Is k at least as big as 0?
False
Let b be (-2)/2 - 2/(-14). Let r be (-11)/8*-2 - 9/12. Suppose -r*j + 0*c = -4*c + 12, 4*j - 15 = -5*c. Which is smaller: j or b?
b
Let m be (1 + -2)*1*0. Suppose 0 = -2*d - 2*q - 20, 2*d - 2*q = -4 - m. Let s be 10/d + (-16)/(-24). Which is smaller: s or -0.13?
s
Let z = 7.56 + -8. Let r = z - 0.03. Let t = r + 0.37. Which is smaller: -11 or t?
-11
Let f = 2 + 1. Let n be (1*-28 - f)/1. Let h = 467/15 + n. Is h at most as big as 0?
False
Let o = -0.46 + 0.06. Let y = o + 1.4. Let c = -78.4 - -78. Which is bigger: c or y?
y
Let s = 148/5 + -30. Let u = -54.786 + 0.786. Are u and s equal?
False
Let n = -5.22 - -4.22. Which is bigger: 0.627 or n?
0.627
Let i(s) = s**2. Let m(a) = -14*a**2 - 2*a - 1. Let k(y) = -2*i(y) + m(y). Let f be k(-1). Is -43/3 greater than f?
True
Suppose 4*d + 4*k - 12 = 0, 5*d - 9 = -3*k - 0*k. Suppose d = -n + 7*n - 18. Let g be 3/(-54)*-10 - n. Is g smaller than -3?
False
Let q be (-16 + 2)*18/(-4). Which is bigger: 62 or q?
q
Suppose 5*k - 42 = 2*k. Let g be 1 + 0 + (-16)/k. Let v(f) = f**2 - 2. Let a be v(1). Do a and g have different values?
True
Let i(d) = 87*d + 89. Let k be i(-1). Which is smaller: k or 0.7?
0.7
Suppose 17 = 2*s - 2*f + f, 5*f = 5*s - 45. Suppose 4*z = 20, 2*g - 7*g = -3*z + 30. Let o = g + s. Is 9/2 not equal to o?
True
Let q be (-7)/2*(-154)/(-42). Which is greater: -12 or q?
-12
Let y(l) = -2*l - 28. Let m(g) = -2*g + 4. Let u be m(2). Let p be y(u). Which is smaller: -26 or p?
p
Suppose -a = -4*s + 23, -4*s + 3*s + 4*a = -17. Suppose s*h = -r + 19, -3*h - 2*r - 4 = -7*h. Suppose 8 = h*l + 14. Which is greater: l or 0?
0
Suppose -20 = -3*z + 19. Let i = -10 + z. Suppose w + i*t = 4, w - 5 = -4*t - 0*t. Which is greater: 5/4 or w?
5/4
Let n be 265/(-159) + 64/18. Is -2/3 greater than n?
False
Let w = -1.684 + 1.7. Let t = 1.144 + w. Let a = t - 1.2. Which is smaller: a or -1?
-1
Suppose -5*w - 1 + 6 = 0. Suppose -3*z - 7 = 8. Let d be 5/(-13)*6/z. Which is bigger: d or w?
w
Let q = -0.1 - -0.11. Suppose -51 = -3*b - 15. Suppose 0 = -9*a + b*a - 6. Which is smaller: a or q?
q
Let i be 2/(-6)*-1 + 56440/(-7752). Is i not equal to -6?
True
Let y(u) = -u**2 - 24*u + 54. Let o be y(-26). Let n be (-6)/(-14)*24/9. Is n less than or equal to o?
True
Let y(w) = -10*w - 82. Let l be y(-5). Let g = 20 + -53. Is g at most l?
True
Let g(j) = 2*j**2 - j + 6. Let v(k) = 3*k**2 - k + 7. Let l(w) = 4*g(w) - 3*v(w). Let d be l(-4). Let r = 297 + -308. Is r at most as big as d?
True
Suppose -k + 13 = -2*