*r + 632. Is -79 greater than or equal to r?
True
Let z = -36727/7 - -5233. Let c = z + 596/21. Let u = c - 89/6. Is u >= 0?
False
Suppose -2*w + y = -17 - 10, -3*w = 2*y - 51. Let s be w/80*8 + (-15)/(-4). Let t(d) = d**3 + 3*d**2 + d + 2. Let z be t(-2). Is z equal to s?
False
Let p be (-2 + -11)*12/36*-9. Suppose 5*r - 7 = 5*f - 2, 3*r + p = -4*f. Which is smaller: 18 or f?
f
Suppose 5*p - 193 = 321 + 21. Let c be 10/(-35) + (-1620)/14. Let a = c + p. Does a = 2?
False
Let w = -6903 - -7553. Which is bigger: w or 655?
655
Let w = -114901/7 - -16415. Which is bigger: w or -2/5575?
w
Let w be 1 - ((-1 - -7) + -3). Let l be 0 + 0 + w/4. Let y = -842 - -849. Is y > l?
True
Let u be 14 + ((-115)/(-20) - 1) + (-1)/(-4). Which is bigger: u or 173?
173
Let y be 32/(-144) + (-693106)/(-2178). Let j = y - 318. Which is smaller: j or -1?
-1
Suppose 10*p - 48 = 62. Suppose -p*l - 5382 + 1961 = 0. Is -310 greater than or equal to l?
True
Suppose -a + 103 = -g, a + 3*a + 118 = -g. Let z = 102 + g. Suppose -2*n = -3*n + 2. Do n and z have different values?
True
Let d = 27796.98 - 27797. Let m = 0.07 + 2.93. Is d > m?
False
Suppose -2*p + 51*p - 1008 = p. Does -53 = p?
False
Let v = -13 - -7. Let q(t) = -14*t**2 - 22*t - 1. Let w be q(-3). Let s = -65 - w. Is s < v?
False
Let l = 323 + -138. Let j = l + -197. Is j at least 1?
False
Let j = -118.9 + 209.9. Is 26 at least as big as j?
False
Let o = -67 + 66. Suppose -g = -2*y - 103, 312 = -2*y + 4*g + 224. Which is greater: o or y?
o
Let r be 50/(-45) + (-13550)/(-45). Which is smaller: r or 301?
r
Let c = 5487.1 - 5487. Let b be 4/(-18) - (-1594)/(-36). Let x = b - -42. Is x smaller than c?
True
Suppose -t + 3*q - 12 = -5, -2*t - 10 = -4*q. Let n be (t - 13/(-21))/(1/(-117)). Which is bigger: 45 or n?
45
Let z be (0 - -1 - 0)*(2 + -2). Suppose z = -3*w + 403 - 94. Is 103 equal to w?
True
Let m = -2 - -6. Suppose 5*y = k - 33, -k + 5*k + m*y = 12. Suppose -15*i + 17 = 33*i - 65*i. Which is bigger: k or i?
k
Let b = 122 - 213. Let z = b + 1910/21. Is -2 greater than or equal to z?
False
Let w = 0.7177 - 0.1677. Which is greater: -23 or w?
w
Let w = -3064548/13 + 236190. Is w smaller than 457?
True
Suppose -6*i + 35784 = -148*i. Is i at most -257?
False
Let t = 101 - 57. Let f = -44.7 + t. Let b = f + 0.8. Do b and 0.01 have different values?
True
Let s = 286864/12223 + -399/17. Which is smaller: -1 or s?
-1
Let y(s) = -5*s + 122. Let b be y(8). Suppose -b = -3*d + 80. Let j = -13/38 + -3/19. Which is smaller: d or j?
j
Let d = -174512/11727 + -10/1303. Let z = d - 133/9. Which is greater: z or -31?
z
Let g = 13066 + -17158. Do g and -8181/2 have the same value?
False
Let m(h) = -h**3 - 11*h**2 - 8*h + 21. Let n be m(-10). Suppose 12*q - 1 = -n. Is 12/31 < q?
False
Let j = 281 + -279.27. Let m = j + 0.27. Which is greater: -0.02 or m?
m
Suppose 2*u = 0, 3*k + 2*u - 14160 = 7*k. Let d = -24848/7 - k. Which is smaller: -11 or d?
-11
Let y(h) = -26*h - 453. Let a be y(-45). Let f = a - 755. Is -38 less than f?
False
Let d be (1638/(-26))/21*(-1)/(-3). Is d less than or equal to 14/139?
True
Let c = -118122/11 + 5784612/539. Which is greater: -7 or c?
c
Let g be 2*8/754*(-1)/2. Which is bigger: -1 or g?
g
Let o = -845 - -7416. Which is greater: 0 or o?
o
Let l = -69 - -75. Let b be (-6 + -118)*(-3)/l. Do 62 and b have the same value?
True
Let y be (0 - ((2 - 1) + 0))*-5. Suppose y*z - 3 = 12. Suppose 0 = 2*o + k + 5, 4*o - k = z*k - 4. Which is bigger: o or -10?
o
Let a = -318570/883 - -10706607239/29684694. Let u = 1/862 + a. Let v = u - -71/312. Which is smaller: v or -1?
-1
Let a = -0.077 - 0.553. Let z = -144.37 + 143. Let p = z + a. Which is bigger: 2 or p?
2
Let d be (-1)/2*(0 - -2) + 1. Suppose -4*r + 2*r - 5*q + 11 = d, r - 3 = -3*q. Which is smaller: r or 15?
15
Let y be (-30)/48 + 1212/(-1632). Is -1 greater than or equal to y?
True
Let y = -12271 + 12187. Which is greater: y or -72?
-72
Suppose 0 = 5*v + 2 + 3. Let g be v*((-22)/(-42) + 3). Let t = g + 27/7. Which is greater: -1/11 or t?
t
Let l = -889.2606 - -0.2606. Is l at least -1?
False
Let u be ((-2156)/(-490))/((-92)/(-20) + 1). Let c = 3 - 2. Is u bigger than c?
False
Suppose -21*a - 16 = 4*c - 19*a, 16 = -4*c - 5*a. Let w be (c/18 - 6289/171)/(-1). Which is smaller: 34 or w?
34
Suppose -99 = 8*f - 123. Suppose 5*q + 509 = -g, 4*q - 27 = -f*g - 432. Is 2/5 less than or equal to q?
False
Let i(z) = z**2 + 7*z - 66. Let f be i(6). Let t = 31 + f. Is 42 greater than or equal to t?
False
Let o(r) = -138*r**2 - 3*r - 3. Let x be o(-1). Let h = x + 142. Is h greater than -4?
True
Let d = -361 - -392. Which is smaller: -6 or d?
-6
Let x = -1582 - -1582.07. Is -0.035 bigger than x?
False
Suppose 3*o - 5 = r, 5*o - r - 1 = 4. Let s be 2/(-10) + 393/(-135) + 3. Let z = 2/9 + s. Is z smaller than o?
False
Let f(a) = -2*a**2 - 7*a + 14. Let k be f(-5). Let i = -5623 + 2929581/521. Is i at least k?
True
Suppose -2*g + 7 = -3, 3*p - 263 = -g. Let w be -1 - ((-30)/(-2700))/((-1)/p). Which is greater: -1 or w?
w
Let n(r) = -20*r - 113. Let a be n(-6). Let p be ((-11)/(-33))/((14/102)/a). Which is bigger: p or 26?
26
Let a = -18905.3 + 18905. Are a and -658/3 unequal?
True
Let n(y) = -16*y - 94. Let l be n(-6). Suppose -3*q - 29 + 35 = 0, -l*j - q = -594. Is j != 0.1?
True
Let f(g) = -8*g + 149. Let h be f(18). Let z(l) = -4*l**2 + 24*l - 34. Let b be z(h). Do -148/11 and b have different values?
True
Let p = -3477 - -201677/58. Let b be (-4)/6 + 3586/8004. Let o = p + b. Is -1 greater than or equal to o?
False
Suppose 22*n = 11*n + 19 + 25. Which is greater: 516 or n?
516
Let a = -7 - -11. Suppose -p = a*p + 45. Let d(y) = y**2 - 41*y + 396. Let i be d(24). Which is smaller: p or i?
i
Suppose 0 = -k + 2*s + 5, 1 = 5*k + 4*s - 10. Suppose 5*a - k*z + 12 = -6*z, 0 = -5*a - 2*z - 8. Let x be (-15)/6*((-35)/(-125) + a). Which is smaller: 0 or x?
x
Suppose 2*k + 38*k = -59875 + 11515. Is -1209 less than or equal to k?
True
Let o = -340 - -345. Suppose -o*v - 16 = -6, 4*v = 2*u + 392. Which is greater: -201 or u?
u
Suppose -k + 0*k = -4*t + 5, -t + 5*k - 13 = 0. Let d be (t/4*4)/2. Is -13 at most d?
True
Suppose -2*b + x - 8805 + 1137 = -378, 0 = -3*x. Is b smaller than -3645?
False
Let j(a) = -182*a + 60. Let t be j(-2). Let l = t - 425. Which is bigger: l or -30/13?
l
Suppose -2*o - 30 = 5*q, o - 117*q + 24 = -121*q. Which is smaller: 3/4510 or o?
o
Let w(k) = -13*k**2 - 7*k - 22. Let x be (-24)/(-18) + (-70)/21. Let d be w(x). Which is bigger: d or -58?
-58
Suppose 3*g + 254 = -3*x - g, -340 = 4*x + 4*g. Let a = -127 + 323. Let t = 111 - a. Does t = x?
False
Let w(s) = -23*s + 922. Let h be w(51). Is h bigger than -252?
True
Let w(p) = -p**3 + 3*p**2 + 9*p - 18. Let t be w(4). Let l = t + 13. Suppose 68 = -l*a - 2*a. Does -6 = a?
False
Let i = -1555/17 + 58677/527. Which is smaller: 21 or i?
i
Let v = -5 + 36. Let l(r) = r**3 + 15*r**2 + 51*r - 10. Let i be l(-8). Is i at most v?
True
Let q be ((-12)/16)/(135/(-72)). Is 119 bigger than q?
True
Let n = -117 - -117.122. Let f = 106.122 - n. Let y = f + -102. Is y < 1/16?
False
Let g = 21 - 19.3. Let z = -3389 - -3391. Which is smaller: g or z?
g
Let x = 4.02 - 0.02. Let y(p) = p**3 - 7*p**2 - 35*p + 10. Let f be y(10). Let w be f/(-260) + 32/(-39). Is x > w?
True
Let y = -41/327 + 93026/734115. Let w = 1135997/20205 - y. Let s = -91604/1629 + w. Which is bigger: 0 or s?
0
Suppose -475 = -4*t + 3*v, 251 = -t + 3*t + 3*v. Let d = t - 120. Is 4.6 <= d?
False
Let l be (-3)/((-2207)/9810 - (-6)/27). Suppose -17*g = -l - 916. Which is greater: g or 119?
119
Let v = -4865916/9085 + -2/1817. Which is smaller: v or -2/3?
v
Let a = 0.2 + -0.1. Let z = 2676.6 - 2682. Which is greater: a or z?
a
Suppose 5*k + 3*a + 3 = 0, -57*k + 3*a = -58*k - 3. Is -132/293 != k?
True
Let h(g) = -5*g**2 - 57*g + 3. Suppose 4*k - 36*y + 40*y + 36 = 0, -2*y = -4*k - 48. Let x be h(k). Which is smaller: 47/2 or x?
47/2
Let c be (-10 + 2 + -877)*-3. Does c = 7961/3?
False
Let z(c) = -c**3 + 5*c**2 - 7*c + 2. Let w be z(1). Let f be 4/(-14) + w + 1. Which is smaller: f or -1/34?
f
Suppose -45*k = -989 - 1531. Let y(i) = 53*i + 3. Let u be y(1). Is k > u?
False
Suppose 0 = 7*w - 6*w + 5*o - 50, -2*w = -3*o - 87. Suppose 48*s - w*s - 316 = -4*r,