 Is r not equal to k?
True
Let b = 3435 - 2206. Which is greater: b or 1228?
b
Let l(r) = 12*r**2 - 125*r + 620. Let m be l(5). Which is bigger: m or 293?
m
Suppose 0 = -12*m + 10*m. Suppose m = 3*k - 25 - 62. Suppose -8 = -4*c + 112. Is k greater than c?
False
Let j = -1/297 - -10891/297. Which is smaller: j or -6?
-6
Let o = -278960/23 - -12130. Which is smaller: 0 or o?
0
Let r be (-8)/2 + (-7 + -16 - -4). Let k be (2 + 16)/(-6)*r/(-3). Let z = -72 + 49. Are z and k non-equal?
False
Let h be 59/((1 - -3 - -148)*(-10 + 9)). Which is smaller: h or 0?
h
Suppose 183 + 82 = 4*u + g, -2*u + 135 = g. Let b = -49 - -114. Is u less than b?
False
Let b = -254 - -410. Let z = b + -69. Is z less than or equal to -1/2?
False
Suppose 4*u - m = 6, 4*m + 47 = -3*u + 61. Suppose -u*z + 2*f = -26, 0 = -4*z - z + 3*f + 65. Which is bigger: 23 or z?
23
Let u = 87 + -155. Let g(j) = -63*j**2 + 55*j - 58. Let z be g(1). Do u and z have different values?
True
Let c be (-2)/12 + 847/4452 + 5 + -5. Is c at most as big as 1?
True
Suppose 2*b + 13 = 3*d + 3*b, 16 = 2*d - 3*b. Let z(m) be the first derivative of 3*m**2/2 + 73*m + 45. Let f be z(-23). Which is greater: d or f?
d
Let a(k) = -k**3 + 15*k**2 - 16*k - 17. Let q be a(8). Let j = q + -327. Is 5 >= j?
True
Suppose -172 = c + 65. Let h be (7 - 34/4)*(-4)/(-3). Let o be (0 - c/(-81)) + (-6)/h. Is 0 > o?
False
Suppose 3*w + 0*w = 0. Suppose -s + 8 = t, -3*s - 8 = -5*t - w*s. Suppose 48 = t*f - 0*f. Is 12 at least f?
True
Let d = -28.06 + -21.14. Do d and 2/9 have the same value?
False
Let r be ((-252)/(-150))/(11 + 1055/50). Is 0 bigger than r?
False
Let w(f) = -4*f. Let r(k) = -k**2 - 1. Let t(u) = 2*r(u) - 2*w(u). Let a be t(5). Let c = -0.93 - 0.07. Which is smaller: a or c?
a
Let d be 7 + (-3044)/8 - (-5 + 0). Which is smaller: 2/5 or d?
d
Suppose 3*q + 156 = 16*q. Suppose -r = -2*r + 2*l + 7, 5*l - 65 = -3*r. Let k be (-12)/r*70/q. Is -5 less than k?
True
Suppose -8*x - 103 + 121 = -390. Which is smaller: x or 656/13?
656/13
Let s(g) = 251*g - 1890. Let y be s(8). Which is greater: y or 122?
122
Let i(r) = -4*r**3 + r**2 + 3*r - 3. Suppose z - 4*z = -6. Let n be i(z). Suppose 4*h - 4922 = -5014. Which is greater: h or n?
h
Let r = -2403 - -1544. Let x = 511 + r. Are x and -348 unequal?
False
Suppose -6*g - 32 = 58. Let i be g/9*3 + -6 + 7. Let o = -1 + -3. Is o at most i?
True
Let p be -98*((-6)/(-51) + (-78)/(-204)). Let d be 55/(-210) - 14/p. Which is bigger: 0 or d?
d
Let k(d) = -d**3 - 20*d**2 + 42*d - 21. Let q be k(-22). Suppose 46*j - q*j - 3703 = 0. Are 164 and j equal?
False
Let o be -3*(23/(-3) + 1). Let f = 34 - -26. Suppose 4*n = -4*d + f, 51 = -0*d + 3*d + n. Is o <= d?
False
Suppose 0 = 3*q + 140 + 103. Let d = 80 + q. Which is smaller: -1/48 or d?
d
Suppose 5150 + 1908 = -8*y - 4630. Is -2923/2 at most as big as y?
True
Let o be 3/6 + 1666/36. Let f = 207226 - 9322687/45. Let n = f - o. Is 9 less than n?
False
Let d = 4060 + -4022. Which is smaller: d or 34?
34
Let i be 57242/(-42) - (-436)/(-4578). Is i greater than -1361?
False
Let h = -7 + -16. Let y be 0 + 1 + h + 22. Which is bigger: -6/5 or y?
y
Let c = -9 + 9.22. Let l = c - 0.3. Let f = 47 - 48. Which is smaller: l or f?
f
Let n = -6 + 22. Suppose 0 = -3*o + 3*t - 3, -2*t = 2*o + 2*t - n. Suppose -5*s + 90 = -o*s. Is 31 equal to s?
False
Suppose -2*h = -c + 796, 365*h - 4007 = -5*c + 366*h. Which is smaller: c or 4013/5?
c
Let r = -1.73 - -1.8. Let f = -0.02 + r. Let q be 18/(-6) + (-212)/(-68). Which is greater: q or f?
q
Let f be -5*7/((-770)/(-24)) + 0. Suppose 4*x + 3*t - 9 = 0, 0*x + 2*x - 7 = t. Suppose x*s - 15 = -3*o, -10 = -2*o + 3*o - 2*s. Which is smaller: o or f?
f
Let j = -160 + 172. Let q be j/68*(-4)/(-6). Which is bigger: -13 or q?
q
Let d = -17 + 13. Let i be 2/d + 1 + (-140)/8. Let w = 80 + -79.7. Is w smaller than i?
False
Let c = 21.555 + 0.245. Let o = c - 75.8. Which is greater: o or 2?
2
Let q = -4494 - -4507. Is -41 bigger than q?
False
Let s be (13 + -3 + (-592)/56)/(22/(-7)). Is 4727 at most as big as s?
False
Let q = -165.7929 + -0.0071. Let f = 166 + q. Is 11 at least f?
True
Suppose 246*l = 161*l - 31*l + 2668. Which is bigger: 165 or l?
165
Let k = -4296 + 4782. Is 484 at most as big as k?
True
Let b(m) = m**3 + 25*m**2 - 83*m + 25. Let d be b(-28). Let u = 0 + 0.051. Is u smaller than d?
False
Let a = -3452 - -3506. Which is smaller: a or 29?
29
Let c = 8427.12 - 8549. Are 0 and c nonequal?
True
Let v = -3611 + 3612. Is v less than 63/8?
True
Let r = -556026 + 26854387724/48297. Is 0 at least as big as r?
False
Let z be (-7 + 186/30)*-5. Suppose 21*a + 3*a = z*a. Which is smaller: -6.1 or a?
-6.1
Let k = -442 + 441.8. Let x = -1.6 - -1.8. Let o = x + 14.8. Which is smaller: k or o?
k
Let k = -0.034 + -3.766. Let r = k - 11.2. Which is smaller: r or -1?
r
Suppose 2*i - 22 = 6. Let z be 2 + -6 + 82/40. Let u = z - -11/5. Does u = i?
False
Let j = 0.14 - -1.36. Let w = j + -1.7. Let u = 200.8 - 183.8. Is w not equal to u?
True
Suppose -11 + 11 = 23*z. Suppose o + 104 - 103 = z. Let n = 1391/16390 - 14/149. Is o greater than n?
False
Let p(q) = -2*q**3 - 67*q**2 + 37*q + 102. Let a be p(-34). Which is bigger: a or -3/478?
a
Let m = 532 - 560. Let i = 344 + m. Which is smaller: i or 318?
i
Let q = 2/825 + -43/4125. Let l be (-20 - -18) + (0 - 1)*-3. Suppose -12*w + 13 = l. Is q less than or equal to w?
True
Suppose 2*h - 13 = -f, 37*f = 2*h + 35*f + 2. Suppose -2*t + 370 = -h*g, 765 - 270 = -5*g - 4*t. Is -95 at least as big as g?
True
Suppose 5 = 2*w - w. Suppose 18 = 3*d + d - 2*k, -7 = -2*d + 3*k. Suppose -w = -c + d. Which is smaller: 4 or c?
4
Let v = 7780 + -9487. Which is smaller: -1705 or v?
v
Let p be 2/8 + (-506712)/105248 - -4. Let u = p + 25/46. Which is greater: -1 or u?
u
Let f = -153685449 + 4611835727/30. Let i = f + -42400. Let p = i - 17/2. Is p less than 1?
True
Let q(p) = p**3 + 121*p**2 + 1007*p - 10. Let i be q(-9). Which is smaller: i or 25/156?
i
Suppose -79 - 1368 = -15*p + 1538. Which is smaller: 43 or p?
43
Let m = -294 + 318. Let f be 0 + m/21*(-11)/11. Do -2 and f have the same value?
False
Suppose -4*f = -5*h - 7434, 5*f + 7470 = 8*h - 13*h. Is h smaller than -1492?
False
Suppose -4*v + 2*g - 6678 = 0, 430 = v + g + 2107. Is -1673 bigger than v?
False
Let c = 3.72 + -3.3. Let t = 46.68 + -47. Let z = c + t. Is -1 greater than z?
False
Suppose 160 = 30*s - 50*s. Let y be (-12)/s*(-4)/207. Suppose 4*x + o = -0 + 2, -3*o = -6. Which is smaller: y or x?
y
Let g be (72/(-96))/((-15)/(-2760)). Is -139 equal to g?
False
Let l be 752/(-1232) + 9/21. Suppose g - 10 = -u, 4*u - 45 = -9*g + 4*g. Which is greater: l or u?
u
Suppose 3*o - 8*o = -10. Let v be (1/o)/(((-2)/(-12))/1). Suppose t = 3*s - 10 - 4, v*s = -3*t - 6. Which is greater: t or -7?
t
Let c = -14307/53 - -270. Let p be (-2 - -4) + (0 - 3 - 0). Which is smaller: p or c?
p
Suppose 6 = 14*k - 106. Suppose -13*m - 5 - k = 0. Let c = -1160/41251 + 2/497. Which is greater: m or c?
c
Let g(k) = 6*k + 183. Let f be g(7). Suppose 311*p + f = 306*p. Let c(w) = w**3 - 6*w**2 - 6*w - 8. Let d be c(6). Is d not equal to p?
True
Suppose -1918*a + 21 = -1897*a. Which is smaller: 1/36241 or a?
1/36241
Suppose 4*u + 2*j = -14 + 22, -5*u = 3*j - 8. Let d be u/6 - (21050/(-60) - 6). Do 359 and d have the same value?
False
Let m = 106.28 - -3.22. Let w = m + -101. Let t = w + -12.5. Which is bigger: 0 or t?
0
Suppose -2*m = 3*i + 5, 270*i = -2*m + 272*i. Are m and 1/42 nonequal?
True
Let s = 1449 + -7299/5. Let f = 52/5 + s. Let l(n) = 14*n**2 + 361*n + 346. Let z be l(-1). Which is smaller: z or f?
z
Let c = 11.669 - 11.6032. Is c smaller than -0.3?
False
Let w(a) = -1. Let x(y) = -6*y + 5. Let p(c) = -4*w(c) - x(c). Let d be p(1). Let o be (-4 + 1)/(d + -6). Is 2/7 smaller than o?
True
Suppose -51*h + 3 = -47*h + 3*s, -4*h = -2*s + 2. Which is bigger: h or 4/3095?
4/3095
Let n be (-3 - (5 + 4))/1. Let a = -61 - n. Is -47 smaller than a?
False
Let k = -103 + 107. Let z(w) = -w**3 + 5*w**2 - 4*w - 5. Let r be z(k). Let g be (-10)/16*(r + 44/4). Do -5 and g have different values?
True
Let g be 10 + -7 - (2 + 2). Let a be ((g - -5) + 4)*(-2)/4. Let w be 6 - 5 - a - 5. Which is greater: w or -2/85?
w
Let t = 1175/84 - 278/21. Which is smaller: