g be (-2 - -3)*2/(-22). Suppose -32 = -3*h + 4*n, -h - 2*n = 2*n + 16. Let a be (0 - h)*1/(-4). Which is smaller: a or g?
g
Let o = 2781 + -2816. Is o != -5?
True
Let a be 3 - ((-2)/(-4) + (-426)/(-36)). Is -8 at least as big as a?
True
Suppose -15 = 6*y + 3. Let q be y - (0 + 32/(-12)). Let b be ((-7)/3)/((-2)/6). Which is smaller: b or q?
q
Suppose 41 = 13*c + 119. Which is bigger: c or -3?
-3
Suppose -64 = -35*i + 111. Is 15 greater than or equal to i?
True
Let r be (-131380)/308 + (-2)/(-7). Let p = r + 426. Suppose g + f + f = 5, 3*f = 5*g + 14. Which is bigger: p or g?
p
Suppose 2*o - q = -5, 23 = 5*o + 5*q + 28. Let l = 137057087/288486 - 1/26226. Let h = l + -476. Is o at least as big as h?
False
Suppose 0 = -5*d - 84*j + 86*j + 3, -5*d = 4*j + 21. Which is bigger: d or 5/62?
5/62
Suppose 61*u - 3222 = 79*u. Is u smaller than -179?
False
Let r = -3/7 + 115/301. Let s = 92/129 + r. Which is greater: s or 18?
18
Let l = -273682/693 - -860/63. Let y = 381 + l. Which is smaller: y or 1?
y
Let x = -6 + 8. Let o = 3.765 + -8.765. Do x and o have the same value?
False
Let x be 0 + 589 + (-2 - 5). Is x greater than 582?
False
Let o = 21 + -19. Suppose 4 = o*y - 2*j, -4*y = 4*j + j + 19. Which is smaller: y or -26/7?
-26/7
Let l be (17/((-48348)/(-16)))/(2/3). Is 1 >= l?
True
Suppose -l - 39 = 3*n, -2*n + 63 = -7*n - l. Let m be n/3 - (0 - -1). Suppose 130 = 26*z - 52*z. Are z and m equal?
True
Let m = 6.81 - -0.19. Let a = 6.97 - m. Let t = a - 0.87. Is -2 bigger than t?
False
Suppose 61 - 7 = -3*i. Is i bigger than -18?
False
Let b = 2.29 - 2.291. Is b <= 0.1?
True
Let l = 0.034 - 118.034. Let k = -118.07 - l. Which is smaller: k or 2/15?
k
Let y(u) = -u**3 - 10*u**2 - 14*u - 16. Let c be y(-3). Are -40 and c equal?
False
Let l = 1162 + -2533. Let f be (9/3)/(30/l). Let u = f + 137. Which is greater: 0 or u?
0
Let q be ((-10)/5)/(1*(-6)/45). Suppose -q*a + 18*a = 0. Let h = 1 - 0.6. Are a and h equal?
False
Let d = 49/97 + 12073/679. Which is bigger: 19 or d?
19
Let m be (164/140 - 1)/((-3)/20). Is -1 < m?
False
Suppose -4*q + 11 = x, 33 = -4*x - q + 92. Let i be (-100)/8*36/x. Do -28 and i have the same value?
False
Let w be (-2 + 1)*(-6 + 4). Suppose -w*m + 16 = -m. Let z be 1/(1 + m/(-14)). Which is smaller: z or -6?
z
Let o = -0.1 - 0.1. Let b be 12/(-4)*(-3)/603. Let n = 193/536 + b. Which is smaller: n or o?
o
Suppose -14*h + 29 = -15*h. Let i = h - -36. Which is smaller: i or 4?
4
Let c = 87 + -436/5. Which is smaller: c or -0.01?
c
Let g be (-1 - -2)*8*1. Let f = 8 - 5. Suppose -g*z + f*z + 50 = 0. Which is smaller: z or 11?
z
Let x be (-1)/4 - 126/8. Suppose 7*k + 95*k + 4692 = -174*k. Is k at least x?
False
Let k = -46 + 53.2. Let c = 7 - k. Do -0.05 and c have different values?
True
Suppose 4*n + 1 + 3 = 0. Let o(s) = -s**3 - 8*s**2 + s + 11. Let b be o(-8). Let p be b*((-16)/(-30))/8. Which is smaller: n or p?
n
Suppose 29 = -4*g + 49. Let j = -2 + 2. Let t(h) = -h**2 - h + 6. Let u be t(j). Is g equal to u?
False
Let v = 5183 - 5194. Let l = 0.1 + -0.1. Is v at most l?
True
Let o be (-28)/3*(-102)/(-68). Does o = -7?
False
Suppose 4*i + 41 - 13 = 4*t, 14 = -4*i - 3*t. Let c be (6 - (-9)/(-3))*-1. Is c less than i?
False
Let o(i) = i**3 - 10*i**2 - 11*i - 1. Let t be 55/(-11)*(-11)/5. Let f be o(t). Is f less than or equal to -3/32?
True
Let b = -14.6 + 14.58. Which is greater: b or 113?
113
Let u(x) = -2*x**3 - 13*x**2 - 8*x - 8. Let h be u(-6). Suppose -h*z - 2*z = 54. Is z equal to -9?
True
Let i be ((-6)/18)/((-3)/18) - 643. Is i smaller than -640?
True
Suppose 2*d = 3*g + 5*d + 15, -4*g = -2*d + 8. Suppose 6*h + 12 = -0. Which is smaller: h or g?
g
Let d(n) = n**2 + 10*n - 46. Let c be d(-19). Suppose -4*j + 6 = -2*j, -5*f + 5*j + c = 0. Which is bigger: 25 or f?
f
Suppose 21*h - 18*h = 23*h + 20. Suppose -n + 5*z - 7 = 2*z, 4*n - z = 5. Let p be 4/(-6)*n/(-18). Which is greater: h or p?
p
Suppose 5*k = -4*z - 343 - 596, 4*z + 930 = -2*k. Is -0.4 not equal to z?
True
Let z = -28358/29 - -978. Suppose -9*v - 11 = 2*v. Is z > v?
True
Let q(u) = -u - 9. Let h(k) = k**2 - k - 5. Let j be h(-4). Let m be j*(-3)/(-9)*-1. Let z be q(m). Is -2 bigger than z?
True
Let i be ((-279)/12)/(5/(-20)). Is -5 at most i?
True
Suppose -2*k + y = -7*k + 54, -5*y + 6 = k. Suppose 2*o + g + k = 3*o, 4*o = -4*g + 12. Let h(n) = -n + 12. Let r be h(6). Which is bigger: r or o?
o
Let i = 256.21 - 256.2. Is i != -13?
True
Suppose 3*v = -0*v + 12. Suppose r + 3*r - n = -v, 5*r + 5*n = 20. Let a be 33/9 - 0 - 5. Which is greater: a or r?
r
Let h be 188/5*(-15)/(-6). Let q be h/14 - 2/(-7). Let d be (-9)/2*(-36)/27. Is d at most as big as q?
True
Let p(o) = o**2 + 12*o - 24. Let i be p(-13). Which is smaller: i or 0.1?
i
Let m be 3 + 1 + 0 + -3. Let b(w) = 2*w + 20. Let q be b(-13). Let c be q/(-7)*(9/(-6) + 5). Which is greater: m or c?
c
Suppose 0 = -4*p - 5*q - 68, 6*p - p + 114 = q. Let n = -4.96 + 2.53. Let v = 3.43 + n. Is v at least as big as p?
True
Let u = 340 - 333. Is 23/4 less than u?
True
Let r be ((-60)/(-50))/((-2)/(-5)). Suppose 3*k + 28 = -k + 4*h, -2*h = -r*k - 22. Let a = -14 - k. Is -6 not equal to a?
False
Let q = 44.44 - 44. Let k = -0.4 + q. Which is greater: -2 or k?
k
Suppose 0 = 14*k + 34 + 8. Let o(m) = 6*m + 17. Let y be o(k). Is -5/3 at most as big as y?
True
Let d = 2 + -1.5. Let z = -0.04032 - 2.03068. Let s = z + 0.071. Which is bigger: d or s?
d
Let j = 0.04 + -0.04. Let q = 102.6 - 72.6. Does j = q?
False
Let f = -1571.3 - -1170.16. Let r = f - -426. Let b = 25 - r. Is b <= -0.1?
False
Let k = 13 - 5. Let z = -6 + k. Suppose 3*r + z*r + 10 = 0. Is r != 2?
True
Let f = -7331/9 + 815. Which is bigger: -4/7 or f?
f
Let p be (2 - 1)*(-2 - -3). Is p != -2/67?
True
Let o(l) = -l - 1. Let j be o(-1). Let x(v) = 4*v**2 + 0*v**3 + 4 + 5*v**2 + 9*v + v**3. Let c be x(-8). Is c less than j?
True
Let p = 0.04 + -13.04. Let w = p + 11. Let k = -1.8 - w. Which is bigger: 0.02 or k?
k
Suppose -j - 10 - 5 = 0. Let k = j - -17. Let x = k - 3. Which is bigger: x or 5?
5
Suppose 90*r + 720 = 99*r. Is r >= 83?
False
Let b(g) = -2*g + 1. Let w be b(1). Let c be (0/((-2)/2))/w. Let i = 809 - 2426/3. Does i = c?
False
Let x(f) = -f - 11. Let k be x(-10). Let j = 84/5 + -361/20. Let g = j - k. Is g bigger than 1?
False
Let q be (1/((-2)/(-4)))/((-4)/98). Let w be ((-1)/1 - 1)*q/(-2). Which is smaller: -48 or w?
w
Let p be (((-16)/10)/2)/(-2). Let z(f) = -f**3 + 2*f**2 + 2*f + 1. Let h be z(3). Let j(d) = d**3 + 3*d**2 + 3*d. Let x be j(h). Which is smaller: x or p?
x
Suppose -4*x - 11 = -5*b, x + 0*x = -3*b + 10. Suppose 4*z - 16 = 0, b*m - 17 = -0*z - 5*z. Which is smaller: m or -6/13?
m
Let c be (6/(-5))/((-22)/55). Let b be (40/5)/(6/c). Suppose -5 = o - 0*o + z, o - b*z = 15. Which is smaller: 1/8 or o?
o
Let t(q) = q + 1. Let o be t(3). Let a(d) = -d + 5. Let v be a(o). Which is bigger: v or 8/7?
8/7
Let x = -354 - -359. Which is smaller: x or -59?
-59
Suppose 3*t + 3 = -3*i, -2*t + 0*t - 3*i = 4. Let o = -57774/931 - 5444/49. Let y = o - -173. Are y and t unequal?
True
Let m = -0.1 - 2.9. Let f = -3.5 - m. Let q = 0.2696 + -1.2696. Which is smaller: q or f?
q
Suppose 3*y - 2*y - a = 14, -y - 2*a = -2. Let u(h) = -h**2 + 17*h + 23. Let f be u(18). Suppose -f = 5*w - y. Is w < -2/19?
False
Let k be (-55)/110 + (-9)/(-6). Is 5/213 less than k?
True
Suppose -4*a = -13*a + 495. Let p = a - 67. Which is greater: -15 or p?
p
Let k = 1912/11 + -174. Let z = -31.1 - -34.1. Is k less than z?
True
Let n(r) = r**3 + 5*r**2 + 2*r - 4. Let i be n(-4). Let y be (i/(-18) + 0)/(-2 - -6). Which is bigger: y or -1?
y
Let d be (-3 - (-99)/15) + -1. Suppose 28 = s + 26. Which is smaller: d or s?
s
Let z = -10 + 10. Suppose 9 = -5*s + 3*m, m + z*m - 3 = 2*s. Does s = 0?
True
Let t = -428 - -385. Is t at least -38?
False
Let p be 24/(-132) + 57/11. Suppose p*d - 10*d = -710. Let y be 6/d*(-14)/21. Are 0 and y nonequal?
True
Let x = 53 - 30. Let m = x - 24. Is 3/4 less than or equal to m?
False
Let a(m) = -m**3 - 7*m**2 - 9*m - 20. Let i be a(-6). Does i = 0.05?
False
Suppose 5 + 0 = -5*j. Let l be (j - 4/8)*-2. Suppose 3*x - 3 = l. Which is bigger: 10/11 or x?
x
Let m(s) = 3*s - 7. Let i be m(4). Suppose -2*f - 130 = i*x, -24 = 2*x + 3*f + 28. Is x bigger 