ppose 188*m + 221 = 175*m. Which is bigger: m or 1/62?
1/62
Suppose -2*s + 4*t = -4046, -94*s + 98*s + 3*t = 7993. Which is smaller: s or 22062/11?
s
Let a(k) = -k**3 + 21*k**2 - 17*k - 192. Let n be a(20). Is -131 <= n?
False
Suppose -3*d = -12, -1217 + 357 = -4*o - 2*d. Let r = o - 192. Which is smaller: 83/4 or r?
83/4
Let n = 767/53128929 + -1/25049. Which is smaller: 0 or n?
n
Suppose g - 789*h + 983 = -790*h, 4*g = 4*h - 3956. Are -987 and g non-equal?
True
Let d be (-6)/(-15) + (-448)/1520. Let l be ((-2)/4)/(9/(-18)). Which is smaller: d or l?
d
Suppose -4*f + 4*g = -24, -3 = -4*f + 2*g + 15. Suppose -123 = -17*a - 24*a. Suppose -p + f*n - 54 = 0, -n + a*n + 29 = -p. Is p smaller than -40?
False
Let p(c) = -c**2 - 2*c + 3. Let z(n) = -2*n**2 - 5*n + 7. Let x(v) = -10*p(v) + 4*z(v). Let f be x(2). Suppose f = -r + 4. Which is smaller: r or -2/3?
r
Let s = -220 - -380. Let o = -793/5 + s. Is 2 <= o?
False
Suppose 4*d = -3509 - 29463. Let u be d/42 + (-8)/(-24). Let s = u + 196. Do 0 and s have different values?
True
Suppose -34 = 6*w + 74. Let u be (w/(-3204))/((-2)/8). Suppose 0 - 3 = -3*p. Is u smaller than p?
True
Let f be (-3)/3*(1 + -39). Let x = f - 43. Let v = -32.9 + 33. Which is bigger: x or v?
v
Let y = -1456 - -1535.9. Let v = y - 77.9. Is v smaller than -17/10?
False
Suppose -2*a - 4*f - 30 = -828, 2*f = 0. Suppose -26*d = -5*d - a. Are -2/7 and d nonequal?
True
Let p be ((2 - -7) + -6)*1. Let l be p/(220/45 + -5). Which is greater: l or -28?
l
Let k = 840 - 849. Do k and -65/4 have different values?
True
Let d = 39.2 + -39.511. Let a = 0.411 + d. Which is smaller: -0.18 or a?
-0.18
Let y(d) = -d**3 + d + 1. Let p(c) = -c**3 + 14*c**2 - 12*c + 4. Let j(k) = -p(k) - 2*y(k). Let s be j(6). Is s smaller than 198?
False
Let m(u) = -2*u - 38. Let h be m(-20). Suppose 48 - 6 = -3*t + h*v, 5*t + 5*v + 45 = 0. Let q be (260/210)/(2/t*-4). Which is greater: q or 3?
3
Let j = -47604/6265 - 2/1253. Suppose 0 = -75*w + 77*w - 4. Suppose -w*y + 40 = -5*o, 32 = -0*o - 4*o + y. Is o > j?
False
Suppose 0 = 2*u + 2 - 10. Let q be 0/(2/(2 - u)). Which is greater: q or 24/19?
24/19
Let h be 84/112 + 77/(-44). Is h less than -46/393?
True
Let y = -51560 - -51560. Let v be (3/(-6))/((-9)/140). Which is bigger: y or v?
v
Let t = 41.3 + -49.3. Which is smaller: t or -4?
t
Let x = -127/45 - -59/63. Is -3 not equal to x?
True
Suppose -690 = -3*o - 0*o. Suppose 58 = -12*j - o. Let a = j + 16. Which is greater: -9 or a?
a
Suppose 3*c - 3*x = 9, 2*x = -5*c - 17 + 32. Suppose -9 - c = 12*p. Which is bigger: 0.35 or p?
0.35
Let a be 525/840*(-8)/1. Let c = 0.95 - -0.05. Is c < a?
False
Let c = 4212 + -4591. Is c less than or equal to -0.4?
True
Suppose 26 = 5*s + 1. Suppose -s*x - 3*z = -0*z - 215, 2*z = 0. Which is bigger: 41 or x?
x
Let u(s) = 5*s**2 + 3*s - 3. Let v be u(1). Suppose -3*c + 4*t = -0*t + 35, v*t - 40 = 3*c. Let m be (-5)/c + (-28)/30. Is m < 0?
False
Suppose -4*m - 55 = -2*j - 5*m, -80 = -4*j + 4*m. Suppose 27*p - 424 = j*p. Which is greater: 210 or p?
p
Suppose 10*p + 300 = -70. Let r be (-20)/(-6)*54/(-5). Which is smaller: r or p?
p
Let v = 12.62 + -0.82. Let k = 489.8 + -495. Let w = v - k. Which is smaller: w or 0.1?
0.1
Let o = -79 + 43. Let t = 44 + o. Is -1.7 <= t?
True
Let s(l) = l**3 - 6*l**2 + 5*l + 7. Let b be s(3). Let m be (10/(-16))/b - 30/(-16). Suppose 27*n + m = 29*n. Is 3/23 less than or equal to n?
True
Let c be (6 + -7)/((-4)/1712*-4). Let b be 3/3 - 425/4. Let z = b - c. Is -0.2 at least as big as z?
False
Let c(z) = z**3 + 14*z**2 + 41*z + 92. Let n be c(-11). Suppose 4*s = -5*x - 53, 4*s - 5*s - 11 = x. Let w = x + 9. Is n less than w?
False
Let n be 440/28 - 2/(-7). Let a = -6948 - -6965. Which is greater: n or a?
a
Let k be -2 + (-9)/60 + 49/147. Let y = 797/20 - 81/2. Let x = y - k. Which is smaller: x or 2?
x
Let d be (-24)/(-3) + 353331/(-44204). Which is smaller: -1 or d?
-1
Let u = -29 - -7. Let d = -25024 - -275262/11. Which is smaller: u or d?
u
Suppose 2*i = -5*k - 83, -76 = k - 5*i - 54. Which is smaller: -48 or k?
-48
Suppose 6*a - 14 - 16 = 0. Suppose -a*q + t = 82, -3*t + 91 = -4*q + 21. Is q smaller than -15?
True
Let u be -10 + 1017*(-10)/(-1010). Which is smaller: u or 0?
0
Let u be 15/9*31/5. Let o(d) = d**3 + 3*d**2 - 22*d - 55. Let v be o(-3). Is u > v?
False
Let v = 23.3 - 4.59. Let s = 0.29 + v. Which is bigger: s or -2?
s
Let p = -7/3207 + 61549/282216. Is 0 at least as big as p?
False
Let l = 456 + -456. Suppose 120*k - 115*k - 100 = l. Which is smaller: k or 167/8?
k
Let z(y) = 3*y**3 - 32*y**2 + 10*y + 17. Let i be (-4)/((-162)/30 - -5). Let a be z(i). Is a not equal to -85?
True
Suppose 10*w = 11*w + 5*u - 1320, 0 = -5*w - 4*u + 6579. Are w and 1317 nonequal?
True
Suppose -83*c = -635 - 13475. Which is bigger: c or 163?
c
Suppose 0 = -15*p + 13*p + 62. Let m = -31 + 48. Let w = 17 - m. Is p bigger than w?
True
Suppose 4*n - s - 9 = -0*n, 0 = 5*n + 5*s + 20. Let k be (1 - n)/(4 - 3). Suppose k*r + 4*r + 2*b = -60, 45 = -5*r + 5*b. Is r greater than or equal to -13?
True
Let n = -9817 - -49082/5. Is 1/24 smaller than n?
False
Let z(b) = -19*b + 93*b**3 + 13*b + 6 + 91*b**3 - 183*b**3 - 4*b**2. Suppose -3*h + 5 = 2*w, -w = -4*h + 13 + 12. Let g be z(h). Is -1/109 < g?
True
Let c be ((-3)/30)/(24/(-3690)). Let k = -15 + c. Let m = -2 + 2.05. Is m <= k?
True
Let x(h) be the second derivative of h**3/3 + 3*h**2/2 + 11*h. Let i be x(0). Suppose 3*y + 7 = -5, i = 5*o - 2*y. Which is smaller: 3/8 or o?
o
Let t be ((-2)/(-6))/((-3)/(-27)). Suppose -t*n - 2*n + 30 = 0. Let l(p) = -p + 9. Let j be l(n). Which is bigger: 4 or j?
4
Let y be 3830/958 + (-10 - -6). Suppose -3*t + 28 = 4*p, -21*t + 5*p = -22*t + 35. Is y greater than t?
False
Suppose p = -5*y - 10, -2*y - 8 = 2*y + 5*p. Let a be 4 - 14/3 - y/3. Which is greater: 3/109 or a?
3/109
Let l = -196 - -166. Let n be (36/l)/(9/(-30)) + 32. Which is smaller: -0.2 or n?
-0.2
Let p be (0 - -1) + (1 - 1). Let z be (-2)/((-44)/(-1))*(-1 - 476/84). Does p = z?
False
Let j = 8212 + -8343. Does j = -127?
False
Suppose -5 = -r, -2*w + r - 10 = -37. Suppose -4*h + g = -w, -5*h - 3*g + 3 = -0*h. Suppose -23 = h*a - 5*t, 0 = a - 2*t - 4 + 13. Which is bigger: 4/13 or a?
4/13
Let p = 22 + -21.978. Let c = -0.62 + 0.942. Let v = p - c. Which is smaller: 1/3 or v?
v
Suppose 51896 = -119*d - 9508. Which is smaller: -517 or d?
-517
Suppose -7*p = 5*k - 1153, 0 = -2*p + 5*k + 25 + 298. Which is bigger: p or 128?
p
Let b = -1978040/69 + 28668. Which is smaller: 2 or b?
b
Let y = 3880 - 1392932/359. Is y <= 1?
True
Suppose -95 = -5*h - 0*h. Let k(r) be the third derivative of 5*r**4/24 - r**3 - 7*r**2. Let v be k(5). Is v greater than h?
False
Let r be 60/18*-9*(-6)/45. Let b be (-16)/r + 5 + -2. Let w be b - (0 + (-2 - (84 + -3))). Are 82 and w unequal?
False
Let f = 3487 + -3487. Is f bigger than -1/1976?
True
Suppose -6*g - g + 14 = 0. Suppose g*b - 4*b + 46 = 0. Is 2 less than b?
True
Let y be 5/(-635)*474 + (-6)/(-2). Which is bigger: y or -1?
y
Let r(k) = -k**2 + 20*k + 2. Let s be r(20). Suppose -s*a = -2*c - 62, 4*a + 6*c - 118 = 7*c. Is 29 less than a?
False
Let i = 127.981 + 0.019. Let c = i + -127.79. Which is greater: -0.02 or c?
c
Let h be (18/(-4))/(-3)*-10. Let x be ((-6088)/(-11415))/(2/(-15)). Is x at least h?
True
Suppose 4*g + 24 = 5*p, 4*g = 2*p - 3*p. Suppose d - 149 = -p*c, 47*d - 64 = -2*c + 43*d. Is c smaller than 5?
False
Suppose 0 = -5*f + 4 + 36. Suppose 4*b = f*b. Let a be -6 - (-287)/42 - 44/33. Is b >= a?
True
Suppose -4*w = -t - 2248, 5*t + 479*w - 474*w = -11315. Is t less than or equal to -2260?
True
Let h = -975/2 - -73. Do -416 and h have different values?
True
Let i = 5178 - 2112625/408. Is 1 > i?
True
Let s be 2/5 + 476/(-140). Let u be 1*-6 + 35/(-21)*s. Is 3/19 less than u?
False
Let x(j) = -j**2 + 4*j + 1. Let a be x(-3). Let g = a + 16. Let d = -944/11 - -86. Which is bigger: d or g?
d
Suppose 6*r + 15 = 27. Suppose r*u + 41 = -t, u - 3*t = -2*t - 22. Let h(n) = -n**2 + 21*n + 2. Let y be h(22). Which is smaller: y or u?
u
Suppose -8*v + 13*v = -2*g + 5127, 2*g + 8 = 0. Are v and 1026 non-equal?
True
Let b(h) = 2*h**3 + 26*h**2 - h - 14. Let j = 6 + -6. Let k be -3 - (1 - j)*10. Let p be b(k). Which is greater: p or -1/