s + 1 = h. Which is smaller: 2/17 or s?
s
Let y = 9852.558 + -9857. Is y bigger than 2/7?
False
Suppose -5*x + 28166 = -l, 4*l = -3*x - 4304 + 21222. Is 5633 not equal to x?
True
Suppose 2*a + 4*i + 42 = 0, 4*a - 5*i = -42 + 10. Let p = a + 7. Let n(r) = r**3 + 6*r**2 - 6*r - 14. Let m be n(p). Is 21 <= m?
True
Suppose 9*i = 6*i + 3*r - 90, 0 = 2*r - 12. Is -40 != i?
True
Let m(v) = v**3 - 15*v**2 + 16*v - 42. Let q be m(15). Is 1378/7 at least as big as q?
False
Let g be 10/(-2)*(-57)/95 - 0. Let i(w) = -8*w**3 + w**2 - 5*w + 9. Let y be i(g). Is -2 smaller than y?
False
Let y = 580 - 546. Let l(k) = -3*k + 6. Let t be l(-9). Which is smaller: y or t?
t
Suppose -5 = u - 61. Let z = 74 - u. Let g(s) = s**2 - 19*s + 18. Let v be g(z). Is 6/11 < v?
False
Suppose 1 = -2*p + 7. Let w be ((-20)/(-24))/((-2)/p). Let o(b) = -2*b**2 - 3*b - 1. Let z be o(0). Which is smaller: w or z?
w
Let a = 0.4 - 0.3. Let r = -5.9 - a. Let f = 5/13353 + -4466/40059. Which is greater: f or r?
f
Suppose 3*s - 130 = 5*g, 3*s - 142 = -g + 3*g. Let p = s - 68. Is -18 at most p?
True
Let j = 72 - 86. Let l be ((-80)/j)/2*11*7. Suppose -s + l - 206 = 0. Which is smaller: s or 9?
9
Suppose -3*k = -2*a - 16, 0 = -4*a - a - 4*k + 29. Which is smaller: -9/1084 or a?
-9/1084
Let k = 20392 - 2956839/145. Are k and -1 non-equal?
True
Let u(c) = c**3 - 11*c**2 - 4*c - 21. Let r be u(12). Suppose 0 = -0*l + l - z + r, -5*l + 4*z = 379. Which is smaller: l or -80?
-80
Suppose 64485*d = 64468*d + 323. Which is greater: 12 or d?
d
Suppose -4*w - n + 9905 = 0, 4*n = -11*w + 16*w - 12355. Let c = w - 61859/25. Which is smaller: 1 or c?
c
Let k be (-18)/135 - 23/((-1035)/12786). Suppose 0 = -5*q + 4*d + 1404, 2*q = q + 2*d + 276. Is q != k?
False
Suppose 5*q = -6503 + 2128. Is q at least as big as -873?
False
Let o be 20 - (-107180)/(-140) - -5. Are -741 and o nonequal?
True
Let g = 124 + -177. Which is smaller: g or -150?
-150
Suppose -5 + 237 = 404*p - 3000. Let i(o) = 2*o**2 + 6*o + 3. Let t be i(-4). Let g = t + -5. Which is smaller: g or p?
g
Let h be (1 - (-9)/(-12))*(-3 - -4). Let s = -399 + 416.7. Which is smaller: s or h?
h
Let s(w) = -w**2 - 48*w + 230. Let q be s(-63). Are -716 and q unequal?
True
Let m(l) = -12*l**2 + 11*l - 3. Let g be m(5). Let s = g + 290. Which is smaller: s or 44?
s
Let c = -68905 + 8613203/125. Is c not equal to 0?
True
Let c = -2223 - -2231. Is c greater than or equal to -48/31?
True
Let z = 50 + -34. Suppose -21 = -m - 0*w + 5*w, -4*w - z = 0. Let i be (4/m + -3)/1. Which is smaller: i or -2?
-2
Let g = -2 + 3. Let b(u) = -u**3 - 119*u**2 - 574*u - 496. Let m be b(-114). Is m smaller than g?
True
Suppose -s = 4*s + 957398740. Let q = -5755306786948/30057 - s. Let h = -2/699 + q. Which is smaller: 1 or h?
h
Let p be (2 - 1)/(2084 + -19 + 24). Which is smaller: p or 0?
0
Let u(k) = k**3 - 11*k**2 + 44*k + 1. Let s be u(4). Let m be 18/(-648)*(-1 + s/57). Are 1 and m unequal?
True
Let s = 4783 + -4791. Which is smaller: -314 or s?
-314
Let a be (3704/2)/((-15 - (-5 + -9))*22). Which is smaller: a or -84?
a
Let c(t) = 8*t - 36. Let z be c(4). Let d be (-6 + 0)/24*z. Which is greater: -8/47 or d?
d
Let z(s) = -s**3 - 10*s**2 - 10*s - 13. Let u be z(-9). Let t be u - (2/4)/(2/8). Let r be (-18 - t)*(6/4 - 2). Which is smaller: 3 or r?
3
Let s(b) = 2*b - 3. Let l be s(4). Suppose 6*t - 2*t - 23 = 3*d, -5*d = -l*t + 30. Which is greater: -6/115 or d?
-6/115
Let v be (12/(-18))/((-2)/(-141)). Let y be (-119)/((5/10)/(-1)). Let o = 191 - y. Is v > o?
False
Let q = 4 + -6. Let z = -240.171 - -240. Let b = -30.171 - z. Is b < q?
True
Let v be (62/16 + -1)*(-41 + 61)*-6. Is -348 >= v?
False
Let o(k) = -k - 8. Let v be o(-14). Suppose w = -w + v. Suppose -w*m - 4*n - 8 = 0, 5*m - 6*n = -2*n + 40. Which is bigger: m or -13?
m
Let w = 65 - 42. Let x = -221 + w. Is -1/3 > x?
True
Suppose 20 = 4*i, -4*p + 8*i = 6*i + 10. Let v be ((-41274)/3441)/(-3) + -4. Which is greater: v or p?
p
Let p(l) = -l**2 - 2*l + 2. Let b be p(-3). Let t be 1/3*78/52*-360. Let v be (t/(-80))/(-6*2). Which is greater: b or v?
v
Let a be -1184 + -109 - (2/6)/(2/(-30)). Is a at least -1295?
True
Let a = -0.1141 - -2.1141. Which is smaller: -534 or a?
-534
Let o(a) = 6*a**2 - 21*a + 24. Let y be o(1). Is y at least as big as 15?
False
Let z be 3/(10/(-4)*33/(-55)). Suppose 2*k - 2 = -z*a + 10, -2*a = -2*k + 4. Suppose 4*h + 19 = a*g - 3*g, 2*g = 2*h + 12. Do 1 and h have the same value?
False
Suppose -v - 105608 = -4*n + 14847, 0 = -2*n + v + 60225. Is n at most as big as 30115?
True
Let t = -0.0952 - 6.9048. Let o(i) = -i**3 + 7*i**2 + 10*i - 3. Let c be o(8). Suppose -4*w - 1 + c = 0. Are w and t unequal?
True
Let f be 99/9 - 483/21. Suppose 0 = -2*n + 8 + 4. Let l be ((-1 - 0) + 1)*n/f. Is l at least 3/7?
False
Let g(a) = 18*a**2 - 5*a + 7. Let n be g(3). Suppose n*l - 150*l - 4 = 0. Let u = 28501/50 - 570. Is u <= l?
True
Let v = 0.114 - 8.914. Let y = 17.8 + v. Let t = 3.7 - 1.7. Is y < t?
False
Let o = 25024 - 25029. Which is smaller: 0.1158 or o?
o
Let d(u) = -u**2 - 93*u - 91. Let o be d(-92). Which is smaller: -14/145 or o?
-14/145
Suppose 85 + 3 = 2*z. Let h = z + -40. Suppose h*l = -4*j - 16, -l - 5*j = 27 - 7. Is l less than -3/13?
False
Let i be (1/(-1) - (-5 - -45)/(-8)) + 834. Are 3349/4 and i nonequal?
True
Let b(j) = -183*j + 19. Let l be b(1). Let v = l + 165. Which is bigger: 8/15 or v?
v
Suppose 754*u + 769*u - 2178 = 1541*u. Is -46 smaller than u?
False
Let f(n) = 7*n - 2. Let m be f(2). Let x(y) = -16*y - 5. Let g be 4/(-4) + 2 + (-2 - 0). Let i be x(g). Is m bigger than i?
True
Let u(x) = x**2 + 7*x + 5. Let n(b) = -2*b + 4. Let l be n(4). Let a be u(l). Let d(i) = 2*i**2 - 211*i + 4891. Let p be d(71). Are p and a nonequal?
True
Let k = 0.0201 - -217.9799. Let l = -219 + k. Is 61 not equal to l?
True
Let l = 123/299 - 10765/897. Is l greater than or equal to -12?
True
Let k = 283 - 278. Suppose k*d = -4*y + 438, 3*d - y - 4*y = 285. Which is bigger: d or 91?
91
Let d = -14 + 26. Let z be d/4*(-9)/(-15). Let y = 0.02 - 0.02. Which is smaller: z or y?
y
Let n = 842 + -889. Is -324/7 at least n?
True
Let x(r) = r**3 - 9*r**2 - 16*r + 22. Let c be x(10). Let z be (-1)/(-9)*(-1197)/c. Let i = -1 - -4. Which is greater: z or i?
z
Let o be (-147)/(-12) + 3/(-12). Suppose -o*r + 14*r = -2. Let k be 832/(-38) - 23/(6118/28). Are r and k non-equal?
True
Let y(t) = -t. Suppose 26 = 5*l - 49. Let w = 14 - l. Let c be y(w). Do 2/55 and c have the same value?
False
Let g = -0.5 - -0.8. Let z = 13 - 2. Suppose 5*u + 2*w + z = 0, 2*u + 4 = 4*u - 2*w. Which is smaller: g or u?
u
Let g(r) = r + 8. Let n = -9 + 21. Suppose -4*v = 5*d + 12 - 36, 5*d = 2*v - n. Let b be g(v). Are b and 13 unequal?
True
Let h(p) = -3960*p - 5953. Let v be h(3). Which is smaller: v or -17832?
v
Let m = -8810 - -96904/11. Let g be 4/10 - 4/15. Is m greater than g?
False
Suppose -56 = l - 69. Suppose -4*r - 19 = 5*u, 3*r - 4 = -2*u - l. Is u < 8?
True
Suppose 3*t = -7*z + 9*z + 2164, -4*z + 2*t = 4344. Let r be z/28 - 3/21. Is -4 smaller than r?
False
Suppose -634*y + 639*y + 36 = 4*p, -4*y = 5*p - 45. Which is smaller: 194/19 or p?
p
Suppose 182 = -2460*f + 2369*f. Are -25.2 and f non-equal?
True
Let s = -304/9 + 34. Let x(l) = 4*l - 5*l + 6*l - 33 - 32. Let v be x(13). Which is smaller: s or v?
v
Let b be (-8 - -1 - -5) + -1 + -3. Let n be (4/b)/(8/(5 + 19)). Which is bigger: n or -1/2?
-1/2
Suppose 0 = -3*o + 21, -3*o - 144 = 4*h + 43. Is h at most -898/17?
False
Let u(o) = 5*o + 5*o - 2*o. Let b be u(3). Let k = -33667/10 + 16946/5. Which is smaller: k or b?
k
Let k be (-131 - -133) + (1 + -2)/1. Let r be -3*(5 + 1048/(-174) + k). Let a be ((-1)/2)/(2/(-4)). Which is smaller: a or r?
r
Let v(w) = w**3 - 22*w**2 - 40*w + 27. Let s be v(23). Suppose 4*r = x + 369, 0 = 3*x - 3*r + 682 + 416. Is x greater than s?
False
Let w(r) = r**3 + 14*r**2 + 39*r + 6. Let x be w(-10). Suppose g + 3*v + 5 = 0, -5*g - 4*v = -g - 12. Let n = g + x. Is 23 greater than n?
False
Let f be (-3)/1 + 1 + 6 + -2. Suppose f*x - 1 = -5*b + 4, -2*x + 15 = -5*b. Suppose -q = 2, -x*m + 3*q + 0*q + 1 = 0. Which is bigger: 2/371 or m?
2/371
Let o(p) = -p**2 - 4*p + 2. Let s be o(-3). Suppose -6 = 4*v + r, s = 5*v - 6*r + r. Let q be (-