71 + 2/47399. Which is smaller: y or 2?
2
Suppose -134*r = 1202 + 4. Let q = 0.09 + -0.01. Does r = q?
False
Suppose 1530*b - 1527*b + 4*k = 27, -3*b - 18 = -k. Are b and 3555 nonequal?
True
Suppose -4*f + 3*l + 18 = 0, 0*f + 2*l + 10 = 2*f. Suppose 16*o = f - 3. Is o > -1/54?
True
Let g(u) = u**2 + 7*u**3 - 13*u**3 + 12 + 5*u**3 + 5*u. Let t be g(6). Is t > -139?
True
Let k = 533/10 - 53. Let u(v) = 15 + 4*v - 2*v**3 - 3 - 10 + 2*v**2 + v**3. Let c be u(-1). Which is greater: c or k?
c
Let n = 628 - 604. Let w be 837/(-180) - (-18)/n. Do 0.2 and w have the same value?
False
Suppose 0 = 12*p + 4 - 4. Suppose -34*x + 4774 + 7738 = p. Which is bigger: x or -1?
x
Let p = 167.45 - -3.55. Let g = p - 175. Which is greater: g or 1/4?
1/4
Let j = 23061 - 184493/8. Which is bigger: j or 102?
102
Let y be 10/(-110) + (-144)/(-396). Is -11/31 not equal to y?
True
Let d = 196 - 171. Suppose -5*c + 6*c + 3*f = -d, -4*c - 2*f - 150 = 0. Is c <= 3?
True
Let l(k) = -2*k**2 + 5*k - 1. Let h be l(3). Suppose 3*a = -a - 24. Let o be (-2)/h*a/(-9)*-9. Is 1/4 at most o?
False
Suppose -4*k + v - 220 = 0, 786*k - 264 = 791*k - 4*v. Is -5 equal to k?
False
Let y be (10 - (-406)/(-40))/((-124)/(-10)*2). Do y and 1 have different values?
True
Suppose 8*x + 300 = 13*x. Let o = x + -95. Let f(t) = -4*t**2 - 12*t + 4. Let c be f(-5). Is o smaller than c?
False
Suppose x = 8*x - 14. Suppose -i = a - 16 + 12, -a = -x*i - 4. Which is greater: 1/218 or i?
1/218
Let u be -28*(1564/5911)/17. Is u > 1?
False
Suppose -18*u + 9 = -51*u + 42. Which is smaller: -11/1097 or u?
-11/1097
Suppose 9*d = -433 + 55. Let m = d - -47. Suppose 60 = -m*y + 3*i, -5*y + 4*i - 95 + 35 = 0. Which is bigger: y or -11?
-11
Let b be 27453/(-264) + ((-165)/(-88))/(-5). Which is smaller: b or 2/3?
b
Let b = -1571/19176 + 5/376. Is b at least 0?
False
Let u = -186 - -374. Let i = u + -84. Let s = -104.2 + i. Which is smaller: 17 or s?
s
Suppose 4*q - 6 - 10 = 0. Let n be 32/(-12)*9/q. Let z(o) = -o**3 - 5*o**2 + 5*o - 13. Let a be z(n). Which is bigger: -2 or a?
-2
Let s = -1.014 - -1.9. Which is smaller: -1 or s?
-1
Suppose -14*g - 35341 = -35355. Let y(v) = -v + 9. Let s be y(7). Which is bigger: g or s?
s
Suppose -29*p = -38*p + 181 + 161. Is p greater than 14?
True
Suppose 4 - 46 = 3*l. Let n(a) = -a + 12. Let g be n(4). Let w be (6/g*2)/((-9)/90). Which is smaller: w or l?
w
Let n(z) = -13*z - 211. Let c be n(-16). Is c < 126?
True
Let i = 49.29 - 49.44. Which is smaller: i or -0.007?
i
Suppose x - 14 = -2*p, -3*p - 2*x + 12 = -11. Suppose -2*u - i = -0*i - p, 5*u = -2*i + 12. Let a = 3620/2821 - -1/403. Is a less than u?
True
Let f = 3966/85739 + 2/1033. Which is greater: f or -1?
f
Let w(h) = h**2 - h - 12. Let i be w(-8). Let n = i + -37. Suppose 3 = 13*a - n. Is 6/7 greater than or equal to a?
False
Let u(p) = -3*p**2 - 19*p + 22. Let o be u(-18). Let g(w) = -10*w**2 - 165*w + 1351. Let f be g(8). Which is smaller: o or f?
f
Let s = 1619 + -1619. Is s greater than or equal to 1550?
False
Let o = -18 + 17. Let z = 0.8 + o. Let d(u) = -u - 11. Let t be d(-7). Is t greater than or equal to z?
False
Suppose 12*d + 130 - 1090 = 0. Suppose -4*b - 12 = -d. Suppose -2*k + 5*w + 11 = 0, w = k - b + 4. Is k at most as big as 18?
True
Let v = 0.376 + -0.694. Let n = v - -0.218. Is 158 bigger than n?
True
Suppose -5*r + 22 + 9 = 2*z, -4*z + 5*r - 13 = 0. Let s be 2 - (-6 - (z + -4)). Which is greater: s or 25/3?
25/3
Let g = 191 - 310. Let u = -117 - g. Suppose u*y + 0*i - 36 = 5*i, 2*y - 50 = -2*i. Which is bigger: 24 or y?
24
Let d(w) = -2*w - 13. Let m be d(-7). Let g be ((-9)/204)/((-1749)/(-88)). Let b = -108/901 - g. Is b greater than or equal to m?
False
Let a = 8 + -14. Let d = a - -5. Let h be (-422)/(-3165)*(-2)/8*(2 + -8). Which is bigger: h or d?
h
Let q = 171.69 + -173.53. Is q > 3?
False
Let t be 0 - 1 - 6/6. Let g be (6/(-4))/(27/(-144)) - -1. Suppose -4*v + g + 7 = 0. Which is smaller: t or v?
t
Let o be 1/2*(-4)/(-2440). Let j be 2 + -1 + -3 - (-1109766)/529480. Let d = j + o. Which is smaller: d or 1?
d
Let f = -206 + 210. Suppose 0 = -5*y - 2*p + 27, -6 = f*y + 3*p - 22. Which is smaller: y or 31/5?
31/5
Let p be (-9978)/(-18) + 2 - 2/6. Let c = p + -15007/27. Which is smaller: 1 or c?
c
Let r be -1 + ((-182)/(-13) - 18). Let s = -88 - -52. Which is smaller: r or s?
s
Let l = -16.35 + 16.25. Let w = -26 + 51. Is l equal to w?
False
Let v = -93 + 95. Let i be (-6)/9*(16 + v). Let n be ((-1)/15)/(-1 - 112/i). Is n less than -1?
False
Let x(w) = w**3 - 5*w**2 - w + 6. Let b be x(6). Let g be 766/36 + 8/b. Let z = -21128 + 21150. Is z less than or equal to g?
False
Let i = 2615 - 2615.12. Let z = -659/15 + 44. Is i < z?
True
Suppose 0 = 33*v + 645 - 612. Is 7/1621 greater than or equal to v?
True
Let f be (460/40)/(-1 - (-1)/2). Let h = 43 + f. Suppose s - h = -27. Is s smaller than -7?
False
Let o(h) = -2*h - 4. Let w be o(4). Let m = 605 - 585. Let t be m/50 + (-955)/75. Is w greater than or equal to t?
True
Let b(u) = -53*u - 844. Let n be b(-16). Let q be 3*(-5)/(-3)*3. Suppose 2*x - q = -x. Is n at most as big as x?
True
Suppose 0 = 4*n + 2*v - 26, 2*v - 1 - 5 = 0. Suppose 0 = 10*q - n*q - 320. Let j be (3/6)/((-10)/q). Which is smaller: -4 or j?
-4
Let y = -43.18 - 1.82. Let v = 225 - 224.98. Are v and y nonequal?
True
Let f = 18487/23 - 804. Let q = 14/19 + -61/57. Which is greater: f or q?
f
Let y(v) = 4 - 11*v**2 + 5*v**3 - 4 + 3 - 6*v**3. Let r be y(-11). Suppose n + 6 - 1 = -u, -n = r*u + 5. Is 6/7 at most as big as u?
False
Suppose -92*i - 1438 - 18710 = 0. Which is smaller: i or -224?
-224
Let d = 198037 + -1390288/7. Are -577 and d equal?
False
Let t = 4334606127 + -2076282513456/479. Let s = t - -12899. Is 0 > s?
True
Suppose 6*k + 5*k = 6*k. Suppose k = -14*u - 133 + 455. Is -8 not equal to u?
True
Let a be 0/(3 - (1 - 0)). Let t be ((-2)/4 + (-13)/(-20))/((-93)/62). Which is smaller: a or t?
t
Suppose 2*p = -0*p - 50. Suppose d + 1110 = 1101. Let k be (-1 + 2)/((-1820)/(-203) + d). Which is bigger: p or k?
p
Let y = 9933 - 9934. Is -2/7969 greater than y?
True
Let b(j) = j**2 + j + 8. Let o be b(0). Let y = -15 - -11. Let x be 52/6 + y/(-12). Is x bigger than o?
True
Let b be -1 + 0 + -201 + 3*1. Let t = 199 + b. Which is smaller: 15/11 or t?
t
Let p be (-76)/209 - 76/33. Let i be -3*((-16)/6 - -2). Which is smaller: i or p?
p
Let g be ((-770)/(-21))/(2/6). Suppose -2*c + g = 8*c. Let j = 4 - c. Is j < -8?
False
Let w(o) = 6*o - 54. Let g be w(9). Suppose -5*h + 3*d + 13 = 0, g = 3*h - 3*d - 4 + 1. Suppose -r + 4 = -h*r. Is r greater than 2/11?
False
Let b be 38/5 - 2/(-5). Let g be (b/16)/(9/(-82)) + 4. Which is smaller: -1 or g?
-1
Let s = 17589 - 17592. Let p be 1 - (-2 + 1 + 0). Suppose -j - p = -4. Is j not equal to s?
True
Suppose 0 = 199*v - 179*v - 20. Let j be ((-3)/(-9))/(179/(-6)). Is v < j?
False
Suppose -5*y = -3*y - 16. Let m be -9*(-4)/y - -2. Suppose -6*u + 3*u + 18 = -3*x, -5*x + 26 = 2*u. Which is bigger: m or u?
u
Suppose -168 = -5*q + 26*q. Suppose -4*r = -2*u - 3 + 1, -u = r - 5. Let p be q/(2 + r) - 1. Which is greater: p or -1?
-1
Let g be 72/54*(-1323)/18. Is -97 >= g?
True
Let t = 7145 + -28063/4. Let u = t + -129. Is u smaller than -191?
False
Let b = 350381 + -32585948/93. Let n = 137/93 + b. Let p = 4596/1085 + n. Do p and -1 have the same value?
False
Suppose -82 + 2 = 5*p. Suppose 0 = 5*k + 157 - 62. Does p = k?
False
Let k be 3 - 2 - (-11)/(-13). Let z = -6.72 + 4.92. Which is greater: k or z?
k
Let t = 1566.5 + 94.5. Which is smaller: 2 or t?
2
Let d be (-48)/9 - 170170/(-25410). Let s(a) = a + 9. Let q = 6 - 13. Let p be s(q). Which is smaller: p or d?
d
Let j be (1/(-2))/(1 + 75/(-72)). Suppose 2*r + j - 16 = 0. Suppose 60 = 4*q - r*l, -2*q - 5*l + 45 = q. Which is greater: q or 14?
q
Suppose -16*l = -36*l - 12600. Let f be 288/(-28)*l/20. Are 325 and f non-equal?
True
Let p be (64/(-6))/((-11)/((-165)/(-10))). Suppose 4*n = -2*w + p, -n - 4*w = 3*n - 16. Suppose -a = a - n. Is a bigger than 2?
False
Let m(w) = w**3 + 17*w**2 - 40*w - 38. Let l be m(-19). Suppose l*o - 406 = 14*o. Let z be (-3 + 3)/(-1) - 30. Is z less than o?
True
Suppose 475 = -136*g - 613. Let v(n) = n**3 - 6*n**2 + 8*n - 2. Let j be v(4). Which is greater: g or j?
