*r = 3*n + 30. Let q = -16 + r. Suppose -9 = q*j + 1. Is j bigger than -2?
False
Suppose 19*s - 5*s = 0. Is 0 >= s?
True
Suppose 4*l - 49 = 5*r, 5*l + 3*r - 23 = 29. Let w be 434/(-6) - (-1)/3. Let o be l/9 - (-16)/w. Is 1/16 > o?
False
Let x = -733 + 700.9. Which is smaller: x or -0.1?
x
Let j be (-2 + (-10)/(-6))/3. Let v = -7/9 - j. Is 0 smaller than v?
False
Let t = 0.25 - -5.25. Let s = t + -5. Let m = 268 + -267. Are s and m nonequal?
True
Suppose -g + 2*g - 6 = 0. Let z(l) = l**2 - 3*l + 3. Let r(a) = -1. Let d(j) = g*r(j) + z(j). Let c be d(3). Which is greater: c or 0?
0
Let k = -145 + 409. Let c be k/(-270) - (-2)/(-15). Are c and -1 non-equal?
True
Let w = 114/23 + -932/253. Which is bigger: 1 or w?
w
Let t be 128/(-672)*4/(-48). Which is bigger: t or -16?
t
Let t be (-8)/(8/(-15))*1. Suppose -4*z - t = -11. Which is bigger: z or 2/13?
2/13
Suppose 137*h = 131*h + 84. Is h greater than or equal to 56?
False
Suppose -11 = -k - 14, y + k = -3. Which is smaller: y or -14/95?
-14/95
Let h(u) = -u + 5. Let x be h(4). Let d(l) = -l**2 + 9*l + 2. Let a be (1/(-3))/((-6)/162). Let t be d(a). Is t <= x?
False
Let o be 0 + 2 + (-21)/9. Let c = -0.129 - 0.071. Let q = -0.2 - c. Is q greater than o?
True
Let b = -0.2143 - -0.2043. Which is greater: 35 or b?
35
Let m(s) = -s - 9. Let b be m(-3). Suppose -4*w = -2 + 22, 3*w + 10 = i. Is i not equal to b?
True
Let u be (8/10)/(-8 + (-13972)/(-1750)). Suppose -5*s = -4*f - 191, -6*s = f - s + 54. Which is greater: f or u?
f
Suppose -2*i = -3*y - 4 - 31, 4*y - 3*i = -45. Suppose 0*l - 5*s - 20 = l, -2*l - 2*s - 32 = 0. Are y and l unequal?
False
Let z = 37.694 + -0.694. Which is smaller: 2/7 or z?
2/7
Let d(a) = 6*a - 15. Let l be d(5). Suppose 18*v = l*v. Let q be ((-6)/(-24))/(7/36). Are v and q non-equal?
True
Let p(m) = 26*m - 11. Let r be p(-3). Which is greater: r or -88?
-88
Suppose 127*s - 237 = 130*s. Which is smaller: s or -78?
s
Let f(t) = -t**3 + 3*t**2 + t - 4. Let j be f(3). Let i = 180 - 2334/13. Is j at least i?
False
Let t(r) = r**2 - 10*r - 11. Let o be t(11). Suppose -5*f + 4*f + 10 = o. Let u(k) = -k**2 + 7*k + 14. Let s be u(f). Does -2 = s?
False
Suppose 4*q + 220 = 3*h, 2*q + 2*h = 6*h - 110. Let g be (-6 - -9) + (-13)/q. Let a = -40/11 + g. Is 0 greater than a?
True
Let z = -39 - -46. Let m = -6 - -15. Let v = m - z. Are v and 2 unequal?
False
Let m(l) = 40*l + 115. Let d be m(-3). Let k = 7 + -11. Is d at most as big as k?
True
Let b(d) = d - 14. Let x(w) = -w + 13. Let z(s) = 6*b(s) + 7*x(s). Let v be z(0). Suppose 3 = 2*j + j, -3*u - 4*j + v = 0. Are u and 3 unequal?
True
Suppose 29*y + 58*y = 0. Is y at least 1/1044?
False
Let p be 1*(36/6)/(-1560)*2. Does p = 1?
False
Let x(a) = 2*a**2 + 13*a + 83. Let c be x(-6). Is 78 smaller than c?
False
Suppose 0 = -3*g + 9, g + 3 = v + v. Suppose 2*z - v*z + 4*u = 28, -4*z - 4*u = 12. Let c be (53/18 - 3)*z. Which is smaller: c or 0?
0
Let q(o) = 2*o - 4. Let p be q(-6). Suppose 11 = 2*s - 5*n + 55, 27 = -s + 5*n. Is p bigger than s?
True
Let k = 24.406 + -22.38. Let c = k + -2. Let f = -20.026 + c. Is -1 at most as big as f?
False
Let l be (-192)/(-135) - 6/27. Let d(h) be the first derivative of -h**2 - 30*h - 31. Let r be d(-16). Which is smaller: r or l?
l
Let r = 0.2 - 1.9. Let c = r + 1.9. Suppose -2*h + 4 = 0, h - 2 + 0 = 4*t. Is t smaller than c?
True
Let n(r) = r**3 + 9*r**2 - 20*r + 20. Let k be n(-11). Suppose -12 = -5*c + 2*c. Suppose 10 = 5*j - 4*s + 40, 18 = -c*j + 2*s. Is j > k?
False
Let d be 3/(-6)*(-118)/1*1. Which is greater: 57 or d?
d
Let g be (-90)/12*24/5. Let z be (-7)/(-20)*g/84. Are 1 and z unequal?
True
Let m = -844.153 - -844. Do 2 and m have different values?
True
Let r = 0.2 + -0.1. Let x = 799 + -24767/31. Let z = x - -56/93. Which is smaller: z or r?
r
Let m(p) = -p**3 - 6*p**2 + 7. Suppose 2*w = 5*w, 12 = -2*s + 4*w. Let x be m(s). Suppose 0*q = -4*n + 3*q + 16, -q - x = -3*n. Which is bigger: n or 0?
n
Let g = 177 + -88. Suppose q - g = 3*x, 127 = -0*x - 4*x + 3*q. Let y be (-4)/x*(-14)/(-4). Does -6 = y?
False
Suppose 6*h + 1658 = 542. Which is smaller: h or -188?
-188
Let n = -1497/7 + 215. Let z(k) = -5*k**2 - 78*k + 34. Let c be z(-16). Is c smaller than n?
False
Let j(h) = -h**3 - h**2 - 1. Let z(a) = -6*a**3 - 6*a**2 + a - 4. Let i(s) = 4*j(s) - z(s). Let r be i(1). Suppose -6*q + r*q = -27. Which is smaller: q or 8?
8
Suppose -237 + 53 = -4*c. Suppose 2*z = 0, w + w + 3*z = -c. Which is smaller: w or -24?
-24
Let x(l) = -10*l + 327. Let a be x(-13). Is 456 less than a?
True
Let k be 56 - (-1 - 3)*1. Suppose 4*g + k = -20. Are -19 and g non-equal?
True
Let g = -15 - -14. Let l(o) = 170*o**2 + 4. Let w be l(-2). Let v = w - 6166/9. Is v less than or equal to g?
True
Let l = 375.74 + -399. Let h = 23 + l. Let w = h - 0.04. Which is bigger: w or 2/9?
2/9
Let j(s) = -7 + 23*s + 43*s - 21*s. Let v(g) = 30*g - 5. Let m(f) = -5*j(f) + 7*v(f). Let t be m(1). Is t greater than -16?
True
Suppose -4*x = -4*w - 16, -3*w - x - 32 = x. Let m be 48/(-20) - w/20. Let l be -2 + ((-10)/6 - -2). Is m greater than l?
False
Let h be (10/(-12))/(8/24). Which is greater: -4 or h?
h
Let d be 6/(-21) + (-36)/(-28). Let g be 1 + d/(1 + -2). Is g at least -2/125?
True
Let i be (32/(-336))/((-3)/7). Let s = i + 13/9. Is s <= 1?
False
Suppose 14*s = 27*s - 806. Which is greater: 123/2 or s?
s
Let v = -88801 + 890887/10. Let u = 288 - v. Is 0 less than u?
True
Let v = 167 + -168.63. Let i = 20748 - 20747.9. Which is greater: i or v?
i
Let w = -10.532 - -0.032. Let z = w + 25.7. Let p = z + -16. Are p and -1/3 non-equal?
True
Let i = 13799/114114 + 1/3458. Is i at least as big as -1?
True
Suppose 0 = z - x - 2*x - 12, 0 = -z + 2*x + 8. Let o be z/1 + (-6 - -9). Suppose b + 2*b = -o. Which is greater: 1/22 or b?
1/22
Suppose -5*b - 7 + 22 = 0. Suppose -2*c = -b*c + 5. Which is smaller: c or 3?
3
Let k be (2*-3)/(33/66). Is k greater than -2?
False
Suppose 55 = -5*p + 5*r, -4 = -p - 5*r + 3. Let n be (-2)/(-12)*36/p. Let u = -6 - -5. Which is smaller: n or u?
u
Let o be 48/9*84/8. Suppose 3*f + 2*p + 35 = 0, 0 = 4*f - 0*f - 2*p + o. Is -14 less than or equal to f?
True
Let l(q) = q**3 + 13*q**2 - 36*q - 35. Let a be l(-15). Which is smaller: 57 or a?
a
Suppose -22*d = -25*d + 9. Let y be ((-6)/(-9)*12)/(4 - d). Is 1 greater than or equal to y?
False
Suppose 315 = i - 28. Which is greater: -1 or i?
i
Let g = 191.994 - 192. Which is smaller: -1 or g?
-1
Let l = 8 - 8. Suppose 3*q + l*x = x + 8, 4*q = 4*x. Suppose 4*i - 3 - 13 = 2*d, -8 = 4*i + q*d. Which is smaller: 7 or i?
i
Let b(r) = r**3 + 2*r**2 - 7*r - 6. Let p be b(-3). Let f be 1 + (-3)/(p/8). Which is bigger: -2/27 or f?
-2/27
Suppose 17 = -f + 16. Which is greater: f or 1/94?
1/94
Let h = 0.2 + -3.2. Let p = -3.7 - -1.3. Let x = p - h. Which is bigger: -1 or x?
x
Let j be (-770)/72 + (-4)/(-16). Let p be (6/(-4))/((-2 + 13)/66). Does p = j?
False
Let s be 1/10*(126/3)/6. Suppose h + 8 = 5*o - 3*o, -2*h - 7 = -o. Suppose -t = -o*t + 4. Which is smaller: t or s?
s
Let r be 1 + 0/(-3) - -175. Let z be r/7 + (-3)/21. Is 24 bigger than z?
False
Let m = 25 - 73/3. Let s = -19 + 19.13. Let j = s + -7.13. Is j >= m?
False
Let s(w) = -w**3 + w**2 - 3*w + 3. Let l be s(1). Let c be (-3)/90*(1 + 3). Does c = l?
False
Let o(p) = p**3 - p**2 + p - 2. Let y be o(2). Let h = -11/3 + y. Let m be 1/4 + 5/(-4). Is h != m?
True
Let r = -3.1 - -3. Let c(g) = -g**3 + 8*g**2 - 2*g + 19. Let n be c(8). Let i be (1/2)/((-3)/12 + n). Is r at least i?
False
Let q be (-4 - (-52)/12 - (-30)/216)*4. Let d be (0/(-1))/2 + 1. Is d smaller than q?
True
Let p(x) = 6*x**2 - x + 1. Let v be p(1). Suppose -3*u - f = -u - 8, -4*u = -3*f - v. Let w be -1 - u/(-9)*11. Is 4 bigger than w?
True
Let b = -2/1203 - -15647/4812. Let w(r) = r**3 + 5*r**2 - 2*r - 6. Let t be w(-5). Does t = b?
False
Suppose 6 - 5 = -t. Let q be (-1 - t)/(-1 - 0). Let h(g) = g + 2. Let y be h(q). Which is smaller: 4 or y?
y
Let b = 0.05 - 0.19. Let c = b - 0.16. Let j = c - -0.18. Which is smaller: j or -0.1?
j
Let w be -58 - 90 - 4*-2. Is w < -140?
False
Let m be (-1)/(0 - 1/5). Let c be 13/39 + 22/6. Suppose c - 14 = m*a. Which is smaller: a or 0?
a
Let q(f) = f**2 + 5*f + 1. Let z be q(-5). Suppose -5*a + 22 = -413. Let y 