= -0*q. Let t be ((-2)/(-15))/((-60)/25). Which is greater: q or t?
t
Let y(p) = 302*p + 4. Let v be y(-1). Let l be v/(-14) + (-8)/28. Suppose -23 = -c - l. Is c at least 3?
False
Let h = 474 + -403. Is 74 <= h?
False
Let z = 2196632/5679 + 267/631. Let l = z - 388. Are -2 and l non-equal?
True
Let u = 2 + -2.5. Let g = u + -1.5. Let k be (-1)/(-3) + (-4)/(-6). Which is smaller: k or g?
g
Let w be (26/24)/((-291)/333). Let t be 7/((-2037)/(-870)) + -3. Let m = w + t. Which is greater: -2 or m?
m
Let t(q) be the first derivative of -2*q**3/3 + 2*q**2 - q + 10. Let j be t(2). Let o be (3 + 0)*j/9. Which is smaller: 1 or o?
o
Let f = -0.889 - -0.789. Which is smaller: 1122 or f?
f
Let q be (-18)/(-46) - 0/(-2). Are q and 1 equal?
False
Suppose -4*o + 2*u + 8 = 0, -2*o + 13 - 3 = -4*u. Let y be (-57)/(-276) - 2/8. Which is bigger: y or o?
o
Suppose -3*s = -3*k - 2*k - 31, 0 = 3*s - k - 11. Suppose 0 = 3*q + s + 1. Which is smaller: -1/84 or q?
q
Let h = -0.3 + -3.2. Let d = 0.5 + h. Which is bigger: d or -1/3?
-1/3
Let a = 9126144231/17861915 - 1/2329815. Let t = -1532/3 + a. Is 0 smaller than t?
True
Let b = 13.82 + -1.82. Which is smaller: -3/2 or b?
-3/2
Suppose -6*j + 62 = 14. Suppose -3*u = -j*u. Are 4/31 and u unequal?
True
Let r = 19.0097 + -0.0097. Let w = -16.59 + -0.41. Let i = w + r. Do -0.8 and i have the same value?
False
Let c = 1 - 1. Let v be (5 - (-822)/(-162))/(2/(-24)). Which is bigger: c or v?
v
Suppose x = -5*j + 35, 25 = -5*x - 2*j + 154. Suppose -2*w + 124 = 2*w - 5*c, -3*c + 92 = 4*w. Are w and x equal?
False
Let p be 366/(-610) + (-68)/(-55). Suppose -5*f = -5*t - 10, -5*f + 0*t = 3*t - 10. Which is greater: p or f?
f
Suppose -4*n - 5*q = 2, 5*n + 3*q - 8 = 2*q. Suppose 6 - n = -2*c. Is c >= 0?
False
Let q be (-195)/(-1482) - 0/1. Is q at most as big as -1?
False
Let r = -20253 - -39565/2. Let n = -462 - r. Is 9 smaller than n?
False
Let p(c) = -c**2 - 13*c + 14. Let i be p(-14). Let w be 2 + (0 - (1 + 0)). Let t = w - -1. Which is bigger: i or t?
t
Suppose -3 = 2*y + 1. Let t be (y/(-36))/((-13)/(-39)). Let i(j) = j**3 + 5*j**2 + 4*j. Let s be i(-4). Is s less than or equal to t?
True
Suppose -4*v + 175 = p, 3*p + 5*v = 4*v + 558. Suppose -99 = -13*q + p. Is q >= 22?
True
Let p(r) = r**3 - 59*r**2 - 59*r - 73. Let j be p(60). Which is greater: -58/5 or j?
-58/5
Let y be 1/(9/2 - 4). Let z = 15530/21 + -739. Let j = z + 1/7. Which is greater: y or j?
y
Suppose -2*p = -6*p. Let n = p - -1. Let h be ((-1)/(-2 - (-1 + 0)))/15. Is n smaller than h?
False
Suppose -5*t + 4 = -56. Suppose q + 3*q = 2*o + 6, 3*o - t = -q. Suppose -b = h + 1, 0 = b + q*b - 4*h + 20. Which is smaller: -2 or b?
b
Let l = -20 - -20. Suppose l = h - 4*h. Let q = 11.3 + -11. Are q and h nonequal?
True
Let t = 8 - -17. Let m be ((-4)/(-30))/(30/(-90)). Is m at most t?
True
Let o = -68 + 81. Let m be (-2)/o - (-4)/26. Which is smaller: m or -4/7?
-4/7
Let m(j) = j**3 + 2*j**2 - 8*j + 3. Let w be m(-4). Let k be ((-91)/28 + w)/((-39)/4). Do -1 and k have different values?
True
Suppose 3*g - 21 = -252. Which is greater: 1 or g?
1
Let r = -22 - -31. Let j(c) = c**2 - 5*c + 9. Let h be j(r). Is h not equal to 45?
False
Let u = 0.4 - 0.3. Let b = 40 - -91. Let h = b + -1181/9. Which is greater: h or u?
u
Suppose 0 = -7*i - 46 - 17. Let k be (-26)/91*7/i. Which is greater: -7 or k?
k
Let d(w) = w**3 - 4*w**2 - 8*w + 7. Let r be d(5). Let j = -4 - r. Suppose -5*h + 3*h - 18 = j*l, 4 = -l. Which is bigger: -3/11 or h?
-3/11
Suppose -78*f - 6*f - 21756 = 0. Is f less than or equal to -781/3?
False
Let l be (-10)/(-12) + 0 - (-468)/(-27). Are l and -17 unequal?
True
Let u = -1379 + 1375. Are 73 and u unequal?
True
Let s(h) = 10*h**2 + 49*h - 8. Let g(n) = -14*n + 6 - 3 + 17*n**2 - 2*n - 20*n**2. Let w(r) = 7*g(r) + 2*s(r). Let x be w(-15). Is x at least as big as -4?
False
Let w = 1663 + -1665. Is -23/36 at most as big as w?
False
Let k = 0.097 - 0.047. Does k = 0.01?
False
Let p = 0.19 + 0.81. Let i = -6 - -22. Let z = i - 24. Is z less than p?
True
Let g be (-36)/96*(-20)/15. Is 0.027 greater than or equal to g?
False
Let l = -6.9 - 8. Let t = l + 15. Which is smaller: t or -85?
-85
Suppose -a - 11 = 2*r, 3*r + 2*a - a = -18. Let z(o) = o**3 - 6*o**2 + 4*o + 2. Let p be z(4). Let j be p/r - (-14)/(-8). Which is smaller: 0 or j?
0
Let x = -98 + 107. Suppose -n = -3*l - 16, 3*n + x = -3*l - 3. Which is smaller: -26/5 or l?
-26/5
Suppose -10*l - 6328 = -828. Which is greater: -551 or l?
l
Suppose 1498 + 4287 = -13*o. Which is smaller: o or -444?
o
Suppose 3*f = -27 - 60. Are f and -29 non-equal?
False
Let y be (-4)/8 + (-48 - -49). Is y less than 656?
True
Let v be (-63)/(-126) + (-2595)/6. Are v and -432 unequal?
False
Let w = 22 - 21. Let v be -1*w - 247/(-39). Is 4 not equal to v?
True
Let t be (-26)/(-4)*51/(-9). Let m = 69/2 + t. Let k be (3 - -3)/3 + -3. Which is bigger: k or m?
k
Let w(n) = n**2 - 6*n - 9. Suppose 2*l - 6 = 8. Let r be w(l). Let h be ((-3)/(-9))/(r/4). Is h at least 0.1?
False
Suppose -6 = -0*f + 3*f. Let p be ((-20)/15)/(f/9). Is p > 5?
True
Let d = 16 + -12. Suppose -4 = g - 3*l, -5*g - 2*l = -4*g + d. Let o = 10 + -14. Is g > o?
False
Suppose -i = -4*i + 228. Is i > 75?
True
Let w = -1/9 - -11/72. Let l = 19 + -17.3. Let k = l - 2.7. Which is bigger: w or k?
w
Let t = 48/221 - -6986/2431. Let y = 41 + -39. Which is smaller: t or y?
y
Let m be 1 + 119 - (3 + -3). Let v = m + -1566/13. Let n(y) = -4*y. Let q be n(0). Is q smaller than v?
False
Let i = 68.5 + -70.2. Is i not equal to -6?
True
Suppose w = c - 0*w - 4, 5*c - w - 4 = 0. Is c greater than 3/19?
False
Let n be 40 - (-20)/(-6 - -2). Is n smaller than 1.1?
False
Suppose 0 = -5*s - 176 + 156. Which is smaller: s or 11?
s
Let x be ((-36)/144)/((-1)/4). Is -3/137 > x?
False
Let m = 79/40 + -1597/760. Do m and 0 have the same value?
False
Let b = 7605577/757 - 10047. Which is smaller: b or -1?
-1
Suppose -54*c = -19*c + 315. Which is bigger: c or -10?
c
Let j(x) = -3*x + 160. Let z be j(18). Which is smaller: z or 107?
z
Let w = -0.0544 - 0.0456. Let a = -0.1 - 0. Are w and a unequal?
False
Let z be 10/5 - (-224)/(-118). Which is bigger: -1 or z?
z
Let o = 2389 + -169627/71. Which is bigger: o or 0?
0
Let v(u) = u + 5. Let i be v(-5). Let b(l) = l + 2. Let d be b(i). Let c be -2 - (1 + 8/(-4)). Which is smaller: d or c?
c
Let c(g) = -445*g + 13. Let t be c(-1). Which is smaller: 459 or t?
t
Let r(h) = 5*h**2 + 7*h - 6. Let l be r(-2). Which is smaller: -2/2577 or l?
-2/2577
Suppose 0 = -5*j + m - 36, 4*m = -5*j - 0*m - 31. Do -8 and j have the same value?
False
Let x = -7508 - -97612/13. Suppose 3*j + 7 + 2 = 0. Let k = -1 - j. Do x and k have the same value?
False
Let t be -15 + 10 - (-12)/2. Is t < -3/53?
False
Let y = 9 - 32. Suppose 0 = -17*x - 8*x - 525. Which is smaller: y or x?
y
Let z = 290 + -290.3. Which is bigger: z or 0.125?
0.125
Let d be -1 - (-1 + 2/149). Is d less than 1?
True
Suppose -3 = -2*o - 5, 0 = g + 3*o + 4. Which is smaller: g or 1/717?
g
Let c be 1 + -1 - (-3)/28. Let y be ((0/(-1))/(64 + -65))/1. Is c equal to y?
False
Let m be ((-8)/(-5))/((-459)/(-5865)). Which is bigger: m or 20?
m
Let w = -6.669 + 6.7. Let y = w + -5.231. Let n = -5 - y. Is 0 at least n?
False
Let t be 17*4*4/16. Let v = t - 13. Let f be -2*v/(-8)*1. Does -1/2 = f?
False
Let s = -553 - -15485/28. Which is smaller: 1 or s?
s
Let h = 12 - 8. Suppose -18 + h = -o. Let j = o - 16. Which is smaller: -1 or j?
j
Let v = 174 + -175. Let b = 523/14 + -77/2. Is b at least as big as v?
False
Let q be (1 + 24/(-40))*(5 - 0). Is -8/93 at least q?
False
Let f(k) = k**3 + 6*k**2 + 3*k - 2. Let r = 22 + -12. Let x be ((-7)/2)/7*r. Let p be f(x). Is 20/3 not equal to p?
True
Let f be 58/((-30)/(-70) - 10/56). Is 231 at least as big as f?
False
Let w = -4 + 24/5. Which is greater: w or 1/3?
w
Suppose 0 = -191*r + 187*r - 48. Are 13 and r non-equal?
True
Suppose 0*r = 2*r - 2. Let w = -10 - -18. Let x be w/(-5) - (-12 + 10). Which is greater: r or x?
r
Let v be (3 - (-13)/(-3))*-3. Suppose 0 = 5*y - 5, -v*w + 20 = w + 5*y. Suppose -w*f = 2*i - 3 + 23, -4*i = 16. Is f equal to -5?
False
Let j be (-1)/5 + (-41)/(1025/570). Which is smaller: -45 or j?
-45
Let r = -290 + 289.9. Which is smaller: r or -440?