 equal to c?
True
Let m be 8 + 16/(-8) - 6. Are -4/145 and m unequal?
True
Suppose 26*z + 450 = 6274. Which is smaller: z or 227?
z
Suppose 5 = 4*l + 2*c - 5, -2*c = -2*l + 2. Let d(r) = -r + 6. Let v be d(0). Which is bigger: v or l?
v
Suppose -3 = 5*w - 4*i, -20 = w + 3*i - 27. Which is smaller: w or -3/7?
-3/7
Suppose -64*l = -72*l - 464. Which is bigger: -57 or l?
-57
Let b be (-11 - -5)/((-5)/1). Let k = -0.249 - -0.149. Is b at least as big as k?
True
Let a(c) = -c**2 - 3*c + 4. Let j be a(-4). Let i = 7 + -3. Let d be 9/(-60)*i/6. Which is smaller: d or j?
d
Let b be (-1)/(-5) + 30/(-25). Let i be (1/(35/(-2)))/((-16)/(-10)). Which is smaller: i or b?
b
Suppose -6*t + 101 = -43. Is t > 29?
False
Let r = 0 - 1. Let g be ((-14)/21)/((-215)/(-67) + 1). Let o = g - 3/47. Are r and o nonequal?
True
Suppose 0*u - u + 2*k + 1 = 0, -2*u + k = 1. Suppose 0 = 4*c + 32 + 276. Let o = c + 75. Does u = o?
False
Let i = -79 - -82. Suppose 5*l + 2*z - 16 = 0, i = -3*l - z + 13. Which is greater: 3 or l?
l
Suppose 0 = -4*p - 2*f - 14, 2*f = -3*p - 2 - 7. Which is greater: -36/7 or p?
p
Let s(h) = -h**2 - 6*h - 6. Let a be s(-4). Let n be ((-2)/4*-4)/a. Suppose -n + 13 = 4*c. Is 3 less than c?
False
Let d = 5 - 25. Let n be (d/25)/(3/30). Let o be (-52)/n + (-1)/2. Which is smaller: o or 7?
o
Suppose 0 = 4*k - j - 11 - 2, 1 = -j. Suppose -3*z - 28 = -7*z + 4*d, -k*d = -5*z + 45. Suppose 0 = 2*l + p - 17, 0*l + 3*p + z = l. Is 9 at least as big as l?
True
Let u be (-312)/(-208)*((-3160)/1578 - -2). Which is greater: -1 or u?
u
Let t(c) = -15*c - 122. Let v be t(0). Is v >= 0.1?
False
Let f(z) = -z**2 - z. Let s be f(-1). Suppose s = 6*d - 2*d. Suppose 3*v = -j + 14, -5*v + 10 = -3*j - 4. Is d equal to j?
False
Let c be 45/(-18)*(1 - 3). Let m be (54*1)/(-3) - -3. Let a be (-3)/(-12) - m/4. Which is bigger: a or c?
c
Suppose -4 = -s + 5*h, 0 = s + 3*s + 3*h - 16. Is 4 bigger than s?
False
Let v = -175/3 + 4031/69. Let x = 0 + 1. Let u = -2 + x. Which is smaller: u or v?
u
Let u = -19 - 31. Which is greater: u or -54?
u
Let x be 0 + 0 - 8/14. Let h = -8 - -10. Let g be -2*(-3)/(-6)*h. Which is smaller: x or g?
g
Suppose 13 = 3*z + i, -2*z - 17*i = -16*i - 10. Which is smaller: z or 22?
z
Let b(s) = 9*s + 2. Let q be b(-1). Suppose -4*y - 20 = 0, -5*c - y + 65 = -0*y. Suppose -9 = -3*r, -4*r + c + 3 = -m. Is m at most as big as q?
False
Suppose -3*c = -4*c - 1. Is c less than or equal to -4/333?
True
Let d be 2*-1*18/12*-1. Suppose 3*u + 4*h + 3 = -35, -13 = d*u - h. Is u <= 4/9?
True
Let f = 25 - 9. Let s(i) = i**2 + 35*i + 18. Let c be s(-35). Does f = c?
False
Let m = -4.3 - -0.3. Let x = m - -5. Let l(v) = -v**2 - 2*v + 3. Let s be l(-4). Is s at least x?
False
Let i(v) = -v**3 - 5*v**2 - 5*v - 5. Let r be i(-4). Let m(u) = -27*u**2 - 1. Let j be m(r). Let c be (-1)/((j/(-9))/4). Do -2 and c have different values?
True
Let i = -0.31 - -0.64. Let p = -0.2 + i. Let f be ((-1)/(-1))/(51/34). Is p less than f?
True
Let r be 9/(9/(-86)) + 1. Let u = r + 84. Which is smaller: u or -18/11?
-18/11
Let o(h) be the second derivative of 0 - 7/12*h**4 - 2*h + 0*h**3 - 1/20*h**5 - 3*h**2. Let f be o(-7). Which is smaller: -5 or f?
f
Let c be (-40)/(-30) + (-2 - -1) + -1. Which is smaller: 91 or c?
c
Let h = 3063.51 - 3037. Let c = h - -0.49. Let t = 29 - c. Is -4/5 <= t?
True
Let p(v) = -2*v**3 + 6*v**2 + v. Let z(m) = -m**3 - m**2 + m + 1. Let t(f) = p(f) - z(f). Let b be t(7). Which is greater: b or -2/3?
-2/3
Let r(j) = 2*j - 7. Let q be r(2). Is -0.24 >= q?
True
Suppose -30 = 19*l - 13*l. Which is smaller: l or 1/4?
l
Let r be (-17)/12 + 8/56*7. Let t = r + 5/3. Which is smaller: t or 1?
1
Suppose 0 = -5*z - 4 - 6. Let a = z - -1. Let n = -1693/20892 - 4/1741. Is n equal to a?
False
Let x be 12*((-50)/(-8) - 4). Let p = -6 + x. Let a = 19 - p. Are a and 3 unequal?
True
Suppose 288*y + 432 = 280*y. Is 15 less than y?
False
Let c be (-1 - -1)/(5/5). Suppose 2*n - 2*z - 14 = 0, 3*n = -4*z - c - 7. Suppose 0 = n*a - a. Is a <= -4/5?
False
Suppose 4*k - 6 = -30. Let n = 11 + k. Suppose n*f + 4 - 9 = 4*u, 5*u = -4*f + 4. Which is smaller: f or -2/39?
-2/39
Let m = 8 - 4. Let w(l) = l + 0*l - m + 6 + 0*l. Let i be w(-3). Is -1/31 at least as big as i?
True
Let c = -1585 + 1582. Which is bigger: 407 or c?
407
Let z(n) = 2*n**2 - 14*n + 87. Let c be z(13). Are c and 242 non-equal?
True
Let b = -1.81 - -1.81. Let k = 0 + 2. Let w = 2 + k. Which is greater: w or b?
w
Let d be 4/(-22)*(-3)/(-6). Suppose -5*a = 1165 + 725. Let r be (a/35)/(-6) - (-4)/(-5). Which is smaller: d or r?
d
Let p = -21 + 22. Let x be ((-66)/24)/(p + (-34)/24). Which is greater: -0.1 or x?
x
Let h(t) = -t - 4. Let k be h(4). Let o = k - -9. Let p be 28/(-6)*o*3. Which is bigger: -13 or p?
-13
Let o = -2197/18 - -122. Which is greater: -1 or o?
o
Let q be (-3)/((-9)/(-4))*579/(-32038). Which is smaller: 4 or q?
q
Suppose -p - 8 = 5*h - 5, -p + 5 = -3*h. Let q be 190/388 - 2/4. Which is smaller: q or h?
h
Suppose -r = 2*q - 8, 5*r - 16 = 4*q - 2*q. Suppose -2 - 2 = r*u. Are u and -1/5 unequal?
True
Let a(k) = -k**3 - k**2 + 2*k. Let u be a(-2). Which is greater: 3/49 or u?
3/49
Let j = -69604/35 - -1989. Is 1 >= j?
True
Let l(g) = 3*g - 5. Let u be l(4). Let m be (-2)/u + 12/42. Suppose -7*a + 8*a = -2. Which is smaller: m or a?
a
Let l = 3/7 - -27/35. Let o = -4/5 + l. Which is smaller: o or 28?
o
Suppose -836 = 18*a - 332. Which is bigger: a or -24?
-24
Let n be 3*-1*2152/24. Which is bigger: n or -268?
-268
Let a = -12.6 + -3.4. Let g = a + 30. Let k = 7 - g. Is 1 at least as big as k?
True
Let l = 26.3 + -26. Let z = 8 - 19.9. Let q = z + 12. Is q != l?
True
Suppose 36*b - 84 = 33*b. Let t = -53 + 79. Is b < t?
False
Let c = 3/9170 + -85287/18340. Let b = c + 39/10. Is b at most -1?
False
Let z = -164 - -154.7. Let f = z + 9. Let g = 2/493 - 497/986. Is f less than g?
False
Let d = -4818 + 4851. Suppose 67 = 2*n - 0*l + 3*l, 0 = -3*n + 3*l + 93. Which is smaller: d or n?
n
Let l be 2/(-10) - 1661/(-5). Let s be 1*(2/(-10) + l/10). Which is smaller: 32 or s?
32
Let q(k) = -33*k + 429. Let c be q(13). Let g = 345/26 - 27/2. Which is bigger: g or c?
c
Let p = 59 - 28. Let t = p + -30.89. Is 0 bigger than t?
False
Suppose 6*h + 18 = 5*h. Let s be (-6)/h*0 - 0. Which is smaller: 3/19 or s?
s
Suppose 5*w + 20 = 75. Let a = 15 + w. Let p be a/16 - (0 - -1). Is 1 <= p?
False
Let g be 133/(-16) - (-52 - -44). Are -0.02 and g nonequal?
True
Let x = 636 + -637. Which is smaller: -34/33 or x?
-34/33
Let p be (-6)/8 - (-728)/32. Suppose 0 = -4*z + 3*z + 22. Do z and p have the same value?
True
Let o = -1 - -1. Let w be (-9)/(2187/90)*(-3)/(-4). Which is smaller: o or w?
w
Suppose -4*j = -5*v + 78, -j - 3*v - 32 = 2*v. Let f = j + 15. Let s be f + 0 - (-28)/14. Does -6 = s?
False
Let f(x) = 21*x + 31. Let w be f(4). Which is smaller: w or 117?
w
Let k(w) = w**3 + 26*w**2 - 71*w - 418. Let r be k(-28). Let a = 56 + -272/5. Is a bigger than r?
False
Let v = -6 + 11. Let f = v + 0. Let l = -5 + f. Which is smaller: 17 or l?
l
Suppose 529 = 7*x + 2489. Which is smaller: x or -282?
-282
Let s be 4/6 + 28/3. Let p = 24 - 23. Let m(k) = 10*k**2 - 2*k + 2. Let q be m(p). Is q greater than or equal to s?
True
Let i be (-8)/6 - (-609)/441. Let z be 1 - (1 + 2/1). Let u = z + 3. Is i equal to u?
False
Let r be 0/(-6 + -9 - -10). Which is bigger: r or 6/347?
6/347
Let o = 0.4 - -1.2. Let n = o + -0.6. Which is smaller: n or 3/16?
3/16
Let h be (-1)/(-1) + 2469/6. Let g = h - 421. Suppose 3*q = 3*x + 12, 5*x - 3*q + 2 = -26. Which is greater: x or g?
x
Suppose 0 = -7*u + 19 + 51. Let q be ((-8)/u)/((-60)/50). Is -6 bigger than q?
False
Let j(f) = f**2 + 59 + 6*f - 70 + 3*f - 4*f. Let k be j(-9). Is k < 23?
False
Let l(b) = 3*b**3 - b. Let m be l(1). Let j be 4/(-13)*1/m. Which is smaller: j or 1?
j
Let w = -10699/17 + 629. Is w less than 0?
True
Let u be 4 + ((-1900)/205 - -6). Is 2 equal to u?
False
Suppose -4*d - 12 = -4. Let g be ((-1)/(d/1))/(-1). Suppose 0 = -5*v + 38*c - 33*c + 15, -3*c - 25 = 5*v. Which is smaller: g or v?
v
Let g = -17 + 17.08. Let k = g + 5.92. Is k less than or equal to 2/5?
False
Let j = -10295/4 + 2560. Let k = -51 - -38. Which is bigger: k or j?
k
Let a(y) = -2*y + 10*y - y**2 - 5*y. Let k