
Let g = -62384374/134565 - -8/26913. Which is greater: g or -464?
g
Suppose -3*v - 15 = -8*v. Suppose 10 = 1185*i - 1183*i. Suppose 3*z = 4*c + 5*z - 6, -v*z = i*c - 9. Which is smaller: c or 1/34?
c
Let y = 51424/3 + -16720. Let x = y - 376. Which is smaller: 45 or x?
45
Let q(l) = 2*l**2 + 26*l + 47. Let b be q(-2). Suppose u - 2*z + b = 2*z, -5*z = 3*u - 42. Let w(h) = -h**3 - h + 12. Let y be w(0). Is y at least as big as u?
True
Suppose 241*m = 223*m - 65610. Let s = m + 1082566/297. Which is smaller: 0 or s?
0
Suppose 0*d = -d + 40. Let z = 28 - d. Let s be (-9)/z - 1 - 2/(-8). Which is smaller: -11/8 or s?
-11/8
Suppose 0 = 90*l - 46*l - 45*l + 296. Is 298 bigger than l?
True
Let o = 285 + -45894/161. Let n = 1647/3542 + o. Which is smaller: 0 or n?
0
Let z = -1359382/103354313 + 72/5519. Is z bigger than -1?
True
Let b = 3/66140 - -2113627/62899140. Is b at most -1?
False
Suppose 0 = 5*s + 5, 3*b - 8*s + 13*s - 28 = 0. Let i(v) = -12*v + 347. Let z be i(b). Is 214 at least z?
False
Let k be (-3)/2*(2 + (-122)/18). Let y = 8 - k. Which is greater: -3 or y?
y
Let n = 8089/3 + -2697. Do n and -1561 have different values?
True
Suppose 11*j = 15*j - 572. Suppose y + 40 = -4*f, 0 = -0*y + 5*y + f + j. Let a = 27 + y. Do a and -1/6 have different values?
True
Suppose 0 = 2*f + 10, 9 = -2*o + 4*f + 27. Which is bigger: 11.18 or o?
11.18
Let x = 3 + -3. Let q = 1107927/6526 + -2207/13. Which is greater: x or q?
q
Suppose 4*g = -4*x + 48, 3*g - 21 = -3*x + 5*x. Suppose g = -3*l, -2*k - 25 = 7*l - 2*l. Let w be 4 + 0 - (-17)/k. Is w greater than or equal to -2/5?
True
Let g = -307.34 - -311. Let f = 1.34 + g. Let z(w) = w**2 - 9*w + 1. Let v be z(9). Are v and f equal?
False
Let x be (-96407)/(-102) - ((-10)/45 + (-5)/18). Is x less than 945?
False
Let q = -300 + 311. Let b(h) = 2*h**3 - 22*h**2 - 2*h + 25. Let j be b(q). Suppose -g = -4*k + 3*k, -3*g = -5*k + 4. Which is bigger: k or j?
j
Let l = 1014 - 1010. Let g(k) = -k**2 - 6*k - 1. Let x be g(-4). Let n(u) = u**3 - 6*u**2 - 7*u + 4. Let w be n(x). Do w and l have the same value?
True
Let z = -1.21 + 65.21. Let q = -673.9 - -738. Let l = q - z. Which is smaller: l or 31?
l
Let h = -5281 - -5377. Which is smaller: 771/8 or h?
h
Let j = -178 - -198. Let n be -1 + (j/(-50))/(2/(-3)). Which is smaller: -0.48 or n?
-0.48
Let m = -568.342 + 0.342. Let k = m - -594.9. Let z = 27 - k. Is z greater than 60?
False
Let t = -0.0588 + 2.9488. Let r = t + -5.49. Is r <= 2/5?
True
Suppose -1826 = 5*d - 4*o, 9*o = 5*d + 10*o + 1831. Do -366 and d have the same value?
True
Let f(p) = -p**2 + 9*p - 6. Let i be f(8). Suppose s + 0*s + 24 = -5*d, 0 = -i*d - 4. Suppose a - 4 + 8 = 0, -a = -t - 7. Which is smaller: s or t?
s
Let l be (6/87)/((-17270)/3768). Is l at least -1?
True
Let x(k) = -440*k**2 - 3*k + 3. Let d be x(1). Let f = d - -433. Which is smaller: f or 0.14?
f
Let j be 2 + (-5)/(5/2). Suppose -5*p + 40 = -5*s, p - 25*s - 9 = -23*s. Suppose -4*x + 4*i + 9 = -p*x, 5*i = 0. Which is smaller: j or x?
x
Let j(c) = 4*c**3 - 20*c**2 + 20*c. Let w(v) = -7*v**3 + 38*v**2 - 39*v. Let a(i) = -11*j(i) - 6*w(i). Let u be a(5). Are -380 and u unequal?
False
Let z = -43433/135 + 2131/27. Let m = z + 243. Which is greater: -67 or m?
m
Let o be ((-587404)/655)/(2/(-5)). Which is bigger: 2243 or o?
2243
Let o = -8709 + 8840. Which is greater: 46 or o?
o
Let j = 2059 + -2059. Which is bigger: -6/293 or j?
j
Let c = 1576 - 1568. Are 47 and c unequal?
True
Let v be (-1 - -2)*0 + 1. Let t = 1306/23 - 284/5. Let z = t + -13/575. Which is bigger: z or v?
v
Let k be 15/40*(-18)/(-4). Let n = 3038/19 + -9095/57. Which is smaller: k or n?
n
Let k = -1.332 - 589.668. Let c = k + 592. Is 3/124 < c?
True
Let t = 7857 - 7814. Which is smaller: t or 37?
37
Let b be (516144/(-1160838))/(-2) + 6/(-27). Let w = 41796/12876703 + b. Is w smaller than 0?
False
Let n(d) = 3*d + 23. Let h be n(-19). Let z = h + 33. Let l = 74 - 445/6. Is l >= z?
True
Suppose p + 234 = -m - 4*p, 0 = 4*m - 3*p + 821. Suppose -325*g = -253*g + 15048. Is m at most as big as g?
True
Suppose 5802 = -4*w - i, 2*i + 1180 = -w - 281. Which is bigger: -10144/7 or w?
w
Suppose -479*q + 481*q - d = -45, -43 = 2*q - 3*d. Let u = -74365/7 + 10601. Is u equal to q?
False
Let j be ((-896)/(-800))/(1/(-95)). Is -105 bigger than j?
True
Let g be 14 + ((-112)/7 - -3457). Which is smaller: g or 3456?
g
Suppose -3*r = -2*d + 326, 3*d - 2*d + r - 153 = 0. Suppose 61 = h - 3*f - f, 3*h + f = d. Suppose 2 = x + h. Which is smaller: -52 or x?
-52
Let s = 3204087/383172164 + 4117/33389. Let o = s + -9/76. Is 1 equal to o?
False
Let r be (2/5)/(7/70). Suppose 2*v - 2*b = -1 + 5, -3*v + r = -4*b. Suppose 0 = -v*f - 11 - 33. Which is smaller: f or -23/2?
-23/2
Let c be 5*-6*329/(-14). Let g = c + -706. Is g smaller than -27/25?
False
Let i(s) = -13 - 928*s**2 + 458*s**2 + 4*s + 457*s**2. Let j be i(-4). Is j smaller than -237?
False
Let w = -30.735 + 30.7839. Which is bigger: w or -1?
w
Let t be (-2 + -1)*(1 + -37)/(-1). Let n be ((t/(-15))/6)/((-6)/220). Let w be 3/(-2)*n/(-33). Is w != 25?
True
Suppose v - 2 = -t, 2*t - 140*v = -139*v - 11. Which is smaller: 29/6 or t?
t
Let h(b) = -16*b - 84. Let t be h(-6). Suppose -3*q + t = q. Let c = 52 - 35. Is q at least c?
False
Suppose -4*v + 3 = -3*v. Suppose v*w + 6 - 25 = i, -5*i = -2*w + 30. Let a = -11069 + 11068. Which is smaller: a or i?
i
Suppose 3*g = -12 - 12. Let l(s) = -8*s + 5. Let b be l(g). Let m be (391/b)/(1*-1 - 0). Which is smaller: m or -5?
m
Let a be (-72)/1854*(-6)/8. Let w = a - 524/309. Suppose -5*p - 1 = 9. Which is greater: w or p?
w
Let i = -4.3 + 0.3. Let k = i + 3. Let r = 6812.63 - 6812.7. Which is bigger: k or r?
r
Let n(i) = -i**3 - 4*i**2 + 16*i + 9. Let m be n(-6). Let z be (-1148)/245 - 6/m. Let d = z - -4. Which is greater: d or -0.4?
d
Let b be (-45)/12 - 3/12. Let n = -77799/14 + 5553. Is b greater than or equal to n?
True
Suppose 5*i = -0*i. Let s = -446 + 431. Let b be (s/(-45))/(52/(-24)). Is b smaller than i?
True
Let p be 16448/256 + (-9)/4. Is p greater than or equal to -2/3?
True
Let u be 14/84 + (-106)/(-12). Suppose 0 = n + u - 7. Suppose 67*z = -11*z - 234. Which is smaller: n or z?
z
Let f = -15 + -48. Let y = 23.2 + f. Let u = y - -40. Is -3/2 >= u?
False
Let a = -3 - -4.7. Let m = 42702 + -42699. Which is smaller: a or m?
a
Let l be 1/((-2480)/(-64)*22/(-5)). Let x = -21 - -21. Which is greater: l or x?
x
Suppose 0 = -3*k - 15, 20*k = -3*c + 17*k - 27. Let g be 0 - 9/c - (19 - 15). Which is bigger: -1/3 or g?
-1/3
Let o = -17871 - -17867.4. Is o > 13?
False
Let t be (-9)/(-72)*((-2134)/(-209) + -10). Which is smaller: t or 24.9?
t
Suppose 5*n + 8 = 4*m, 0 = -6*m + 11*m - 10. Suppose n = 3*b - 8 - 7. Suppose 0 = -5*d - 20, -5*a - 2*d + 347 = -b*d. Are a and 0.2 nonequal?
True
Suppose -4 = -4*v, g - 1 - 1 = 3*v. Suppose 0 = -x + 3*n - 10 + 34, g*x - 190 = n. Does 37 = x?
False
Let f = 8.852 - 1.552. Which is smaller: 2/7 or f?
2/7
Let n(l) be the first derivative of l**3/3 - 9*l**2 + 71*l - 67. Let o be n(6). Are o and -1 nonequal?
False
Suppose 0 = n + 5*q - 24, 254*q - 258*q + 22 = -2*n. Let i(x) = x**2 - x**3 - 2*x - 1 + 0*x**3 - 2. Let h be i(n). Which is bigger: 5/12 or h?
h
Suppose -8*x - 187 = -o - 45, 2*o + 5*x = 200. Is -0.09 >= o?
False
Suppose -3*f = -2*n - 3*n - 101, 4*f = -3*n + 96. Let l be f - ((-33)/22 + 10/4). Let h(t) = t**2 - 2*t - 9. Let x be h(7). Is x at most as big as l?
True
Suppose 408 = l - 3*m, 3*l + 5*m - 1903 = -693. Which is smaller: 403 or l?
403
Let n be ((-9 - -36)/(-9))/1729. Which is bigger: n or -1?
n
Suppose 32 - 42 = -5*r. Suppose 0 = o - r*o. Is -18/19 less than or equal to o?
True
Let m be 1 - (-1238 - -1) - 2. Let z = m + -6212/5. Let i = 6 + z. Is i != 0.4?
True
Let t = -92.19 - -92.69. Is 503 >= t?
True
Let h = -121 - -118. Let d(n) = -n**2 - 6*n + 1. Let k be d(-5). Let m be k/(-10)*h/((-27)/(-6)). Which is smaller: m or -6?
-6
Let x = -182 - -343. Let k be (-36)/(-126) + (-25)/x. Suppose -5 = 5*u - 0. Which is bigger: u or k?
k
Let o be 45/972*((-6)/100)/1. Is o >= 1?
False
Let p = 90 - 88. Suppose 15 = -x + 4*y, p*x + x - 4*y = -5. Suppose -x*z + 1 = 6. Is z at most -3/13?
True
Let c = 11.094 - 11. Let t = c + 13.906. Which is greater: t or