 be (-5)/60 - (-2)/6. Let s = -153 - -162. Let u be (((-70)/4)/5)/(s/6). Do u and m have the same value?
False
Let i = -71.481 - 1.519. Let a = -82 + 81. Is i bigger than a?
False
Let o be (-5760)/(-3) - 174/87. Which is greater: 1920 or o?
1920
Let r = -114.64 - -2.64. Let f = 45861 - 45860. Which is greater: f or r?
f
Let o = -0.3418 + -96.6582. Is o < 0.3?
True
Let k = -2.3 + 31.9. Let d = k - 21. Let v = -4.4 - d. Which is smaller: v or -2/13?
v
Let r be -1 + 4 - 72/32. Let n = -18293/134 - -1/67. Let z = 137 + n. Which is greater: r or z?
r
Let f(v) = -v**2 + 4*v - 1. Let w = -33 + 36. Let s be f(w). Suppose 4*m - 3*y - 8 = 41, -s*m = -y - 27. Does m = 18?
False
Suppose 3*a = 19*s - 23*s - 379, 238 = -2*a + s. Let t = -59 - a. Is 61 smaller than t?
True
Suppose 0 = -3*n + 11*g - 7*g + 17, -31 = -5*n + 4*g. Is n greater than 171?
False
Let t = 1619.800504 + 1.226496. Let y = -1620 + t. Let f = 0.027 - y. Do f and -36 have different values?
True
Suppose 7*q - 168 = 10*q + w, -5*w = 5*q + 290. Suppose 4*x = 5*r + 29, 3*x - 5*r - 28 = -0*x. Let l be (-3052)/56 - x/(-2). Are q and l nonequal?
True
Let u = 31280 + -31276.3. Which is smaller: -2/163 or u?
-2/163
Let q be (-122)/(-4) - (-630 + 660). Let y = 299/11285 + -14/185. Is q smaller than y?
False
Let a = -50 - -39. Suppose -i + 72 = 2*i. Let v = a + i. Which is smaller: 14 or v?
v
Suppose 118*q - 27*q + 63 = -28. Are q and -4/563 unequal?
True
Let b(z) = -z**2 + 5*z + 1. Let t be b(5). Let i = 2/1803 + -1013/371418. Let k = i - -1033/1854. Is t at most k?
False
Let f = -5614 - -5670. Let q = 24.9 - 25. Do q and f have different values?
True
Let k(d) = 3229*d + 18. Let n be k(3). Suppose 4*s - n = -3305. Let b be s/(-4656) - (-1)/3. Which is smaller: 1 or b?
b
Let x be (205/(-30) - -7) + (-19)/(-54). Let q = x + 28/27. Let i(a) = -a**2 + 12*a - 8. Let p be i(11). Which is bigger: p or q?
p
Let t = 5505 + -5505. Which is greater: -1.31 or t?
t
Let y = -335 - -170. Let a = -165 - y. Which is bigger: a or 49?
49
Let y = 126 - 66. Let x = 68.06 - 1.06. Let h = x - y. Is -0.03 at least h?
False
Suppose 0 = 2*a + 3*d + 4 - 5, 2*a + 4*d = 0. Suppose 0 = -v - v - a. Which is greater: 3/62 or v?
3/62
Let o = -2598 - -2598. Which is bigger: o or -3/3602?
o
Suppose -g - 2*m = 65, -7 = 4*m - 3. Suppose 5*f = 4*v + 267, -205 = -3*f + 145*v - 149*v. Let b be 14/g + f/144. Which is greater: -1 or b?
b
Suppose -p + 4*p + 2*v = -22, -p = 5*v + 29. Let g be (52/(-9) - p) + (-6)/27. Let f be (-10)/(-35) + 36/21 + g. Is f >= -2/243?
True
Let v(z) = -9*z**3 - 10*z**2 - 30*z + 193. Let t be v(-5). Is 1221 greater than or equal to t?
True
Let v(z) = 2*z**2 + 16*z - 16. Let b be v(-9). Let l be b/(-8) + 49/(-28). Do -7/10 and l have different values?
True
Let y = -287 + 464. Which is greater: 532/3 or y?
532/3
Let q be ((-135)/36)/5 + 1/352*266. Let a = 0 - 0. Which is smaller: a or q?
a
Let y(n) = n**2 + 7*n - 13. Let l = 29 + -20. Suppose 2*t - l = -2*t - 3*i, -25 = -5*t - i. Let f be y(t). Which is greater: 66 or f?
66
Suppose 4*s - 2237 = -3*o, -2389 = -4*o - 2*s + 587. Which is greater: 3 or o?
o
Let v be (-2)/(94/46 - 96/1104). Which is smaller: v or -1?
v
Let y be (-10 + (-232)/(-24))/((-3)/((-27)/1527)). Which is smaller: -1 or y?
-1
Let x = 27590 + -27589.5. Which is greater: x or -803?
x
Let l(t) = 31 - 2*t + 10 - 103 + 26. Let v be l(-9). Suppose 2*a = -2*a - 76. Which is smaller: a or v?
a
Let w = 8052 - 8057. Which is smaller: w or 437?
w
Let k(a) = -23 + 250*a + 258*a - 425*a. Let m be k(-1). Is m bigger than -106?
False
Let h = -8740/11 + 796. Let l be (-8)/44 - 65/(-55). Which is smaller: l or h?
l
Let d be (-6)/(-15)*((-40)/16)/(-1). Which is bigger: -3/2465 or d?
d
Let s be ((-8)/8*-43)/(2431/13). Which is smaller: 1 or s?
s
Let d be ((-378)/4)/(5031/(-516)). Which is bigger: 9 or d?
d
Let f be (-76)/(-4) - (-6)/(-2). Suppose -3*r - f = -139. Let x be (r/123)/((-1 + 0)/3). Which is smaller: 12 or x?
x
Let g be (2/(8/26) - 3) + 27885/(-4730). Which is smaller: -2 or g?
g
Suppose 11388300 = -194*w + 789*w. Is 19140 at least w?
True
Let c = -1305 - -1298. Is -0.3 < c?
False
Let z be ((-4)/(-2))/(1 - -1). Let m be 19/(-380)*(-25)/(-190). Is m smaller than z?
True
Let t(c) = -63*c - 2439. Let b be t(-38). Is -84 greater than b?
False
Let w = -46574 - -8569655/184. Are w and -1 non-equal?
True
Suppose 48 + 458 = -56*y + 10*y. Which is smaller: y or -9?
y
Let n be (86884/(-560))/((-24)/10 + 2). Let x = n + -388. Is x >= -9?
True
Let u = -647.148 + 595.3. Let j = u - -52. Let m = j + 0.048. Is 5 >= m?
True
Let t(v) = 1. Let i(l) = -l + 1. Let f(o) = 3*i(o) + t(o). Let h be f(-2). Let n be (-32)/h*60/(-108). Which is bigger: 1 or n?
n
Let r be (-15)/3 + (12 - 9). Let u be (-7 - -8 - 5)*r/50. Do 3 and u have the same value?
False
Let j = 0 + 0.2. Let z = 130.937 - 141.9604. Let h = 0.0234 + z. Does j = h?
False
Let h = 66 - 64. Let k(m) = m**h - 19*m - 2 + 4 + 10 + 2. Let d be k(18). Which is smaller: d or 2/13?
d
Suppose 24*k = 22*k + 6. Suppose 0 + 6 = -2*l + 2*b, -l - b - k = 0. Let w be (-6*l/45)/((-1)/5). Which is greater: w or -8/7?
-8/7
Let r = -9 + 20. Suppose r*y = -509 - 184. Let d be (1 + 1 + y)*(-46)/46. Is d less than or equal to 60?
False
Let i(d) = d**3 - 16*d**2 - 9*d + 2. Let r(t) = -t**3 - t**2 - t + 1. Let a(l) = -i(l) + r(l). Let b = 18 - 10. Let s be a(b). Which is smaller: 5/13 or s?
s
Suppose 4*z - 2*z = 8. Suppose -k - z = -5. Let b = 8.16 + -8.56. Which is bigger: b or k?
k
Suppose -4*w + 401*q - 396*q - 65 = 0, -3*q = -2*w - 33. Is -92 <= w?
True
Let y(w) = w**2 + 7*w + 7. Let f be y(-14). Let x be f/(-63) - (-400)/(-3). Is x smaller than -133?
True
Let m be (0/(-1) - -386) + -60 + -62 + 130. Which is bigger: m or 382?
m
Let f be ((-1)/2)/((-4)/8). Let b(u) = -u - u - 9*u + f - u**2 - 3*u. Let k be b(-11). Is k at most as big as 34?
True
Suppose -20 = c - 5*c. Suppose 0 = 7*l - c*l + 8. Let k be 24/20 - 2/((-40)/l). Which is greater: 5/11 or k?
k
Let y be 25/1 + 15/(-15). Suppose -3 - y = n. Is -24 equal to n?
False
Let u = 205/253661 - -1537805679/488297425. Let y = 4/21 + -10/3. Let l = y + u. Is l not equal to -1?
True
Let m(b) = b**3 + 24*b**2 + 42*b - 34. Let f be m(-22). Let x be 0 + f/(-15)*1*3. Is -0.7 at least as big as x?
True
Suppose 0 = 4*h + 12, 6*s - 14 = 4*s - 2*h. Let j(m) = -m**3 + 9*m**2 + 8*m + 22. Let q be j(s). Let u be 55/(-22) - (-1)/q. Is -7 not equal to u?
True
Let l = -4268 - -4268. Which is greater: l or 22/215?
22/215
Let a = -94 + 94.018. Let p = a + 0.382. Which is smaller: p or -4?
-4
Let j be (1 - 4) + 5 + 224/14. Let w(i) = 12*i - 69. Let a be w(j). Is a at most as big as 148?
True
Let q be 2 + -6 + -9 + 28 + -8. Suppose 393 = -f + 155. Let z = f + 1471/6. Which is bigger: z or q?
z
Let l(b) = 1016*b - 4065. Let g be l(4). Is 1/10353 at least g?
True
Let z = 580 - 248. Let x = 332.2 - z. Is 46 <= x?
False
Let n = 5852 + -5851. Do 7/472 and n have the same value?
False
Let m = 242127799/47321175 + -333/34975. Let d = m + -56/11. Is d != 0?
True
Suppose -q - 868 = -3*r - 876, -2*q - 3*r - 11 = 0. Which is greater: q or 48/205?
48/205
Let t be (49/(-42) - 1/(-6)) + 52. Suppose -t = -w - 61. Is -10 bigger than w?
False
Let g be ((-190)/(-100))/(-1)*-15*1/(-24). Do 1/12 and g have the same value?
False
Suppose -19620 = -99*g - 10*g. Which is smaller: 173 or g?
173
Let b be (6171/(-242))/((-3)/58). Which is bigger: 494 or b?
494
Suppose 2*c - 26 = -4*j, j = 5*c - 4*c - 4. Suppose 3 = -c*d + 38. Which is bigger: 12 or d?
12
Let q(w) = -2*w - 27. Let t(z) = -z**2 - z + 14. Let s(c) = -7*c**3 + c**2 + 2*c - 2. Let g be s(1). Let u be t(g). Let o be q(u). Which is bigger: 4 or o?
o
Suppose 41*j - 37*j = 2*s - 64, -5*s = 7*j + 44. Which is smaller: -27 or j?
-27
Suppose 0 = i + 12 - 6, 2*i = -4*c - 16. Let u be 10/(-44)*2 + 0. Are c and u nonequal?
True
Let m = -101 - -106. Let b(p) = p + 1. Let g(u) = -u - 2. Let h(q) = 6*b(q) + 5*g(q). Let n be h(m). Is n greater than -10?
True
Let s = 2488 + -1311. Suppose -s = -10*v - v. Is v not equal to 108?
True
Let a = -3 + 2. Suppose -3740 = -4*o - 0*o + 4*v, 12 = -3*v. Let m = o - 23272/25. Which is smaller: m or a?
a
Let i(c) = -65*c + 1282. Let k be i(20). Which is smaller: k or -3?
k
Let t be (-681601)/256 