hich is bigger: i or 0?
i
Let o(f) = -2*f**3 - 60*f**2 - 2*f - 61. Let y be o(-30). Suppose -7*w + 2*w - d + 915 = 0, 0 = 2*w - 2*d - 354. Is w smaller than y?
False
Let o be ((-21)/12)/(-7) - 22/(-8). Let j be o/(-26)*3/((-27)/(-12)). Let b = 0.04 - 5.04. Is j at least b?
True
Let d be 6/(-1*3/(-2)). Suppose 9 = -3*p, -4*p - 23 = -d*j - 7. Let z be j + ((-9)/(-15) - (-87)/5). Is z less than or equal to 19?
True
Let h be 9/(-36)*28/169358. Which is smaller: 0 or h?
h
Let n = 46 - 22. Suppose 1168*h - 1137*h - 62 = 0. Is n bigger than h?
True
Suppose 4*v - 2*o = -6030, -11*v - 4*o + 4540 = -14*v. Are v and -1504 unequal?
False
Let o = -3.833 - -332.933. Let x = o - 329. Which is greater: -23 or x?
x
Let u be -105 - ((-16)/(-9) - ((-47)/9 - -5)). Is u >= -114?
True
Let r = 1 - -1. Let l = 237 + -242. Let t be 6/l + 1 - 1. Which is bigger: r or t?
r
Let c be 3/(9/(-1)) + (-1100)/12. Let l be (-2)/(-1 + 0) - c/1. Which is greater: -2/9 or l?
l
Let p be (16/200)/((-17264)/65). Is p at most -1?
False
Suppose 0 = 6*n - 2*n + 652. Let c = 339/61 - 41311/244. Let h = c - n. Is h bigger than -1?
True
Let t be 6/(-9) + (-5560)/(-60). Which is greater: t or 91?
t
Let g be -1 + 114/(-24) + (-4 - 0). Suppose -8 = x - 58. Suppose -3*j - 3*v = 30, x = -5*j - v - v. Is g at least as big as j?
True
Let b(o) = -o**2 + 13*o - 1. Let q be b(12). Suppose -q*a + 7*a = 8. Let k be ((-47)/(-10) + -3)*a/1. Are -2 and k nonequal?
True
Let n = 543.3 - 548.3. Is n < -50.1?
False
Let f = -6100 + 6118. Let n(s) = -6*s. Let q be n(-3). Is f >= q?
True
Let n = -1.018 - -0.173. Let z = 0.145 + n. Are -2/37 and z equal?
False
Let s(q) = 2*q + 5. Suppose 2*i - v + 12 = 3, -2*i - v - 3 = 0. Let d be s(i). Let f be (2/10)/(6/(-18)). Is f smaller than d?
False
Let o = -309 - -499. Let j be (-2650)/(-14) + (-2)/7. Is j greater than o?
False
Let x = -1/225097 + 2477339/286323384. Which is greater: x or -1?
x
Suppose 29143 = 115*c - 5326 + 3534. Which is smaller: 245 or c?
245
Let g = -4476 - -7342. Which is bigger: 2867 or g?
2867
Let m = -5478 - -5477. Which is bigger: -284/7 or m?
m
Let s = -2032 - -8182. Is 6149 at most s?
True
Suppose 11*g = 3*g. Suppose -5*j + 6 = 3*o - 20, 5*o - j - 34 = g. Let b be 9 - -6*(-4)/24. Which is smaller: o or b?
o
Let v = -0.46 - -0.07. Let j = 0.7 + v. Let w be 19*(-7)/28 + (8 - 3). Are j and w nonequal?
True
Let i be (-1240)/(-360) + 4/(-9) + (1 - 3). Let z be ((-1)/745)/(12/(-8)). Let s = z - 998/5215. Is s greater than i?
False
Let h = 174293/13 - 13420. Is h less than -12?
True
Let m = -29 - 5. Let w(d) = d**3 - 13*d**2 - 3*d - 2. Let t be w(13). Which is bigger: m or t?
m
Suppose 0 = -2*p - 3*j - 9548, -4762 = p + 1208*j - 1205*j. Are p and 1 equal?
False
Let b be -2 + 1 + -1 - -320. Suppose -b*r = -313*r - 45. Let d be r/51*(-8)/(-6). Which is smaller: d or 1?
d
Let r be ((-31884)/252)/((-1)/5*75/135). Is r equal to 1138?
False
Let f = 1.1 + -1.26. Let k = -5.84 + f. Let s = k - -5.92. Which is smaller: s or -3?
-3
Let j = 169 + -238. Let g = 1.2748 - 1.1748. Is j greater than or equal to g?
False
Let u = -48 - 26. Let y = 67.68 + u. Let j = y + 1.32. Which is greater: j or 13?
13
Suppose -3*p - p = 2*h - 24, 3*h = 2*p + 4. Suppose -19 - 1 = p*z. Let t = 1313 + -1317. Are z and t unequal?
True
Suppose 0 = 3*y + 18, -2949 + 16391 = 4*n - 3*y. Is 3358 < n?
False
Let n = -5164 - -47770/9. Suppose 2*g + z = 285, 0 = -g + z - 6*z + 138. Let w = g - n. Do w and -2 have different values?
True
Suppose 0 = 4*a + 4*c - 4, 0 = -3*a + 6*a - 4*c - 24. Suppose -2*i - j + 5 = -i, a*i - 3*j = 13. Let r be (-26)/(1 + 16/(-2)). Is i at least r?
True
Let m be 744/(-5038) + ((-1443)/(-1001)*7 - 10). Which is bigger: m or -1?
m
Let z = 72 - 146. Let v(o) = o**3 - 7*o**2 - 381*o + 1881. Let r be v(5). Is z less than r?
False
Let r be (89/(-3))/((-43)/387). Let s = 2137/8 - r. Is 1 != s?
True
Let m be -96*16*16/(-64). Which is smaller: m or 1921/5?
m
Suppose 0 = -9*y + 2380 - 220. Let m be (126/y)/3 + (-2)/16. Which is bigger: m or 0?
m
Let s = 6.38 + -163.38. Let w = s + 156. Is 121 equal to w?
False
Let a = 46595863/1826 + -25518. Which is smaller: a or 0?
a
Suppose 35*i + 432 = 26*i. Do 2/21 and i have the same value?
False
Let r be ((-140)/770)/((-1)/11) + 4028. Which is greater: r or 4029?
r
Let i be 2 + (28/(-4) - -1). Let q = -5.951 + 6.151. Is q > i?
True
Let n = -156.83 + 152.83. Let m = 51.13 - 1.13. Which is smaller: n or m?
n
Let b be (-5005)/(-11700) - 2/(-9). Let y = b - 679/1060. Is y greater than or equal to 1?
False
Suppose 41 = 7*k - 22. Suppose k*m + 27 = 36. Which is greater: m or -311?
m
Let w = 46360 + -38198. Which is smaller: w or 8159?
8159
Suppose 2*s + 0*z - 2*z + 2 = 0, s + 9 = 3*z. Let d be (s + (-247)/81)/(2/6). Let a = d + -55/54. Is a >= -2?
True
Let t(a) = a**3 - 27*a**2 - 23*a - 139. Let q be t(28). Is q < -551?
False
Let p be 32/(-12)*(-6)/(-4). Let w be (12/15)/(p/40). Let y = w - 21. Is y at least as big as -29?
True
Let j be (-4)/14*((-1177)/99 + 15). Let r(a) = -a**2 + 6*a - 7. Let p be r(6). Let f be 2/p - (-15)/(-21). Is f less than or equal to j?
True
Let k = -2902 + 3224. Does k = 10?
False
Let t(p) = -p**3 - 2*p**2 + 8*p + 4. Let u be t(-3). Let q be (8*u/44)/((-2)/62). Is q > 424/7?
True
Suppose 12*h - 27*h - 45 = 0. Let x be (2 - h/1)/(-3 - -2). Let c be (-15)/25 + (-7)/5. Which is greater: x or c?
c
Let p = 11135 - 9144. Is 1/4 less than p?
True
Let m = 78 + -200. Let r = 122.3 + m. Is r at most as big as 1/54?
False
Suppose -m = -2245 + 4231. Do -1985 and m have different values?
True
Let x = 4421 + -5991. Is -1572 at least x?
False
Let i = 18.8 - 11. Let k(m) = -2*m**2 + 32*m + 33. Let d be k(17). Is d greater than or equal to i?
False
Let q be 1*18 - 2032524/113256. Is q equal to 0?
False
Suppose 513 - 86 = -7*i. Let b be (-617)/(-10) - (-3)/2. Let r = i + b. Is r bigger than 2?
True
Let w be (-620)/45 - 2/9. Which is greater: w or -205/14?
w
Let x = 49.49 - 36.49. Which is bigger: x or 6/55?
x
Let t = 750 + -47252/63. Let p(x) = x**3 - x**2 - 4*x - 1. Let j be p(-1). Is j at most t?
False
Suppose 7352 = -5*u - j, -u + j + 5882 = -5*u. Let k be u/56 + (-1)/(-4). Let i be 15/(-12)*2*(-50)/(-5). Which is smaller: k or i?
k
Let b = -2427092/45 + 294108/5. Let l = 4892 - b. Do 6 and l have different values?
True
Let c(i) be the third derivative of i**6/120 + i**5/10 - 2*i**3/3 + 4*i**2 + i. Let b be c(-6). Is -4 <= b?
True
Suppose -374 = -17*y + 6*y. Suppose 31*f - y*f - 6 = 0. Are f and -2 unequal?
False
Let s(z) = 2*z - 28. Let d be s(15). Suppose -4 = d*y - 20. Suppose -3*j = j - y. Is 3 bigger than j?
True
Suppose -v + 3*u - 5 - 5 = 0, 2*u = 4*v + 10. Let j = 3971498/125 + -31772. Which is smaller: v or j?
v
Let v = 18 + -15. Suppose -v*b = -0*b - 12. Let d be (84/63)/(b/9). Is -1.4 < d?
True
Suppose -3*q - 18 = -3*m, -4*m + 5 - 21 = 0. Let t be 4/q*(-20)/(-10). Are 2 and t non-equal?
True
Let w(n) = -n**3 - 8*n**2 - 4. Let g be w(-8). Let h(b) = 329*b - 2305. Let f be h(7). Is g smaller than f?
True
Let x(k) = k**3 - 140*k**2 + 673*k + 270. Let d be x(135). Which is greater: 2/38117 or d?
2/38117
Suppose 2*r - 35*r + 53196 = 0. Let x = 1106 - r. Is -507 greater than or equal to x?
False
Let p = 303.9 + -301.9. Let h = -1.9 - -2.3. Which is bigger: h or p?
p
Let i = -9.7 - -2.7. Let g = i + 42. Let t = 16 - g. Is t at least -0.1?
False
Let y(n) = -n + 1. Let j be y(-6). Suppose 6*f - 124 = -25*f. Suppose -52 = -f*u + 3*d, 0 = -3*u - d + 6*d + 50. Are j and u non-equal?
True
Let n = 10 + -3. Suppose n + 18 = 5*f. Let c(w) = 9*w**2 - 416*w + 501. Let l be c(45). Which is bigger: f or l?
l
Let y(f) = -3499*f + 11006. Let w be y(3). Is w at least -1?
True
Let a = -35 + 48. Let r = 37 + a. Let w = r - 50. Is w less than 1/25?
True
Let h be (-12)/(-8)*7/(14/4). Suppose 2 = -2*c, k - h*c = -k + 5. Suppose 0 = -s + k, -2*m - 2*s - 3 = -11. Which is smaller: 20/7 or m?
20/7
Suppose -3*n - 4*y = -186, -4*n + y + 248 = -2*y. Let j = 75 - n. Suppose -4*k - 3*v + j = 0, -k - 3*v = -2*k - 8. Is k equal to 5/2?
False
Let z = -7 + 8. Let w(c) = -2*c**3 - 11*c**2 + 11*c - 5. Let n(q) = -3*q**3 - 12*q**2 + 10*q - 4. Let y(f) = -3*n(f) + 4*w(f). Let m be y(6). Is z at most m?
True
Let o be (-1182)/15*5/(-1)*238/14. Which is bigge