e p(-47). Which is smaller: -5/1034 or q?
-5/1034
Let k be 20/5 - 0 - (-9 - 807). Which is smaller: 3285/4 or k?
k
Let o be 210*(-10)/60*(2 - 14/5). Let u be 1/(-3)*(-2)/(-1). Is o bigger than u?
True
Suppose d = -4*g - 122, 4*g - 11 = 3*d - 125. Let o be (-732)/g*(3 - -7). Let p = -7809/32 + o. Is p > -1?
True
Suppose -3*h - 9 = -3*g - 3, -4*h + 5*g = 13. Suppose -c + 0*c - 60 = -2*x, -112 = -h*x - 4*c. Suppose 44*z - 618 = 790. Is z < x?
False
Let f(z) = -22*z - 14*z - z**3 + 14*z**2 - 34*z**2 - 32. Let b be f(-18). Is b greater than or equal to -32?
True
Suppose -5*d - 49 + 284 = 0. Suppose -5655 = 5*s - 3*t, -19*t - 5650 = 5*s - 21*t. Let j = 1176 + s. Is j at least d?
True
Suppose -82 = -3*c - 4*a, -5*a = -111 + 91. Let v(k) = 2*k + 10. Let t be v(6). Are c and t unequal?
False
Suppose 0 = 27*a - 5*a - 110. Let z be (6/(-8))/(3/15*a). Which is smaller: -20 or z?
-20
Let q be 10724/(-1085) - -5 - -5. Let g = -3111/1240 - q. Suppose 0 = -3*y - 2*n - 15, 5*y + 2*n = -16 - 5. Which is smaller: g or y?
y
Suppose -155*c + 261*c - 1006020 = -239*c. Is 2917 not equal to c?
True
Suppose -50 + 186 = 136*u. Is u <= -1/8477?
False
Let l = 9.405 + -9.475. Which is bigger: l or 24?
24
Let p = -838 - -1036. Which is smaller: 3 or p?
3
Let a(g) = -2*g**2 + 24*g - 40. Let o be a(10). Suppose -c + 2 = 0, 3 = 3*n + c - 8. Let d be ((-6)/(-45))/(n/(-9)). Which is bigger: d or o?
o
Let n(u) = 22*u + 99. Let z be n(-5). Let w be -173 + z/(66/(-48)). Is -166 at most w?
True
Let p(i) = i**2 - 2*i + 3. Let h be p(2). Suppose -5*w - 21 = c, h*w + 5*c - 6 = -1. Let a be 12/16 - (-57)/(-12). Is a <= w?
False
Let p = 363 - 1199. Does p = -836?
True
Let c be (8/(-10))/(17/(-255))*(-1736)/(-84). Is c > 247?
True
Let j = -8999 - -350963/39. Let g be 6/(-12) - (-6)/4. Which is smaller: g or j?
j
Let l = 443 - 244. Suppose 3*c + d - l = 0, c - 2*d = 50 + 21. Let x = -67 + c. Which is smaller: -1/8 or x?
-1/8
Suppose 0 = -5*i + 3*i + 8, 2*z + i = 152. Suppose z = -9*n + 515. Which is smaller: 148/3 or n?
n
Let m = -5 - -6. Suppose 0 = 7*b + 2257 + 445. Let y = 2323/6 + b. Is y bigger than m?
True
Let q = -242 - -257. Suppose -q = 4*i - 51. Which is smaller: i or 5?
5
Let p = 2 + -1.9. Suppose 160 = 14*w + 944. Let o be (-4)/(w/(-9)) + (-9)/6. Which is smaller: o or p?
o
Let j(d) = d + 6. Let m = 135 + -130. Suppose 18*r - 19*r - m = 0. Let v be j(r). Which is greater: v or 69?
69
Let y = 35.4 - 32.4. Let w(s) = 17*s**3 - s**2 + s - 1. Let q be w(1). Do q and y have the same value?
False
Suppose -2*q + 4*j + 18 = 0, 0 = -2*q - 9*j + 4*j + 27. Suppose q*z - 8*z = 5*t - 28, 5*t = 2*z + 27. Let b be (-111)/(-364) + (-2)/7. Which is smaller: b or z?
z
Let n = 733 + -482. Let z = 6278/25 - n. Let y = 1 + -2. Is y greater than or equal to z?
False
Let s = -5163545/436 + 11843. Let v = -11859 + 11858. Is s not equal to v?
True
Let j(f) = -f**2 + 8*f - 355. Let h be (-2)/(-7) - (-20)/(-70). Let l be j(h). Which is greater: -356 or l?
l
Let z(i) = 4 + 1 + i**3 + i - 55*i**2 + 51*i**2. Let r be 14/6 + 4/6. Let f be z(r). Which is smaller: -1/141 or f?
f
Let z = -7223 - -7166. Is z at least -43?
False
Let l be (-176704)/(-266244) + (-8)/12. Which is bigger: 1 or l?
1
Let w be 5/1017*((20768/(-55))/(-32) - 13). Suppose 3*b = -3*c + 15, b = -3*c + 13 - 0. Are w and b unequal?
True
Let n(u) = -1007*u + 17. Let s be n(-1). Is s less than or equal to 1024?
True
Suppose 0 = -3*h + 2*u + 266, 5*h + u - 667 = -241. Let p be 7/(98/105)*h/20. Which is smaller: p or 33?
p
Suppose -5*w + 19 - 4 = 0. Suppose -y + 2*y - w = 0. Let u be 2/(-1)*-5*y/5. Are 50/9 and u non-equal?
True
Let m = -3598 - -3597.9. Are -1/5282 and m non-equal?
True
Let r = 69/47 - 8693/3008. Which is greater: -2 or r?
r
Let m be (-32)/(-12)*18/(-8). Let u be 3/2*4/m. Which is smaller: u or 14?
u
Suppose 2*u + 48 = 8*u. Suppose s = 2*t + 10 - u, 0 = -2*s. Which is smaller: t or 0.14?
t
Let o be (116540/10594 + -11)*1. Is o smaller than 1?
True
Let i = 3501 + -3546. Which is smaller: -28 or i?
i
Let h(v) = 38*v**2 - v + 1. Let d be h(-1). Let x be (-4 - 11/(-2))/(6/d). Let p be x/(-45) + (-48)/(-135). Which is greater: p or 2?
2
Let p(q) = -q**3 + q**2 + q + 2. Let d(n) = n**3 + 14*n**2 + 13*n + 5. Let j be d(-13). Let y be p(j). Let o = 647/7 + y. Is o smaller than -6?
False
Suppose -p - 5*b = 25, 4*p + b = -2 - 79. Let w be ((-67)/6)/(p/(-30)). Let y = w + 17. Which is smaller: -2 or y?
-2
Let r(c) = -3*c**2 - 4*c + 1. Let j be r(-5). Let t = -45 - j. Suppose -4*f - 155 = -t*f. Is 31 at most as big as f?
True
Let v = 207/10 - 41/2. Let l = 3.1336 - 3.0236. Is l <= v?
True
Let m(i) = 7*i**2 - i + 1. Let x be m(1). Let u = 688 - 683. Suppose -5*z - 4*r + 56 = -0*r, -z - u*r = -x. Which is smaller: z or 14?
z
Suppose 17 = -13*n - 243. Suppose -2*h + 6*h - 120 = 0. Suppose -3*c - 64 = -2*i, h = -0*c - 2*c - 5*i. Is c at most n?
True
Let t be ((-1)/3)/(1/57). Let i be (-432)/21 + (-63)/147. Which is smaller: t or i?
i
Let n = -230.16 - -226. Let b = n - -4.47. Which is bigger: b or 4?
4
Suppose 5*l = 0, 4*p = -3*l + l + 4. Let g = -78400 + 2273620/29. Are g and p unequal?
True
Suppose -3*g = g. Suppose 275*z = 280*z + 20. Let d be (z + 5 - -1) + (-14)/20. Which is greater: d or g?
d
Suppose -35 = 5*q - 10*p, -4*q - 4*p = 27 - 71. Are 83/8 and q non-equal?
True
Let p(b) = -26*b + 729. Let r be p(28). Is r <= 1/4996?
False
Let v = 1440 + -1446. Let d = 8.96 - 9. Let w = d - -0.94. Is v equal to w?
False
Let p = -8.33 - -1.33. Let g = -132 + 143. Which is bigger: g or p?
g
Suppose 87792 = 78*i + 46*i. Which is smaller: 3542/5 or i?
i
Let r = 0.4 + -0.3. Let o = -0.3 + r. Let g = 891625.6 - 891625. Which is smaller: o or g?
o
Suppose 14 + 19 = -3*b. Let t be ((-22)/b)/(-1 + -20). Suppose -5*x + 23*x + 18 = 0. Is x smaller than t?
True
Let a = 27.44 + -27. Let w = a + -0.73. Let h be (-222)/(-333) - 5/12. Which is smaller: h or w?
w
Let o = -14.837 - -97.837. Which is smaller: -2/61 or o?
-2/61
Let d = -257904 - -3423159790/13273. Let x = d + 2853709/92911. Let n = x - 31. Is 3 less than n?
False
Let o = 768.7 - 855.7. Let d = -0.075 + 94.075. Let m = d + o. Which is smaller: m or -0.6?
-0.6
Let f(b) = 3*b**2 + 42*b - 45. Let d be f(-15). Is -2/16723 less than d?
True
Let n = 86008103/5439681 - 41562/2447. Let j = -1233/40 - -304071/9880. Let x = j + n. Is x > 0?
False
Suppose 16 = -3*m - 4*b, 7 = -2*m - b + 3. Suppose m = -l + 4*w - 5, 0 = -2*l + 6*l + 2*w + 2. Which is bigger: l or -19?
l
Let l = 74 + -46. Suppose 3*y - 4*y + 2*b + 40 = 0, 4*y - b - 125 = 0. Which is smaller: l or y?
l
Let k be ((-6)/47)/((-2)/(-17610)). Let j(h) = -89*h - 56. Let o be j(12). Let y = o - k. Which is greater: y or 0?
y
Let y be 3 + (2 - 0) + -8. Let b be 9538/(-5415) + 2/(-15). Which is bigger: b or y?
b
Let i be 5/1 + 1/(8/16). Let n be (1/(-2))/((-55)/792). Does i = n?
False
Let i = -1607 - -1632. Let j = 184.1 + -209. Let l = i + j. Which is smaller: l or 1/21?
1/21
Let i be 19836/(-68985) + 64/224. Which is bigger: i or 2/11?
2/11
Suppose 88 = 61*u + 393. Which is bigger: u or -27?
u
Let i = -2.18 - -2.191. Let j = -0.109 - -0.12. Let l = i - j. Does l = 0.011?
False
Let m = -2.3 - -0.3. Let b = -17486 + 17465. Which is greater: b or m?
m
Let u = -2990 - -2998. Which is greater: u or -15?
u
Suppose -3*d + 88 = 5*p, 87 = 5*p - 0*p + 2*d. Let v(c) = -c - 7. Let s be v(-10). Suppose -i - s*b = -p, -i - 2*b = 4*i - 20. Is -1 not equal to i?
True
Let n = -7759 + 7760. Which is smaller: n or -4/1809?
-4/1809
Let y = 12059/210 - 856/15. Is 63/4 at most y?
False
Let k = 13041/13 - 34694/65. Which is greater: 468 or k?
k
Suppose 5*g - 250 = -5*n, -23 = 2*g + 3*n - 119. Suppose 6 + g = -6*o. Do o and -11 have different values?
True
Let c be (-2)/3 + 29/3. Suppose 13*t - 5*t = 72. Suppose t*h = 100 - 19. Is h >= c?
True
Suppose 8*l - 11*l = -o - 33, -2*l - o + 32 = 0. Does l = 386/33?
False
Let x = 46120 - 28465. Is 0 smaller than x?
True
Suppose 4*j + 1381 + 1724 + 171 = 0. Is j greater than or equal to -820?
True
Let h = 13153 - 13158. Which is greater: h or 85/3?
85/3
Let f = -54 + 23. Let d be (-2)/(1 + 1)*f. Suppose d*h = 34*h - 183. Which is greater: -1 or h?
h
Let x = -931 + 934. Suppose 78*r + 8 = x*z + 76*r, 0 = -2*z - 3*r - 12. Let b be 1/14*