is smaller: 16/135 or d?
d
Let o = -26 - -25.6. Let w = -58 - -55. Let p be (w/(-18))/((-16)/18). Which is smaller: p or o?
o
Let u = 8781 + -8749. Are 7 and u equal?
False
Let j(p) = 2*p**2 - 25*p - 2. Let d be j(14). Suppose -11*k - 81 = d. Let z(r) = 6*r + 1. Let o be z(-2). Do o and k have different values?
False
Let b = 156.07 + -150.8. Is 1 at least b?
False
Let z = -265/208 + 29/16. Let j be ((-8)/(-12))/(10 + 28/(-3)). Is j greater than or equal to z?
True
Suppose -7*r + 587 = 6. Let m be 13*-7 + 4 + -6. Let g = m + r. Are g and -8 nonequal?
True
Let s(w) = 8*w**3 - 29*w**2 + 5*w + 50. Let p(o) = -7*o**3 + 28*o**2 - 7*o - 49. Let g(c) = -7*p(c) - 6*s(c). Let i be g(21). Is i at least as big as -9/20?
True
Let i = 375 + -370. Let u(s) = -8*s + 27. Let b be u(i). Is -19 not equal to b?
True
Let g = -20 + 22. Let c(n) = -6*n - n + 0*n**2 + n**g - 18. Let y be c(9). Which is smaller: 1/73 or y?
y
Let n be (-2)/(-2)*1/2. Let c = -5376.9 - -5396. Which is smaller: c or n?
n
Suppose 10 = -8*z + 418. Which is greater: z or 151/3?
z
Let f = -5869 + 3062. Is -2805 not equal to f?
True
Let f = 649.68 - 15.68. Let m = f - 684. Which is bigger: -0.2 or m?
-0.2
Let j(y) = y**3 + 6*y**2 + y + 8. Let r be j(-6). Let i = 0.439 - 0.019. Let d = i - -1.58. Is d bigger than r?
False
Let q be (-90)/(-72) + 10/(-8). Let u = -4 + 1. Let x = u - -2.955. Is x greater than q?
False
Let h be (0 - (-2822)/(-21))*(-120)/8672. Let u = -20/271 + h. Which is bigger: 1 or u?
u
Let t be -41*-1*((-7)/(-7) + -8). Which is bigger: -288 or t?
t
Let o be (1 - -1) + 3 + -2. Suppose 0 = -3*m - m + 24. Suppose -5*r + 37 = 2*w, 3*r = 5*w + m*r - 45. Which is smaller: w or o?
o
Suppose 5*s = -b - 1569, 35*b - 32*b = -2*s - 625. Which is greater: -311 or s?
-311
Let d(u) = u**3 + 37*u**2 - 34*u + 152. Let i be d(-38). Let l = -10 + 16. Which is bigger: l or i?
l
Let p = -13144 - -13147.4. Are p and -14 nonequal?
True
Let x be (-8 - (-21)/3)*(-35)/(-2815). Is x less than or equal to 0?
True
Suppose 0*c - 5*l - 20 = 3*c, -5*c + 2*l = 54. Suppose -57435 + 2991 = 2094*u. Is c >= u?
True
Let c(k) = -5*k**2 - 3 - 6 - k**3 - 13 + 3*k + 38. Suppose -5*n - 27 = -2. Let z be c(n). Does 10 = z?
False
Let m be (130523600/1290888)/10 + -10 + 2/(-18). Which is greater: m or 1?
1
Let z = -63.98 - -61. Let k = 2.38 + z. Let d = -0.01 - 0.09. Which is bigger: d or k?
d
Let y = -8323 + 10869. Is -4 > y?
False
Let k(d) = 72*d + 11259. Let p be k(-153). Which is smaller: p or 24?
24
Let u = -393 - -360. Let b be (-505)/3 - 44/u. Is b >= -166?
False
Suppose -5*r = 20, -5*r - 30 = u - 3*u. Let g = -542 + 553. Suppose 0 = 4*h + 5*b + 3, 0 = u*h - 0*h - b + g. Is -1 at least h?
True
Let r be (-1)/(3/3)*19. Let k = 21 + r. Suppose -k*n - 92 + 58 = 0. Is n != -17?
False
Suppose t + 3*b - 24 = 0, 3*t - 4*b = -t + 80. Let y(k) = k**3 - 22*k**2 + 20*k + 24. Let f be y(t). Suppose -f*q = 15, -3*q - 1 = -x + 3. Are -14 and x equal?
False
Suppose 3*t + 79 = 2*t + 78. Which is greater: 7/114 or t?
7/114
Suppose -2046 = 5*s + 534. Is s at most -518?
False
Suppose 0 = 5*l + 10, -4*r = -0*r + 3*l - 26. Let p be (r/(-20))/((-71)/(-20) - 3). Which is greater: -2 or p?
p
Let j(d) = 28*d**3 - d**2 - 2*d - 1. Let k be j(-1). Let g be (-12)/k + (297/(-105) - -3). Let u be (-1 + 2)*(3 + -1). Is g >= u?
False
Let x = 36.293 + -114.204. Let l = x - 0.089. Let k = l - -80. Which is smaller: 3 or k?
k
Let k = 115.116 + -115. Let x = -1.316 + k. Let s = x + 2.7. Which is smaller: s or -0.1?
-0.1
Let a = -783 - -8607/11. Let n be 70/(-20) - (-2 - 10/(-4)). Let t be (1 + 1 + -2)/(n/2). Which is bigger: t or a?
t
Let i(r) = -15*r**2 - 6*r - 8. Let b be i(-8). Let x be (-2)/3 + b/(-1020). Is x greater than 6?
False
Suppose -5*h - 5*u - 22 = -4*h, 2*h + 20 = -4*u. Which is smaller: h or 438?
h
Let m = 515 + -301. Let d = m - 226. Is -0.1 < d?
False
Let z = 34612.8 - 34614. Which is smaller: 3.89 or z?
z
Suppose 0 = -55*r - 73*r. Are r and -8/1833 unequal?
True
Let g(y) = -y + 3. Let x be g(1). Suppose -4*n = -x*n + 4. Let s be (0 + 0)*(-3 - n)/(-1). Is -2/183 smaller than s?
True
Suppose -31*d + 6*d = 14*d - 13689. Which is bigger: 352 or d?
352
Let t = -1.85 + -35.15. Let m = t + 42. Which is bigger: -1.7 or m?
m
Suppose -3*r + 6*r = -5*y + 158, 3*y - 12 = 0. Let x = r - 39. Let f be -3 + 42/x + 4/(-10). Is f at most as big as 0?
False
Let d be (9 - 143)/((-3)/((-6)/(-4))). Suppose -d*f = -66*f - 31. Suppose 2*r - f = 5*y, -4*r - r + 40 = -5*y. Do -4 and r have different values?
True
Let y(d) = 9*d**2 + 6*d + 10. Let s(x) = -37*x**2 - 23*x - 44. Let j(q) = 2*s(q) + 9*y(q). Let w = -12 - -10. Let g be j(w). Which is bigger: 29/2 or g?
29/2
Let f be (-9)/(-15) - 2/(-5). Which is bigger: 4/639 or f?
f
Let g = -11943 + 12467. Which is bigger: 518 or g?
g
Let k = -263.93 - -264.1. Let d = 0.82 + 0.18. Which is greater: d or k?
d
Let k = -19 - -24. Suppose -8*y + 3 = -k. Let q = -163 + 1955/12. Which is bigger: q or y?
y
Let y = 15/323 - 24811/520353. Is 0 less than y?
False
Let y = 28633 - 29128. Which is smaller: y or -508?
-508
Let r(f) = 16*f - 44. Let b be r(-10). Let t be b/15 - 1 - 15/(-25). Let y be -14 + 18 + t + -2 + 1. Is y at most 2?
True
Let i = -247 + 40757/165. Let s(o) = 29 + 0*o**2 - 33 + o**2. Let v be s(2). Which is bigger: v or i?
i
Let v(x) = 2*x**3 - x**2 + 1. Let j = 37 - 36. Let c be v(j). Suppose 0*f = 3*f + c*t - 53, -5*t - 63 = -4*f. Is 16 > f?
False
Let u = -6816 + 7145. Which is bigger: 331 or u?
331
Let p = 4098.5 + -4158. Which is smaller: p or -3/4?
p
Let d = 22361/55915 - -1/11183. Let b = 6/305 + 364/12505. Is d at most as big as b?
False
Let y = 83 + -177. Let j = y + 103. Suppose 30 = -3*f + 6*f. Which is smaller: j or f?
j
Let b = 65450 - 86459460/1321. Is b not equal to 0?
True
Let c(u) = u**2 - 2*u - 3. Let n be c(-2). Let w = 68.6 - -4.3. Let o = w - 73. Is o bigger than n?
False
Let a be ((-2314)/143 - -16) + (-757)/(-110) + -3. Suppose 4*k + 0*k - 12 = 0. Which is smaller: k or a?
k
Suppose -6*k - 6 = -0. Let r = 43847024 - 1353163007491/30861. Let p = -1/381 - r. Do k and p have the same value?
False
Suppose -j - 2*j - 6 = 0, -s = -5*j - 9. Let m(q) = -8*q - 9. Let r be m(s). Let v = -37/450 - -2/75. Which is greater: v or r?
v
Let c = -69.6 - -67. Let q = -0.209 + 0.109. Which is smaller: c or q?
c
Let g be (-2121984)/(-783) + (6/(-4) - (-166)/116). Is 2708 not equal to g?
True
Suppose 3*m - 183 = -3*f, -135 = -4*f - 3*m + 115. Which is smaller: f or -34?
-34
Let h be (2452/6)/(833/(-105) - -7). Let o = -437 - h. Which is smaller: -2/7 or o?
-2/7
Let a = 2308104062/17 + -135835329. Let c = a - -64904. Let h = c + -402. Which is smaller: h or -1?
-1
Let m = 126.03 - 126. Let s = m + 0.17. Let o = -359/34 - -21/2. Is s at least as big as o?
True
Let a = -1066/7 - -157775/1036. Which is bigger: a or -22?
a
Suppose 7*z = 13*z. Suppose -4*w + 2 = -6*w - 4*r, -5*w + 4*r - 5 = z. Let a be (-1)/2*12/(-30). Which is bigger: w or a?
a
Let f = -173 + 192. Suppose f*z - 2607 = 8*z. Which is bigger: 0 or z?
z
Let y be 1757/(-72) + 9 - (-4)/72*-4. Do y and -17 have the same value?
False
Suppose 4*u + 13 = 25. Let z(t) = 5*t**3 - u*t**3 + t - t**3 + 14 - 5 - 4*t**2. Let d be z(4). Is d at least 0?
True
Let f be (((-2)/(-18))/((-35)/210))/(4/6). Which is smaller: 12/557 or f?
f
Suppose x = -4*j + 159, 3*j = 3*x - 1 + 124. Suppose 0 = -6*b + 112 - j. Suppose 5*g = 4*u - b, -g - 12 = -4*u + 2*g. Is 2/7 >= u?
False
Let c = 1.08 + -83.08. Let q = 81.89 + c. Do 2 and q have different values?
True
Let z be 261/(-6)*272/(-51). Suppose -z*v = -236*v + 8. Which is smaller: -20 or v?
-20
Let z = -0.2543 + 0.4543. Which is bigger: z or -247?
z
Suppose -12 = 4*k, -180 = 4*n + k - 5. Let z = n + 95. Let g = z - 47. Do 1 and g have different values?
True
Let d be -6 + 10 - (6 - (3 - -919)). Let i = -947 + d. Suppose -2*j + a = -4*j - 48, -56 = 2*j - a. Which is bigger: j or i?
j
Let m = 515 + -426. Let y be ((-2)/(-3))/(m/(-6)). Which is bigger: 0 or y?
0
Let g be (-12)/24*(312/(-46))/(-1). Let c = -1367/437 - g. Let i = -333/38 + c. Which is smaller: i or -9?
-9
Let g = -1/7094 + 7715/4405374. Is g >= 0?
True
Let i = 0 + -30. Let n be (-1 + (-634)/i)/(36/(-54)). Let f = 147/5 + n. Is f less than -2?
False
Let y = 774