- (4 + (-33)/6). Let k = -2661 - t. Is -1 bigger than k?
False
Let k = -37796 - -191322/5. Is k equal to 0.1?
False
Let u be (2/4)/(-6 + 7122/1188). Let y be (-114)/(-22) - (-18)/u. Suppose -3*q + 5*z = 8 - 3, -4*z = -y*q - 4. Which is smaller: q or 2/59?
q
Let j(i) = -2*i**3 - 142*i**2 + 445*i + 121. Let q be j(-74). Let o = 2369/42 - 113/14. Are o and q nonequal?
True
Let b(a) = 4*a**2 - 33*a - 32. Let y be b(-1). Suppose -3*o = o + 2*r, o + 18 = -y*r. Let j = 411/244 + 4/61. Which is smaller: o or j?
j
Suppose 0 = -4*r, -121*r - 1 = y - 123*r. Is y equal to 12/655?
False
Let q(t) = 8*t - 3. Let f be q(16). Let u(b) = b**2 + 13*b - 2*b**2 + f - 137. Let c be u(8). Which is smaller: c or 26?
26
Let n = -4829 - -4807. Which is greater: n or 38?
38
Let z(u) = -u**3 + 2*u**2 + 43*u - 27. Let s be z(6). Does 89 = s?
False
Let f = -2.01 - -3.78. Let o = 1.47 - f. Which is bigger: 5.3 or o?
5.3
Let l = 2.1349 + -0.0349. Let o = 0.58 + l. Which is smaller: 1 or o?
1
Let s be 2/(-23) - 78*20/(-2070). Which is smaller: -4384 or s?
-4384
Let p(g) = -g**2 - 7*g - 1. Let h be p(-8). Let j be -2 + ((-5880)/(-968))/3. Let b = j + -2063/242. Is h equal to b?
False
Suppose -4*x + 11 + 14 = 21*x. Which is bigger: 1/2527 or x?
x
Suppose 2*v - 16 = -4*a, a + v = -4*a + 11. Which is greater: 100/89 or a?
100/89
Let v = -20031/5 + 4010. Let s be (-2 - -2)*(-3)/(-6). Let t = s - -4. Is v greater than t?
False
Let w be (-61 - -1)/(3 + (-576)/63). Which is smaller: w or 9?
9
Suppose 4*k = -2*n - 42, -63 = 744*k - 739*k + 4*n. Let s = 10.4 - 12. Is s equal to k?
False
Suppose 0 = 2*g - 5*t - 3, -14*g + 4 = -15*g - 3*t. Let b be (-11734)/8 + (-8)/32. Let o = b - -33747/23. Is g bigger than o?
False
Let y = -4707 - -5139. Is 432 equal to y?
True
Let y = -316/189 + -59/27. Which is smaller: y or -3?
y
Let f = 32.8206 + 0.0794. Let p = f + -21.9. Which is bigger: -5 or p?
p
Suppose -3*i - 308 = q, 0*q + 15 = -3*q. Let f be i/10 - (-1 + 10/(-20)). Which is smaller: -9 or f?
-9
Suppose -9*p + 11*p + 3456 = 0. Let o be 5/10 + (-6)/(p/(-150)). Let n(u) = u**2 - 5*u - 7. Let m be n(6). Is o >= m?
True
Let j = -324 - -564. Let k = -239.9 + j. Are k and 0.3 unequal?
True
Let a = 20120 + -20119. Which is bigger: a or 1537?
1537
Let n(r) = 5*r**2 - 9*r + 40. Let y be n(9). Let u be (8/154)/((-104)/y). Which is greater: 122 or u?
122
Let g = -4772.6 + 4773. Is 0.006 greater than g?
False
Suppose 1 = 3*k - 4*k. Let d be (-1444)/(-10) - 21/(-35). Let l = d - 92. Which is smaller: l or k?
k
Suppose 6 = -5*m - 19, 5*m + 60 = -5*v. Let t(u) = -u**3 - 9*u**2 - 23*u - 8. Let d be t(v). Is d > 1?
True
Let l be 0 - (1 + -4) - 3. Let x be (-6)/174*40/(-6)*3. Let k = -371/580 + x. Which is greater: k or l?
k
Suppose 1325 - 9116 = -4*b - 5*n, -4*n = 4. Which is smaller: 2 or b?
2
Let k = 44 + 42. Suppose 3*y = -k + 92. Is 20/19 > y?
False
Let g = -0.451 - -0.351. Is g equal to 4.23?
False
Let r(i) = 2*i**2 - 7*i - 16. Let u be r(10). Let k = u + -129. Is -16 > k?
False
Suppose 4*i + 110 = -6*i. Let d be (i - 60/(-2))*(1 - 0). Is 17 at least as big as d?
False
Suppose 5*l - 7 = 8. Suppose d = a + 5*d + 10, 0 = 5*a + l*d - 18. Let h = a + -1. Are h and 23/5 equal?
False
Let r = -0.03 - -0.0918. Let p be ((-8)/(-28))/((-144)/168). Is r bigger than p?
True
Let n = -539.47 - -539.5. Which is greater: n or -335?
n
Let c = 18/1879 + 1957864/5637. Is 348 at least c?
True
Suppose 0 = 2*a - 3 - 1. Suppose 0 = a*n - 2, -4*w - n = -13 - 4. Let v be w/6 - (-1)/3. Which is greater: v or -9?
v
Let q = 119 + -122. Let x be q - ((-777)/(-39))/(-7). Let o = 0.06 + 0.04. Which is bigger: x or o?
o
Let m be (-2 - -4) + 2 + -10. Let i = -0.9086 + 0.6086. Is m at most as big as i?
True
Let q = -633/280 + 79/40. Suppose -t - 544 = -99. Which is smaller: t or q?
t
Let p = 128 + -105. Suppose 6*x = 17 - p. Which is smaller: x or -3?
-3
Let t = -11042 + 11042.4. Suppose -3*w - w - u = -20, 24 = 2*w + 4*u. Suppose -3*a = -w*a. Which is smaller: a or t?
a
Let z(i) = 7*i + 1. Let x(m) = -20*m - 3. Let l(v) = 2*x(v) + 7*z(v). Let r be l(1). Let n = 256 + -247. Is n greater than or equal to r?
False
Let g = 3209 - 3026. Which is greater: 548/3 or g?
g
Let h(j) = 3954*j - 661. Let i be h(1). Which is smaller: 0.1 or i?
0.1
Suppose 7*j + 699 = -2857. Let c = j - -508. Is 23 at most c?
False
Let h = 332.8 - 329.8. Which is smaller: h or -2063?
-2063
Suppose -3*l + 10*c = 8*c + 2, -5*c + 5 = -3*l. Is l greater than or equal to -1/6040?
True
Let w = 6860 + -7325. Which is greater: -462 or w?
-462
Let i(o) = -4*o**3 + 328*o**2 - 1590*o + 22. Let w be i(5). Suppose -3*s - 681 = -0*x - 2*x, -2*s - 3*x = 454. Is w greater than or equal to s?
False
Let w = 2772 + -2772.2. Which is bigger: 1.518 or w?
1.518
Suppose 13*b - 6*b + 2212 = 0. Let z = -305 - b. Is z at most as big as -5?
False
Let x(r) = r**3 + 7*r**2 + 11*r + 36. Let f(s) = 2*s**3 + 14*s**2 + 23*s + 73. Let b(c) = 3*f(c) - 7*x(c). Let i be b(-9). Is i at most 202?
True
Let c(m) = -5*m + 23. Let w be c(-15). Let r be -2*(1/(-7))/((-28)/w). Which is smaller: -24/11 or r?
-24/11
Let w(p) = p**2 + 0 + 11 + 17*p + 1 + 3. Let i be w(-16). Let g be (-3)/2*((-161)/(-27) - 6). Which is bigger: i or g?
g
Let f = 118 + -122. Is 26/35 less than or equal to f?
False
Let d = 3/146282 - -29548595/17992686. Let n = d + 1/41. Are -5 and n equal?
False
Let p = 9.82 - 9.62. Is p equal to -717?
False
Suppose 925 = 2*c + 5*z, 0 = -30*c + 29*c + 5*z + 440. Let y = c - 424. Which is smaller: y or 125/4?
y
Let v be (-1)/(-2) + (-2)/(-4). Let l = 2/10839 + 21172/2742267. Does v = l?
False
Suppose 3*h + 428 = 7*h. Let m = h - 139. Which is smaller: m or -34?
-34
Let m = -7206 + 7583. Is 373 equal to m?
False
Suppose -21 = -2*p + 7. Suppose -f + n + 35 = 2*f, -f + 4*n = 3. Which is bigger: p or f?
p
Suppose 6 + 4 = 2*v. Suppose p = -3*o + 7*o - 1, -v*o + 3 = -3*p. Let q be (-6 + -4)/((-28)/(616/(-198))). Is p not equal to q?
True
Suppose -13088 = -106*w - 4607 + 19185. Which is smaller: 257 or w?
257
Let f be (-1)/((-365)/(-90) - 4). Let c be (-1)/(5/f) - (-1 + 5). Is -0.22 greater than or equal to c?
True
Let t(v) = -112*v**2 + 51*v - 3. Let m(w) = -8*w + 1. Let l(s) = -6*m(s) - t(s). Let u be l(-1). Is u not equal to 112?
False
Suppose -i = 4*b + 50, 2*i + 3*b + 88 = -2*b. Let o = 36 + i. Let u be o*((-3)/2 + 1). Which is smaller: u or 1/63?
u
Let t = -220.0545 + 0.0545. Let f = 220.1 + t. Let h be (132/40)/(-11)*-6. Is h < f?
False
Suppose p - 1517 - 1843 = 0. Let a be 5*(p/(-33))/(-5). Let x = a - 102. Is -1 bigger than x?
False
Let f = -42.093 + 0.093. Let a = f + 95. Let t = 52.64 - a. Which is bigger: 2/7 or t?
2/7
Suppose 15 + 7 = 5*k - 38. Which is smaller: k or 253/20?
k
Let r = 1/6030 - 48259/114570. Which is bigger: -0.09 or r?
-0.09
Let m = -54 - -54. Suppose m = -5*c + 9 + 1, 3*w + 2*c + 530 = 0. Let b = 4805/27 + w. Is b at most -0.1?
False
Let r(q) = -q**3 - 6*q**2 - 4*q + 4. Let w be r(-4). Let l be (16/224)/(w/(-3227)). Let k = 58/3 - l. Are 0 and k nonequal?
True
Let g = 341 + -338. Suppose r + 3 = 3*h - 8, r - h = -g. Which is greater: 5/316 or r?
r
Suppose -3*p - 554 + 356 = 3*s, 0 = -5*p + 30. Is -62 < s?
False
Let h = 1 + -0.6. Let a = h - 0.7. Let k be (-158)/48 + 2142/(-5712). Which is bigger: a or k?
a
Let c = 1433 + -98894/69. Which is greater: 1 or c?
1
Let y(b) = -b**3 + b**2 - 161. Suppose 0*t + t = o + 5, -3*o - 25 = -5*t. Let u be y(o). Let j = -309/2 - u. Do j and 8 have different values?
True
Suppose 102*y - 83*y = -19. Suppose 0 = 3*l - 3*t + 4 - 13, -12 = 3*l + 4*t. Let b = y + l. Is 21 greater than b?
True
Let v be 24/(-5)*-3*5/3. Let f = 1 + v. Suppose -4*w = -3*r - f + 5, 0 = 2*r - w + 5. Which is bigger: 2/59 or r?
2/59
Suppose 0 = -m + 5*n - n - 7, -5*n + 10 = 0. Let g be ((-27)/(-15) - 2) + (-6958)/(-15190). Is m at least as big as g?
True
Suppose 0 = -116*z + 28857 + 29839. Which is greater: 1 or z?
z
Suppose -6 = -3*w, 4*w = o + 5156 - 5147. Let l = -418 + 12957/31. Is l smaller than o?
False
Let c(s) = 792*s**3 + 2*s**2 - 2*s - 4. Let r be c(-1). Let i = 17427/22 + r. Suppose -6*u - 3 = -3*u. Which is smaller: i or u?
u
Let y(q) = -5*q**2 - 7*q - 22. Let z be y(-4). Let l = z + 72. Let g be l/(-9)*(9 - 0). Which is smaller: -3 or g?
-3
Let g = 1303 