ter than q?
True
Let g = -2143 - -2300. Which is greater: g or 786/5?
786/5
Let i be (-4)/38 - (-645242)/17347. Which is greater: i or 38?
38
Let t = 24122 + -24127. Let h be 8/15 - 8/20. Which is bigger: h or t?
h
Let c = -32 + 41. Suppose 5*o = c*o + 3040. Let a = o - -8378/11. Is a at least 1?
True
Let d be ((-4)/(-6))/((76/228)/(1/(-2))). Let z = -149/63 - -11/9. Which is bigger: z or d?
d
Let s be (-22)/(-3)*24/16. Let a = 21.187 + -11.187. Do s and a have the same value?
False
Let k = 731 - 612.1. Let j = 119 - k. Which is smaller: -0.096 or j?
-0.096
Let k = 1.0527 - 0.4327. Is -2 at least as big as k?
False
Let k = 36656 + -36658. Which is greater: k or 6867?
6867
Suppose 3*t - 4 = 2*h + 6, -3*h - 10 = -2*t. Suppose 11*a - 5 = f + 7*a, 0 = 2*f + t*a. Which is smaller: f or 6/31?
f
Suppose 0 = 6*k - 206 - 28. Suppose -k*y = -33*y. Let x = 877/4 + -217. Do y and x have different values?
True
Let a = -97.05 + 94.05. Which is bigger: 2/499 or a?
2/499
Suppose 6*o - 971 = -1331. Which is bigger: -54 or o?
-54
Suppose 6*u - 44 + 32 = 0. Let m(o) = -5 - 17*o + o**2 + 4*o**u - 6*o**2. Let i be m(-12). Is 55 at least as big as i?
True
Let t = 3538 - 3538.5. Which is smaller: t or -110/7?
-110/7
Let y be 7/3 - 1804/462. Suppose -5 = -5*z + 10*z. Which is greater: y or z?
z
Suppose -533*b - 26934 = -131*b. Does b = 77?
False
Let o = 383 - 339. Suppose -4*n = j - 2, -47*n + o*n - 3*j + 6 = 0. Which is greater: -3/133 or n?
n
Let p be 6/(-4)*(20/915)/1. Which is smaller: p or -1/15?
-1/15
Let p be -2 + 1*(1 + -182). Let t = -74.68 - -74.68. Are p and t equal?
False
Suppose -35522 = -809*c + 807*c - 4*z, c = 8*z + 17751. Is c equal to 17759?
True
Let k = 269 + -186. Suppose -h + 6*h - 106 = 2*a, a = 4*h - k. Let z be (-6)/(-10)*(h + -8). Which is smaller: 6 or z?
6
Let m be (10/45)/(3/27). Let i be -2 + 43 + m - -5. Which is smaller: i or 143/3?
143/3
Let m = 739/94 - 33651655/4280478. Which is greater: m or 1?
1
Let n be (-95)/(-15) + 6 + -12. Which is smaller: n or -690?
-690
Suppose 1 - 17 = 8*z. Let x be ((-12)/z)/((-20)/(-30)). Let q(b) = b**2 - 11*b + 6. Let v be q(x). Is v greater than -12?
False
Let f = 151 + -672. Let h = -492 - f. Let z be (-2 - -1)/((-2)/54). Which is smaller: h or z?
z
Suppose -2783 + 3316 = 41*l. Let q = -1 + 17. Let o be (q + -1)/(4 + -3). Is l >= o?
False
Suppose 4*d = 2*n - 230, 4*n = n - 5*d + 345. Let h = -60 + n. Suppose -25*v = v + 21*v - 2585. Is h smaller than v?
False
Let d(y) = -y**3 + 36*y**2 + 23*y + 544. Let j be d(28). Is j at least 7459?
True
Let q = 0.41024 + 0.24976. Let g(n) be the first derivative of -n**4/4 - n**3 + 2*n**2 - n - 2. Let k be g(-4). Which is bigger: k or q?
q
Let p(b) = -15*b + 35. Let r be p(2). Let y(n) = 5*n - 29. Let l be y(r). Is 10 less than or equal to l?
False
Let c(p) = p**3 + 7*p**2 - 8*p + 21. Let w be c(-8). Let g be ((-5)/15)/(-1 + (-7)/(-6)). Let d be g/(-5) - 422*4/(-80). Which is bigger: d or w?
d
Let g = 22.5 + -26.5. Is -730 less than g?
True
Let s(a) = -a**2 - 62*a - 294. Let w be s(-56). Is -2 bigger than w?
False
Let a = 1714/21 - 1153480/14133. Let z = a - -18838/2019. Is 9 > z?
False
Let b = 103 + -182. Let m = b + 81. Is 60 bigger than m?
True
Suppose 2*p + 2 = 18. Suppose a - 15*i + 16*i = 134, -406 = -3*a + i. Suppose -15*q + 42*q - a = 0. Is q less than or equal to p?
True
Let v = 4293/8 - 537. Is v > -4.4?
True
Let r = 21.2 + -291.1. Let a = r + 270. Which is smaller: -1/2 or a?
-1/2
Let y be (-10 - 4/2)/((-3)/((-42)/4)). Which is smaller: y or -114?
-114
Let w be 2 + 15/(-3) + 5. Suppose 344 = 2*f - 4*r + 104, -f = w*r - 112. Which is greater: 117 or f?
117
Let l(x) = -x**2 - 16*x - 84. Let u be l(-9). Let o be -169 - (u/7 + -4). Is -163 at least o?
False
Suppose -13*m - 4503 = 2*d - 18*m, -4*m = -4*d - 9012. Is -2250 less than or equal to d?
False
Let i = -11.05402 - -0.05402. Does i = -0.015?
False
Suppose -133024 = 8*w + 4152. Let f = -274439/16 - w. Which is greater: f or -4?
-4
Let l be 31 - (-4)/(-1)*1. Suppose -13*a + 14*a + l = 0. Let g = -54 - -30. Which is bigger: g or a?
g
Let c = -4978 - -4138. Which is smaller: -843 or c?
-843
Let u be (20/8 + -2)*0. Suppose -10*m - 7 + 7 = u. Let f be ((-2)/4 - m) + 1/4. Which is greater: -36 or f?
f
Suppose 0*y - 3*y = 0. Let a be -8 + 3216/(-16)*9/(-234). Is a less than or equal to y?
True
Let d(h) = 75*h + 603. Let i be d(10). Does i = 1353?
True
Let u(b) = b**3 + 23*b**2 + 37*b + 110. Let l be u(-22). Suppose -q - 3*q - 884 = 0. Is q at least as big as l?
False
Let s be 2*45/(-20)*-102. Let g be (-52836)/s + 2/18. Which is bigger: g or -117?
g
Let j = 466 - 391.7. Let o = 68.91 - -5.09. Let w = j - o. Is 0.08 less than or equal to w?
True
Suppose 19*k = 28 + 10. Let a be (8 - 6) + (-188)/k. Are a and 2/7 nonequal?
True
Let q(a) = a**2 - 135*a + 1430. Let r be q(8). Is r greater than 3319/8?
False
Let l be -1*((-30)/(-12) - 4)*32. Let s = l - 26. Let h = -23 + 44. Which is bigger: s or h?
s
Let q be (-2)/(-3)*((-254950)/20 + 23). Is q equal to -8482?
False
Let c = -0.0585 + -48.7415. Let x = -46.8 - c. Which is greater: 18.3 or x?
18.3
Suppose 3*p + 6 = t + 19, -2*p + 6 = 0. Suppose 0 = 5*y - 3*n - 5232, -2*y + 52*n + 2104 = 48*n. Let m be t/(-16) + (-253)/y. Are -1 and m unequal?
True
Let d = 1800 + -1677. Which is smaller: 121 or d?
121
Let c = -9.958 + 10.258. Which is greater: -1354 or c?
c
Suppose -17 = 160*q - 165*q + 3*u, -5*q + 9 = -u. Let t(w) = 2*w - 3. Let p be t(7). Let m = p + 1. Is m smaller than q?
False
Let c = -470312 + 5168112/11. Is -485 != c?
True
Let b be (213/4)/((-7875)/(-780) + -9). Which is smaller: 49 or b?
b
Let u = -108165901/6477 - -16700. Is 0 equal to u?
False
Suppose -5*o - 4336 = 4*m, -5*m + o - 3978 = 1413. Let z = m - -1551. Let b be (3/(1 + 5))/((-2)/z). Which is bigger: -119 or b?
b
Suppose 1377 = 146*k + 7*k. Is 79 bigger than k?
True
Suppose -10*j + 12 = -38. Suppose 154 = j*f + 269. Which is greater: f or -24?
f
Let z = -52731 + 52784.7116. Let f = -0.0884 - z. Which is bigger: f or 1?
1
Let p = 719.6 + -620. Let c = p + -99. Are 0 and c equal?
False
Let h = -147640168856/3891 - -37944017. Let d = 2/1297 + h. Is d > -0.0132?
True
Suppose 2*j - 311 = -3*o + 282, 3*j + 633 = 3*o. Is o at most as big as 236?
True
Let x(c) = c**3 + 15*c**2 + 14*c - 16. Let s be x(-14). Let q be (-292)/(-6) - s/(-24) - 3. Suppose -2*t - 5*g = -5*t + 102, -t = 2*g - q. Is t smaller than 39?
False
Let y be 3/2*12*(-80)/(-45). Let h = y + -38. Let a(k) = k + 3. Let b be a(-8). Is h equal to b?
False
Let s(d) = -13*d + 64. Let o be s(5). Is o at least 3/824?
False
Let k = 14 - 8. Let c be 9*((-39)/(-9) - 4). Suppose -3*p = -2*n + k*n - 61, c*p - 73 = 2*n. Is p equal to 24?
False
Suppose -30*y - 33 = -63. Let w be (-20)/(-15)*(100 - -2). Let u be ((-2)/w)/(2/4). Is u greater than y?
False
Let i = -123.64 + 120. Let d = -0.36 + i. Let a = d - -1. Is a at least -3?
True
Suppose 12*v = 2053 + 1283. Which is smaller: v or 279?
v
Let t be (-35)/((-31500)/(-1891760)) + 4/(-90). Is -2104 at most t?
True
Let p be 1*582*416/1560*(-6)/8. Which is bigger: -115 or p?
-115
Let a(n) = 15*n - 6. Let i be a(4). Suppose -6*p + i = -54. Suppose p = -2*v + 5*v. Which is smaller: 4 or v?
4
Let p = -24115 + 48113/2. Does p = -59?
False
Suppose -9987 - 7728 = 18*j + 717. Which is greater: -0.4 or j?
-0.4
Let o = -48.93 - -9.93. Let k be ((-371)/42 - -9)*8/(-2). Which is smaller: o or k?
o
Let t = -2903 - -2904. Which is smaller: t or 958?
t
Suppose -7*l - 1311 = -170. Which is smaller: l or 44?
l
Suppose 2*r + r + 5*w = 23, -5*r - 5*w + 25 = 0. Let d be (r/56)/((-4)/1032). Let q = d - -27/7. Is q at most as big as -1?
False
Let q = -106 - -313/3. Let k = -2841 + 2839. Which is bigger: k or q?
q
Let k = 34788.993 - 34766. Let o = 23 - k. Let r = 4 - 3. Which is smaller: o or r?
o
Let y = -98 - -154. Let z = 87 - 84. Suppose 0 = -59*x + y*x - z. Is x smaller than -5?
False
Suppose 3*l = -r + 3395, -2*l - 3375 = -3*r + 2*r. Suppose 0 = 19*a - 1217 + r. Is -114 < a?
False
Let l be ((-4)/(-10))/(53/53). Is l < 8229?
True
Suppose -10*p = -p - 432. Let y be (-8)/(-3)*12/p. Let s be (-24)/(-390) - 4/(-10). Which is bigger: y or s?
y
Let p(i) = i**3 + 7*i**2 - 5*i - 39. Let s be p(-7). Are -31 and s non-equal?
True
Let