 a + 40, a + a + 40 = -2*o. Let c be 22 - o/((-20)/4). Which is greater: -1/2 or c?
c
Suppose -14945 = -15*t + 28473 + 1282. Is t at most 2980?
True
Let j be (-2)/(-10) + (-127)/10. Suppose 3*u = -4*z - 48, -17 = 5*u - 5*z + 28. Which is smaller: u or j?
j
Let o = 24 + -24. Let b be o/((4 - 2)/(-2)). Do 2/127 and b have different values?
True
Let y(x) = -197*x + 2427. Let c be y(27). Is c equal to -2891?
False
Let d be -1*((-2187)/(-3801) - (-96)/(-112)). Is 1 < d?
False
Suppose -24*a + 5*a = 605 + 649. Is -100 < a?
True
Let n = -3 + -37. Suppose 4*o = 150 + 230. Let r = -134 + o. Which is greater: r or n?
r
Let h(w) = -1 - 10 - w + 0. Let f be h(9). Suppose -j = 2*b + 19, 3*b + 2*b = -2*j - 37. Which is smaller: f or j?
j
Let k be 1/(2/(-244)) - (-60)/(-10). Is k greater than -128?
False
Let r = -39421 + 39249. Let p = 295 - 466. Which is bigger: p or r?
p
Suppose 9 - 36 = -9*t. Suppose 82 = -t*p - 3*a - 50, -2*p - 70 = -4*a. Let z = p - -42. Is z smaller than 1/61?
False
Suppose 3*k + 5*a - 26 = 31, -5*a = -2*k + 13. Suppose -2*s - s + 4*d = -25, 2*s = 2*d + k. Let z be 1 + 10/(-5) + (-28)/(-6). Which is greater: z or s?
z
Suppose 2*g + 3*f = -6, -6*g + 4*f + 8 = -7*g. Which is bigger: 24/25 or g?
24/25
Let k = 48 - 100. Let c be (-39)/k - (81/4)/3. Let z be 6/c - (0 + -2 - 0). Is z at least as big as -3/37?
True
Let l(k) = 4*k**2 - 320*k + 80. Let d be l(74). Is 0 greater than d?
True
Let c(a) = a**3 + 5*a**2 + 4*a - 2. Let q be c(-2). Suppose -q + 9 = -7*b. Let m = -3/170 + -319/1190. Which is smaller: m or b?
b
Suppose -7*v = -4*v - 45. Let m be 80/v*(-162)/(-24). Which is smaller: 37 or m?
m
Let v = 5501 + -5502. Which is bigger: -1.592 or v?
v
Let d be -2 + (1 - (-1527)/(-4)). Let c = d - -385. Let f = 47983.1 + -47983. Is c at least f?
True
Let r = -76 - -122.5. Let n = 0.04052 + -0.14052. Which is bigger: n or r?
r
Let p be 1/(6332/90)*-10*(-9)/(-135). Which is bigger: p or 0?
0
Suppose 0 = -2*x + 27 - 19. Let o(d) be the second derivative of d**3/6 + 25*d**2/2 + 4*d. Let f be o(x). Which is smaller: 31 or f?
f
Suppose -6*n = 12*n - 205 - 29. Suppose -5*c - 6 + 71 = 0. Let w = c - n. Which is bigger: w or 1/41?
1/41
Let p = 140 - 140. Let o be ((-240)/140)/(87/21). Which is bigger: p or o?
p
Let h = -8.12 + 8. Let g = h + 0.18. Let m = g - 0.06. Which is smaller: m or 12?
m
Let o = -4788 + 4789. Which is greater: o or -2/93?
o
Let h be (4 + 0)*(1 - 93168/93152). Is h at least 0?
False
Let y = -1/41 + 2851/902. Is y at most as big as 3?
False
Let p = -11.35116 - 0.34884. Is p at least as big as -2?
False
Let k = -15231/68 + 2112/17. Let b be -2 + 1 + -3 + (13 + -11)*-49. Let x = k - b. Is x at most as big as 2?
False
Let z(a) = -464*a - 1. Let y be z(-1). Let x = y + -163. Suppose -4*b = b - x. Is b at least 60?
True
Let u = 15.5 - -83.5. Let l = 33 - u. Let n = -63 - l. Is 7 at least n?
True
Let o be (32/(-10))/(-6 + 28020/4700). Which is bigger: o or 84?
84
Let x = -2323 + 2304. Are x and -12 equal?
False
Suppose -5*p + 3336 = -37*z + 34*z, 2*p - 2*z - 1336 = 0. Is 665 greater than or equal to p?
False
Let p be ((-3122)/(-1038) + 4 + -7)*(-25)/4. Is -1 less than p?
True
Let b = 2001/35 - 410/7. Let t = -5 + 5. Which is smaller: b or t?
b
Let l(d) = -d**2 + 15*d - 53. Suppose -11*i = -7*i - 52. Let n(g) = -2*g**2 + 30*g - 107. Let t(b) = i*l(b) - 6*n(b). Let u be t(12). Is -11 smaller than u?
False
Let n = 52173319 + -289822788033/5555. Let s = 2/505 - n. Let h(o) = -3*o**3 - 102*o**2 + 3228*o - 648. Let m be h(-54). Does s = m?
False
Suppose 38*c - b = 36*c - 433, -4*c + 4*b = 876. Is -207 > c?
True
Let x = -1.155 - -0.035. Let g = -59.88 + x. Let c = g - -61. Is -1 != c?
True
Let n(k) = -3*k**2 + 100*k + 176. Let y be n(35). Is y less than or equal to 1/1746?
False
Let w(u) = -16*u - 176. Let o be w(-11). Does 547 = o?
False
Let q(t) = 22*t**2 - 594*t + 1. Let i be q(27). Which is bigger: i or 1/2453?
i
Let i = -3635541/5 + 730497. Do 3390 and i have different values?
True
Let x be (-64)/(-48) + 4/(-3). Suppose 3*s - 4*k + 18 = 65, x = -4*s + 2*k + 76. Let w be 9/3*(-40)/(-6). Which is smaller: s or w?
w
Let g(z) = z**2 + 2*z + 1. Let d be g(1). Suppose 48 = d*a - 104. Suppose t - 722 = -18*t. Is a equal to t?
True
Let q = -89.8 + 251.8. Which is greater: q or -1/4?
q
Let q be (-6)/8 + -5 + (-4002)/(-24). Which is greater: 806/5 or q?
806/5
Let v = 0.293 - 0.55. Let o = -0.197 - v. Let b = -1/156 + 317/780. Does o = b?
False
Let l(k) = 129*k - 598. Let x be l(6). Suppose 0 = -n + 6 + 5. Suppose 0 = -n*f - 66 - x. Is -2/7 <= f?
False
Let w be 0/3 - (-9 + 6). Suppose -w*f - 108 = -207. Is f bigger than 32?
True
Let z = 873812/206756215 - 66/15095. Is 0.04 less than or equal to z?
False
Suppose 136*p = 129*p + 63. Let z be 2/p - 79562/252. Which is smaller: z or -0.1?
z
Let v(z) = z**3 - 3*z**2 - z - 9. Let b be v(4). Suppose -t - 5*j = -116, -j = -b*j + 2. Which is smaller: t or 112?
t
Let s be 0*(0 + 1)*(-67)/134. Which is smaller: s or -2/2675?
-2/2675
Let m = -553 + 1657/3. Let v = -11 + 9.6. Let u = v - -1.4. Is u smaller than m?
False
Suppose 19*u - 1604 = 17092. Do 981 and u have the same value?
False
Suppose -3*z - 3*j - 31407 = 0, 5*z + 27*j + 52325 = 32*j. Which is smaller: z or 0?
z
Suppose -487*g + 11248 = -449*g. Is g >= 297?
False
Suppose 59*q + 62*q - 128*q = 7. Does q = -23/191?
False
Suppose -q + z - 1049 = 3*q, q - 4*z = -266. Let f = -1076 - q. Is -814 at least as big as f?
True
Suppose 7*o - 4*o - 9 = 0. Suppose -4*u + 8 = 0, o*q - 3*u - 1 = -16. Let h be (-12)/96*220/15. Is q equal to h?
False
Let y = -144 + -547. Let z = 722 + y. Suppose -2*i + 3*u = i - 84, -5*u + 20 = 0. Is i >= z?
True
Let h = -757 + 1802. Suppose h - 261 = 2*y. Suppose 10*w - 62 = -y. Is w at most -35?
False
Let t(i) = 10*i + 5. Let p(o) = 1. Let h(f) = -6*p(f) + t(f). Let q be h(2). Suppose -16*j + q*j - 3 = 0. Is -4/23 equal to j?
False
Suppose 7*k - 15 = -8. Suppose 309 = -5*x + 4*p, -3*p + 4 = p. Let t be (-4*2/(-8))/(x/(-1)). Do t and k have the same value?
False
Suppose 4*l + y + 21 = 0, 2*y - 27 = 4*l - 9. Let k be l + (2 - 3)/((-5)/(-40)). Let p = -1 - 1. Is k > p?
False
Let f be 44/(-55)*(-5)/2*3. Let i be f/9*9/(-6)*-5. Which is smaller: i or 60?
i
Let f be 7 - ((-16)/(-32))/((-9)/(-508)). Does -21 = f?
False
Suppose 1877 + 3804 = -13*r. Let g = r - -416. Let z = 0.3 + 0.7. Which is smaller: z or g?
g
Let s = 396 - 527. Is 0.7 < s?
False
Suppose -18*i = -25*i + 98. Let h be (1 + 36/(-20))*(-35)/i. Suppose -h*w - 24 = 50. Is w smaller than -36?
True
Suppose 0 = -2*u + 7*u + 40. Let b = 118 + u. Let i = -132 + b. Which is bigger: -1 or i?
-1
Let p = -33 - -32. Let s(m) = -10*m - 2. Let h be s(p). Let l = h - 10. Which is smaller: -1 or l?
l
Let u = -6309/2 + 3159. Let j = -1 + -1. Let s = j + 7. Which is greater: s or u?
s
Suppose -3*j + 5*q = 3, 2*j - j + 1 = -q. Let t = -168 + 2689/16. Which is smaller: j or t?
j
Let o(p) = -p**3 - 10*p**2 + 36*p + 231. Let n be o(-12). Which is bigger: 697/8 or n?
697/8
Let h(k) = -35*k - 1941. Let o be h(-25). Do -1067 and o have different values?
True
Suppose 20*j + 1950 - 13710 = 0. Let f be (0 + 105/(-6))*144/j. Which is smaller: -4 or f?
f
Let m = -686.0664 - -686. Let f = -0.2336 + m. Are 2 and f nonequal?
True
Let p = 9198/193 + -1542349/34740. Let l = p - 28/9. Suppose 0 = 2*h - z, 5*h + z = -4 - 3. Are h and l nonequal?
True
Let g(d) = 40 + d**2 - 4*d + 19*d - 43 + 5*d. Let n be g(-26). Is n < 154?
True
Suppose -19*z - 97 = -17*z - 3*r, -3*r - 167 = 4*z. Is z not equal to -57?
True
Let g be 0*((-1)/(-2))/(-1). Let y be ((-2942)/734 - -4)*11/33. Is g not equal to y?
True
Let i be ((10/6)/5)/(-1)*0. Let g(m) = m**2 + 9*m - 2. Let q be g(5). Let k = q - 747/11. Is i equal to k?
False
Let t = 51.06 + -52. Let c = t - 0.06. Let p = -257/2 - -132. Which is smaller: c or p?
c
Let z be ((-15)/(-9))/((-115)/(-69)). Let p be ((-16)/12 - 0)*(10 - z). Which is bigger: p or -15?
p
Let n = 29707 + -28450. Which is bigger: 1249 or n?
n
Let u = 4708 - 4709. Is u equal to -2/29?
False
Let z = -30 - -54. Suppose -z = -5*f + 2*f. Suppose -f = 2*n - 14. Is n greater than 3?
False
Let f = -0.27834 - 1.02626. Which is greater: f or 1?
1
Suppose 3*q = -2*i + 13628, 71*q + 18152 = 75*q - 2*i. Is 4541 bigger t