ch is bigger: j or -207/19?
-207/19
Suppose 4*i = 3*p - 659, i + 390 = 2*p - 41. Is p at least as big as 212?
True
Let d be (-21)/1*(-55)/33. Let w = d + -44. Which is smaller: w or -10?
-10
Let g = 19122861/2968550 - 32/114175. Let t = 155/26 - g. Which is smaller: 1 or t?
t
Suppose -3*k = -5*m + 47, 4*k + 4*m - 9*m = -56. Which is greater: k or -10?
k
Suppose 0 = -2*h + 2*x + 44, -h = 2*h - 2*x - 63. Suppose 3*y + 5*f = h, -4*f + 28 = 2*y - 6*y. Let w be -3 + ((-27)/(-15) - y). Which is greater: w or 1?
1
Let n = -0.1 + 2.1. Suppose 2*a = -5*l - 35, -l - 11 = 4*a - 4. Which is bigger: n or l?
n
Suppose -5*r + 150 = -i, r = 25*i - 22*i + 30. Which is bigger: r or 20?
r
Let r be (-1)/(-2)*(-2)/(-26)*74. Which is greater: 4 or r?
4
Let o be 6/(-10) + -1 + (-482)/(-300). Let j = -17/1950 - o. Which is smaller: -1 or j?
-1
Let s(u) = -u + 5. Let v be s(-4). Suppose 4*x + 3 = -5. Let k(p) = 2*p**2 - 2*p - 3. Let l be k(x). Is l less than or equal to v?
True
Let c = -401 - -400.9. Which is smaller: 4 or c?
c
Suppose 4*h = 2*o + 22 - 8, -3*h + 38 = 4*o. Suppose -f - h = 6. Is f greater than or equal to -11?
False
Suppose -114 = -3*l - 0*l. Suppose 0 = -2*g - 0*g - l. Let f = g - -12. Are f and -9 unequal?
True
Let d be ((-6)/(-4))/(7/(-28)). Let r be 13*-1 + d/3. Let h be (15/20)/(r/8). Which is smaller: h or 1/4?
h
Suppose 390*i = 385*i + 735. Let m = -148 + i. Is -10/31 < m?
False
Suppose 0 = -f + 3 + 2. Suppose f*z - 5*p = 90, -4*z = -p + 2*p - 72. Is z < 18?
False
Let o(d) = d + 1. Let z be o(2). Suppose 24 = -0*g + z*g - 3*i, 3*i + 30 = 5*g. Let b be 0*(21/(-6) + g). Which is smaller: 10 or b?
b
Let i(u) = u**2 - 8*u + 4. Let s be i(10). Suppose 4*v - 92 = -s. Which is smaller: v or 14?
14
Let i = -7 + 10. Let j(t) = -6*t. Let x be j(i). Let y be 2/x*12/10. Is y bigger than 0?
False
Let f = 17 + -4. Suppose 61*h + 48 = 65*h. Which is smaller: h or f?
h
Suppose -12 = -3*u + 3. Suppose b - u = 6*b. Let t be 1 + b + (-1 - -2). Is 0 greater than or equal to t?
False
Suppose -2*y - 2*y = -3*r, 5*y = -15. Suppose -121 = -2*f + 7*f - 3*m, f + 2*m + 32 = 0. Let p = f - -23. Is r > p?
False
Let v = -2338 + 151966/65. Which is bigger: 1 or v?
1
Let x be 3/(-2) - 114/(-60). Suppose 4*t = 7 + 69. Which is bigger: t or x?
t
Let t be 1/((-1)/(-2)) - 138. Let g be t/(-70) - (-4)/20. Is g smaller than 2?
False
Suppose 9*w = 7*w + 8. Let k = 4 - w. Is -2/135 at least k?
False
Let j = 0.38 + -0.08. Suppose -z + 2 = -u + 2*u, 4*z - 18 = u. Is u less than or equal to j?
True
Let c = 19.6479 - 0.4379. Let i = c - 0.21. Which is greater: -1 or i?
i
Let s be (-5)/(-70) - (-614746)/308. Is s equal to 1995?
False
Let g be (-9)/15*(-120)/72. Which is smaller: -1/693 or g?
-1/693
Let g = 34 + -36. Suppose h - 22 = -5*k, -h - 3*k = k - 17. Let w be (1*1*h)/(-1). Which is greater: g or w?
w
Let d(v) = -11*v**2 + 6*v - 1. Let m be d(1). Which is smaller: -36/5 or m?
-36/5
Let k = -332.2 + 332. Is 85 smaller than k?
False
Suppose 0 = -2*h - 4*h - 6. Let n(l) = l + 6. Let c be (-1*14)/(0 - -2). Let z be n(c). Is z less than h?
False
Let j be 1/6 + (-242)/12. Let q be (-22)/j + 13/(-26). Is 1 less than q?
False
Suppose -4*a + a + 12 = v, 0 = -v - 5*a + 20. Let y = 4 - v. Let n be -2*1/y*0. Which is bigger: -1/3 or n?
n
Let i = -1176686/657 + 1791. Which is greater: -1 or i?
i
Let u = 17 + -6. Let v = -19 + u. Let h = -9 - v. Is -3 equal to h?
False
Let v = -3896 - -3896.01. Let n = -3 - -7. Do n and v have different values?
True
Let g = 29.35 - 0.35. Which is smaller: g or 0.9?
0.9
Let r = -2/37 - -43/111. Let v be 0/(-3 - (-2 - -2 - 2)). Suppose v*h = -4*h + 4. Are h and r non-equal?
True
Suppose -62*n + 57*n = -115. Is n > 6?
True
Let j = -9 - -12. Suppose r - j = 1. Suppose 0 = -5*m + r*p + 37, 0 = p + 7 - 4. Which is bigger: 6 or m?
6
Suppose -s = -3*g + 11, 4*s - s = 5*g - 45. Let k = 21 + s. Which is greater: 1/3 or k?
k
Let b = 95.3 + -96. Which is smaller: -4/9 or b?
b
Suppose 9 - 4 = v. Suppose -q + 4 = -v*q. Let t = 33/25 - 1997/1475. Are q and t non-equal?
True
Let w be 25496/57 - (-22)/33. Let h = w + -448. Is h at least -1?
True
Let o = 115 - 114.8. Is o at least -0.013?
True
Let g(h) = 3*h + 1. Let l be g(1). Let v = 63 - 60. Suppose 0 = 4*c - r + 4, -v*c = -0*r - l*r + 16. Which is smaller: c or -1?
-1
Suppose 0 = -3*c + 6, -4*i - 3*c = -21 + 7. Let f(m) = m**3 + 4*m**2 - 7*m - 5. Let j be f(-5). Let t = i - j. Is t greater than -4?
True
Let r = 27 - 56. Let n = 14 + r. Let z = 17 + n. Which is bigger: z or -2/13?
z
Suppose -5*l = -7*l - 10. Let z = -20/3 - l. Is -3 at most as big as z?
True
Let s be (6/(-4))/(1/(40/15)). Let z be (-26)/6 + 2/6. Let c = s + z. Is c at least -6?
False
Let h(q) = -17*q**3 + 3*q**2 - 15*q + 3. Let p be h(2). Is p at most as big as -150?
True
Let v(z) = -1 + 7*z - 2 + 1. Let g be v(-9). Let d be -1*2 - 145/g. Which is greater: d or 0?
d
Suppose 5*f + 16 = 3*p, 4*f = -9 + 1. Which is smaller: -8 or p?
-8
Suppose -x + 4 = 2*r, x - 3*r = -25 + 9. Is 75 >= x?
True
Let i(c) = c + 1. Let m be i(-1). Suppose -3*b + 4 + 8 = m. Suppose b*n + 19 = 35. Which is smaller: n or 1?
1
Let a be (-12)/(-42) - (-37)/(-7). Let c be a/(15/18) - 4. Suppose -4*t - 26 - 18 = 0. Which is smaller: t or c?
t
Suppose 3*l = -2 + 11. Suppose 0 = -a + l - 5. Are -2 and a unequal?
False
Let r be (-6)/15 + (-28)/(-70). Suppose r = 3*f - 3*p + 6, -5*f - 10*p + 6*p - 37 = 0. Do f and -9/2 have different values?
True
Suppose 0 = 163*i - 153*i. Let t = 692 + -12451/18. Is t greater than i?
True
Let l be 2 + 8*2/4. Suppose 0 = q - 3*c - 19, -l*q + 5*q - 3*c + 19 = 0. Is q <= 19?
True
Suppose -36186 = 5*h - 2*f - 176874, 0 = h - 3*f - 28135. Let z = -141247/5 + h. Let a = 111 + z. Which is smaller: 2/7 or a?
a
Let h(t) = t - 3. Let o be h(4). Is o > 2/157?
True
Let r = -70 + 131. Are r and 61 non-equal?
False
Suppose 27 = 4*d - 8*d - 3*p, -9*d - 4*p - 47 = 0. Let y be (-2)/(-5) - 122/30. Is y bigger than d?
False
Let r(k) = k**3 - k**2 + 1. Let f be r(0). Let b = 2377 + -35653/15. Does f = b?
False
Let j(k) = -k**3 - 9*k**2 - 23*k - 94. Let n be j(-7). Is n less than or equal to -28?
True
Suppose 5*p = -7 + 22. Suppose 3 = -p*o + 9. Let q be (o/(-138))/((-15)/90). Which is smaller: q or 1?
q
Suppose -2*v + t - 16 + 0 = 0, 5*v - 2*t + 40 = 0. Let h be 6/(-4)*64/(-12). Suppose 0*o - 4*o + 35 = -3*w, 4*o - h = 0. Which is greater: w or v?
v
Let m = 28 + -97. Which is greater: m or -71?
m
Let q(t) = -t**2 - 5*t + 10. Let h(w) = -w**2 - 4*w + 3. Let m be h(-6). Let r be q(m). Let l = -23 - r. Is l at most 6?
True
Let w be (-2 - (0 + 1)) + 1. Let x be w + 1*(2 + -2). Is -3 at most as big as x?
True
Let s = 139371/7 + -14491329/728. Let v = 3479 - 27795/8. Let g = s - v. Are g and 0 unequal?
True
Let y = 37.6 + 4.4. Let k = 42 - y. Which is greater: -7/5 or k?
k
Suppose 0 = -7*p + 2*p - 15. Suppose -3*q - s - 17 = 4*s, 4*q + s = 0. Let d = q + p. Is d greater than -9/5?
False
Let h = -39 + 45. Which is bigger: 23 or h?
23
Let j = -18/5 - -4. Suppose 193 = -15*p - 317. Which is smaller: p or j?
p
Suppose -1254 + 1146 = 2*i. Which is greater: -55 or i?
i
Let x(o) = o**3 + 6*o**2 + 4*o - 7. Let d be x(-5). Let f = d + 23. Does f = 20?
False
Let n = 8 + -3. Let w = -25 + 25. Suppose -z + 4 = -w. Does n = z?
False
Let f(j) = -j + 2. Let t be f(-3). Suppose -t = -2*o + 11. Which is smaller: 2 or o?
2
Let v = 179 - 188. Does v = -1?
False
Let t = -2 + 8. Suppose -p - t = -0. Let r be p/(-16)*120/(-54). Which is smaller: r or -1?
-1
Let z(p) = -3*p - 1. Let i be z(-1). Let k be (1/i)/(6/3). Which is bigger: -0.2 or k?
k
Let d be 26/8 - (-2)/(-8) - 172. Do d and -170 have the same value?
False
Let z(d) be the first derivative of d**4/4 + 3*d**3 - d**2/2 - 2*d - 5. Let c be z(-9). Suppose o + c = -1. Is -8 smaller than o?
False
Let a(q) be the second derivative of -q**4/12 + 7*q**3/6 + q**2 - 6*q. Let n be a(9). Let b be -1 + 7/(28/n). Are b and -2/11 equal?
False
Suppose -z - 12 = 14. Suppose -186 = 44*x + 1002. Is z greater than x?
True
Let p be ((-2 - -3)*(-25 - 0))/(-1). Let d = -13 - 12. Let v = 50 + d. Is v at least p?
True
Let b = 56 + -75. Let j = -21 - b. Are -5 and j unequal?
True
Suppose -1 = -4*s - 9, -5*c - 4*s = 33. Let t be (c/(-2))/(2/4). Suppose 0*n + d = -3*n + 7, 