ose -y + 5*c = 3*y - p, 3*c = 4*y - 9. Which is greater: j or y?
y
Suppose -2*n + 82 = 4*k - 5*k, k + 70 = -n. Which is smaller: k or -75?
-75
Let o = 21/20 + 47/4. Are o and -2/7 nonequal?
True
Suppose 950 + 12 = 13*s. Which is greater: s or 75?
75
Let v be (-9)/3 - (-52)/14. Let b = 59/63 - v. Which is greater: 15/7 or b?
15/7
Let c = 12.7 - 13. Let t = 0.1 + 0.4. Let u = c + t. Is u <= 0.1?
False
Let q(s) = s**3 - 3*s**2 - s. Let y be q(3). Let k = 2.3 - -0.7. Is y >= k?
False
Let v = 64.93 + 1.07. Let k = 68.3 - v. Which is greater: -2 or k?
k
Let m = -2 + 1. Suppose -6*s - 51 - 27 = 0. Let v = -14 - s. Is v at most m?
True
Let y = -36858 - -183482/5. Let c = 158 + y. Is c < -4?
False
Suppose 4*f + 208 = 12*f. Suppose -3*k + 24 = -39. Suppose -t = -4 - k. Which is smaller: t or f?
t
Let n(j) = j**2 + 3*j + 4. Let m be n(-5). Suppose h = -m - 37. Is -50 bigger than h?
True
Let d = 119.9 - 118.9. Is -13.4 != d?
True
Suppose 3*j = j + 4*l - 4, -2*j - 2*l = 28. Suppose 0 = 2*o + 4*s - 22, 2*o = s - 0*s + 7. Let a(p) = -4*p + 11. Let i be a(o). Which is smaller: j or i?
j
Let r be ((9/1)/(-3))/(-3). Let w = 81/56 + 17/7. Let v = w - 4. Is r bigger than v?
True
Let y = -1034 - -3101/3. Which is bigger: -504 or y?
y
Suppose 4*u + 5*k = -9 - 126, -u - 5*k - 15 = 0. Let w = u + -18. Is w not equal to -58?
False
Let k = -372 - -369. Let y be ((-1)/6)/((-9)/(-207)). Which is bigger: k or y?
k
Suppose 5*r = -5*y + 10, -5*y - 4 = 3*r - 16. Let t = 84 - 587/7. Is t at most r?
False
Let f be (-2)/3996*1860/9. Let d = f + 4/81. Which is smaller: d or 0?
d
Suppose 0 = -2*x - 4 - 12. Let z be (-1)/(-5) + (-246)/30. Are z and x nonequal?
False
Let s = -4512 + 4512. Let c = -2259/4165 - -26/49. Which is greater: c or s?
s
Let h be 0/1 - 25065/39. Let p = 643 + h. Which is smaller: p or 0?
0
Let r = 2 + -2. Let n(a) = -2*a**2 + 10*a + 10. Let b be n(7). Let p = b + 18. Is r <= p?
True
Let n = 0.2 + 0. Let o = 0.7 - n. Let s = -4816 - -4812. Does s = o?
False
Suppose -f + 4*t - 66 = 2*f, 5*f = -2*t - 136. Which is bigger: f or -18?
-18
Let t(v) = v + 2. Let d be t(-12). Suppose -h - 4*h = 60. Let f = h - d. Which is greater: -6/7 or f?
-6/7
Let s = 16 + -11. Suppose -s*a - 2*q = -2*a - 5, 0 = a - 4*q + 17. Let u(j) = -3*j**3 + 2*j**2 - j. Let d be u(1). Is a < d?
False
Let w be -1*355 + -1 + 5. Let j be (-41)/(-13) + 9/(w/6). Is -3/8 != j?
True
Suppose 32 = -2*o - 2*o. Let r be 42/(-22) + o/((-16)/4). Which is smaller: 0 or r?
0
Suppose 12*y - 14*y - 4 = 0. Is -15/22 smaller than y?
False
Suppose -2*b - 5 = -15. Suppose b = 4*x - 3, n = -x + 4. Suppose n*t = 11 - 19. Which is smaller: -2 or t?
t
Let d(x) = x - 4. Let j be d(4). Suppose -2*p = -j*p + 5*h + 11, -4*h - 22 = -5*p. Are p and 4/3 equal?
False
Let f = -1068 - -622. Is f > 1?
False
Let n be 27/12 + 1/(-4). Let v be n/(-7) + (-2)/(-56). Let u = 115 + -116. Is v greater than or equal to u?
True
Let r = 93 - 9301/100. Does 0 = r?
False
Let c = -9797733/104386 - 417/2546. Let v = c + 94. Which is smaller: v or 1?
v
Let i be ((-1468)/414)/((-210)/6). Let j = i + -8/115. Which is greater: 0 or j?
j
Let p be (-129)/(4/((-18784)/348)). Let q = p + -1740. Let s = -272/435 + q. Which is greater: s or -0.2?
s
Let b be 112/(-28) + 0 + (0 - -2). Is -9 at most b?
True
Suppose -3*b = -3 - 3. Let o be 20/(6 + -3 + -12) + b. Let p = 0.7 - -0.3. Which is bigger: o or p?
p
Let s be -4 - (7 - (-152)/(-16)). Does s = -65?
False
Let z be (-284)/28 - 7/(-49). Is z > -21?
True
Let c = 4 + -6. Let b be (-512)/48*(-18)/4. Suppose -2*z + b = 56. Which is bigger: c or z?
c
Suppose -5*v - 2*w + 5 + 2 = 0, -v - 4 = -5*w. Suppose 7 = -8*c - v. Do 2/61 and c have different values?
True
Let f = 3556/11 - 3692/11. Is f bigger than -12?
False
Let s = -163 - -233. Let k = 38 - s. Let p = k + 63/2. Which is smaller: -2/5 or p?
p
Let n(u) = -2*u**2 - 17*u + 22. Let x be n(-8). Which is smaller: 3 or x?
3
Let w = -17 - 8. Let g = 4.9 - 6. Let h = g + 0.1. Is w equal to h?
False
Let v(t) = -t**2 - 3*t - 2. Let d be v(-2). Suppose 3*o = -5*j + 1 - 9, 2 = 3*j - 5*o. Let f be (j*(-1)/(-20))/(4/(-50)). Is f not equal to d?
True
Let z be 11 - (-4 - -2)/2. Suppose -4*c - 28 = -5*j, 0 = -4*c + 4*j - 34 + 10. Let l be (-196)/24 - c/z. Which is smaller: l or -1?
l
Let t = 847.4 + -847.3. Suppose 0*i + 3*i = -33. Which is smaller: t or i?
i
Suppose -4*g = -4*a, 2*a = -g - 11 - 4. Is g at most as big as -66/17?
True
Let t = -6 + 4. Suppose 12 = -3*j, -5*v + j + 315 = -189. Let r = v + -101. Which is smaller: r or t?
t
Let k be -8 + (-8 - 666/(-33)). Which is greater: k or 5?
5
Let a = 612 - 612.2. Which is smaller: 21 or a?
a
Suppose 0*z + 4*r - 614 = 2*z, r = 3*z + 896. Let l = z - -424. Let o = -7491/59 + l. Is o bigger than 0?
True
Let h(w) = 2*w**3 - 2*w**2 - 13*w - 43. Let f(j) = j**3 - 7*j - 22. Let b(y) = 5*f(y) - 3*h(y). Let x be b(7). Is x equal to 20?
False
Let r = -17 - -19. Suppose -5 = -r*n + 17. Are 11 and n equal?
True
Suppose 5*d - 35 = -5*r, 8*r - 18 = 9*r - 4*d. Which is bigger: 67 or r?
67
Suppose -t + 3*d - 2 = 0, 0*t + 2*t - 3*d + 1 = 0. Let w be 52/(-14) + 4/(-14). Let j be w*1/((-44)/2). Is j at least t?
False
Suppose 2*o = 13 - 31. Suppose -x + 41 = 4*k, -2*k = k + 2*x - 37. Let l be k/13*6/o. Which is smaller: l or 1?
l
Suppose -19*p + 21*p = 24. Let w be 2/8 - 3/p. Let i = 98/11 - 1318/143. Which is greater: i or w?
w
Let z = -16 + 22. Suppose 0 = -0*j - 3*j - 36. Let s = -7 - j. Which is smaller: s or z?
s
Let m = 2255 + -13427/6. Which is smaller: 17 or m?
17
Suppose -3*o - 2*l + 141 = 0, 3*o + 2*l = 4*l + 153. Let y = o + -58. Let u = -7 + -3. Is u greater than y?
False
Let g(i) be the third derivative of -i**4/24 + 11*i**3/6 - 2*i**2. Let x be g(11). Let o be (-2)/(-4)*(-1)/(-4). Which is smaller: x or o?
x
Let j(v) = 2*v + 1. Let y be j(-1). Let r = -206075/777 - 1498/111. Let z = r + 277. Is y greater than z?
True
Let l(i) = -i**2 - 9*i + 6. Let q be l(-9). Let o be -1 + (4 - 1) + (-9)/q. Is 1.9 at most o?
False
Let z(l) = -1. Let t(j) = -9*j**2 - j - 6. Let o(i) = -t(i) + 7*z(i). Let w(u) = u + 1. Let s be w(0). Let d be o(s). Which is greater: d or 8?
d
Let t be (-3)/6 - 2*2/(-6). Let g = 3 + -2. Let a = -0.7 + g. Is t less than or equal to a?
True
Let y = 75 - 73. Let w be (y/3)/(124/(-132) + 1). Is w >= 14?
False
Let x(g) = g - 13. Let u be x(-4). Let i = 11 + u. Is i bigger than -7?
True
Let v = -263 - -277. Is v less than 12?
False
Let i be (-40)/128*3*175. Let z = -164 - i. Suppose 5*y - h - 2 = 8, 20 = -4*h. Which is bigger: z or y?
y
Let a(v) = -v**3 + 8*v**2 - 4*v + 5. Let m be a(8). Let s be -2 + 1/(m/(-48)). Let g = -0.1 + 0. Is s less than or equal to g?
True
Let m(k) be the second derivative of k**4/12 + 2*k**3/3 - 5*k**2 + 5*k. Let r be m(-5). Is 1 bigger than r?
True
Let l be 6/3*(1 + (-9)/6). Let k(y) = 17*y**3 - y - 1. Let h be k(-1). Which is smaller: l or h?
h
Let t = 2997/26 + -270/13. Let j = t - 100. Let i = j + 6. Is i equal to 1?
False
Let t be 6*5*(-8)/(-16). Let r = t - 9. Let d be (-1 + r/10)*-7. Is 2 less than d?
True
Let c = -129 + 141. Let x = -20 - -28. Let i be c/x + (-212)/152. Is i less than 2?
True
Let h = -17999/1420 + 371/71. Let w = -1/20 + h. Is w equal to -7?
False
Let h = 1/7 + 4/21. Suppose 3*m + m + 20 = 0. Let v be (m + 1 - -3)*(-1)/(-6). Which is smaller: v or h?
v
Let m(i) = -i - 13. Let l be m(-18). Suppose -l*j = -4*g + 1 - 20, -5*j + 8 = -3*g. Which is smaller: -10 or g?
g
Let f = 67 + -62. Suppose -2*o + 37 = -5*h, -2*h - f = 3*h. Do 14 and o have the same value?
False
Let i be (14/(-35))/((-1)/5). Let m be (7/14)/(i/(-140)). Is m at least -35?
True
Let j = 0.576 + 12.424. Which is smaller: 44 or j?
j
Let h = 12 + -14.5. Let b = -31 - -33.3. Let i = h + b. Which is bigger: i or -4?
i
Let o = -2427 + 2427. Which is smaller: -44/31 or o?
-44/31
Suppose 0 = 16*o + 1806 + 66. Let f = -110 - o. Is f != 13?
True
Let g be 6/(-1195)*((-136)/16 - -6). Do g and 1 have different values?
True
Let b = 2 - -1. Let r(f) = -2*f - 9. Let c be r(-7). Suppose 2*j = o - 6, -5 = c*o - 3*j - 28. Which is greater: o or b?
o
Let b(g) = g**2 - 6*g - 10. Let i be b(7). Let m be (-1)/(1 + i)*-26. Let j = -2 - 10. Does m = j?
False
Let c(s) = s**2 - 15*s + 32. Let k be c(3). Do -0.39 and k hav