 = -24/253 - p. Let r be (3/(-6))/((-2)/4). Which is bigger: r or k?
r
Suppose -8*t = -0*t. Let q be (-10)/4*4/18. Do q and t have the same value?
False
Let m = -2.1 + 1.1. Suppose 0 = 4*t - 21 - 39. Let z = -59/4 + t. Which is greater: m or z?
z
Let k = 123 + -129. Which is smaller: k or -5?
k
Let s = -37537/126 - -7396/21. Let i = 1707/2 + -799. Let o = i - s. Which is bigger: o or -4?
o
Let l = 438797/5 + -87342. Let m = -416 + l. Is m >= 2?
False
Suppose -148 + 190 = -3*n. Is n less than -13?
True
Suppose 508 = -4*r + 1004. Which is smaller: 125 or r?
r
Let k be 9570/90990 + 1/(-9). Which is smaller: k or 1?
k
Let z = 66.7 + -63.7. Which is smaller: 10 or z?
z
Let y be -5*2*(-4)/8. Suppose 4*m = y + 3. Let h be m/9 + 74/72. Which is smaller: 0 or h?
0
Let j(n) = -n**3 + n**2 + 3*n + 4. Let g be j(3). Suppose 0 = -d - 4*d - 4*v - 32, 0 = -5*d - 2*v - 26. Let c = d - g. Which is greater: -2 or c?
c
Let m(s) = -s + 6. Suppose -3*g - 20 = -2*x, -g = -3*x - 6*g + 11. Let h be m(x). Is 4/9 smaller than h?
False
Suppose -5*b + 44*b - 780 = 0. Do 14 and b have different values?
True
Let d = -2 - -5. Let u be (33/44)/((-5)/(1 - 21)). Does u = d?
True
Let z(l) = 3*l - 10. Let v be z(4). Suppose 0 = -4*r - n + 3 + 1, -8 = -r - v*n. Suppose r = -3*h - 1 + 46. Which is smaller: 16 or h?
h
Let t = -341.8 - -342. Is 0.4 >= t?
True
Let v = -2 + 10. Suppose 3*y + v = 2*y. Let c be 12/(-16) - (-2)/y. Which is greater: 3/4 or c?
3/4
Let j = -32 - -32. Suppose 3*y + 6 = t + y, 2*y + 6 = j. Let q be 2/8 - 1/(-20). Is t smaller than q?
True
Let f = -3805/197653 - -9/827. Which is bigger: f or 1?
1
Let a be (2/3)/(1 + 4). Let o = 23 - 20. Suppose -b = 2*b + o. Which is greater: a or b?
a
Suppose c + 3*c = 88. Let u = -57 - -80. Is u less than or equal to c?
False
Suppose 157 - 1445 = 7*u. Which is smaller: u or -182?
u
Suppose 0 = 3*f - 8*f + 10. Suppose -8 + 10 = -f*q. Let t(j) = j**2 - 2*j - 1. Let u be t(q). Which is greater: 3 or u?
3
Let f be 6*1*(-16)/6. Let z(y) = y**3 - 3*y**2 + 2*y + 23. Let r be z(0). Let m = r + f. Which is smaller: m or 6?
6
Let s = -0.2 - -0.35. Let m = -5.15 + s. Let n = -5 - m. Which is bigger: n or 8?
8
Suppose -16 = 5*a + 19*c - 15*c, -4*a - c - 4 = 0. Which is greater: a or 9/47?
9/47
Let s = -430 - -417.3. Is s != 0.2?
True
Let c = -45 + 29. Let t = 13 + c. Let x = -0.22 + -0.08. Do x and t have the same value?
False
Let j = -1.69 + 2.007. Is -2 < j?
True
Let t = 11 + -11.03. Let o = t - -2.13. Let y = 2.5 - o. Is y != 0?
True
Let w be ((-12)/8)/((-35)/504). Let s = w + -114/5. Is s at most -1?
True
Suppose 3*m + 377 + 619 = 0. Which is bigger: m or -333?
m
Let t = 36854/805 + -57/115. Let r = t + -45. Are r and 0.2 equal?
False
Let z(s) = s + 1. Suppose 28 = 3*n + 5*m, 0*n + m - 1 = 4*n. Let r be z(n). Suppose 4*q = -0*q - 3*w, 0 = 2*q + r*w. Which is bigger: q or -2/19?
q
Let r = -11.13 + -125.87. Which is bigger: r or -1?
-1
Let j be (-2472)/354 - (-7)/1. Are -0.3 and j equal?
False
Let i = -2 - -4. Suppose -i*j = j. Suppose 4*s - 2*s + 2*x = j, x = -5*s. Which is bigger: s or 6/11?
6/11
Suppose -o = -3*c - 16, -4*o + 0*o = 4*c + 32. Let j = -7 + 3. Let k = c - j. Are -2 and k equal?
True
Suppose 4*r + 10 = 5*x, 13*r - 10 = 9*r - 5*x. Which is greater: r or 10/47?
10/47
Let a(t) = t**3 + 10*t**2 + 12*t - 3. Let s be a(-8). Suppose -2*h = 4*x + 2*h + 16, -s = x - 4*h. Which is smaller: -8 or x?
x
Let c be (54/14 + 1)*(-35)/(-125). Which is smaller: 1 or c?
1
Let g be -38 + 4 - (-15 - -9). Does g = -29?
False
Let p be (465 - 0)/(-5) + -2. Let j = -23381/18 + 7223/6. Let c = j - p. Which is smaller: c or -1?
-1
Suppose 10 + 20 = 10*o. Which is smaller: -0.3 or o?
-0.3
Let o be (1/(-2))/(390/(-156)). Is -185 greater than or equal to o?
False
Suppose 0 = -168*c + 179*c - 176. Which is smaller: 20 or c?
c
Let j = -0.3 - -0.5. Let q be 70 - 2/(-1)*1. Let a = -66 + q. Is a >= j?
True
Let o = -54 - -56. Let m be o/11 - (1978/(-1100) - -2). Which is smaller: m or -1?
-1
Let j = -5 - -11. Let u(g) = 7*g + 8*g**2 - 11 + g**3 - 25*g + 7*g. Let h be u(-9). Is j less than h?
True
Suppose -2*i = -3*i - 5*m - 11, 4*i = -4*m - 12. Let u be 4/(-10)*(-5)/4. Let y = 0 - u. Which is smaller: i or y?
i
Let x be ((-4)/2)/(5/(-90)). Let k be (-7)/(-2)*x/63. Suppose -5 = -5*v, 2*v + k = -3*t + 1. Is -0.5 at least t?
True
Let j = -1.021 - -1.128. Which is smaller: -1/3 or j?
-1/3
Suppose 11*w - 14*w = -87. Let b = w + -25. Which is greater: b or 9/2?
9/2
Let w = -25 + 1. Let d be 80/168*w/(-10). Is 0 < d?
True
Let x(f) = 2 - 5 - 5 + 12*f - 2. Let y be x(-2). Is y at most as big as -33?
True
Let k(g) = g**3 - g**2 + g - 1. Let w be k(-3). Let t be (-48)/w*10/4. Suppose -3*z + 9 = t. Which is smaller: z or 5?
z
Let d = 29/16 + 65/176. Are d and -0.11 equal?
False
Suppose -76*s + 4 = -72*s. Is 14/13 >= s?
True
Suppose 3*c + 142 = -0*c + 2*h, -8 = 2*h. Is c != -97/2?
True
Suppose 3*y - 6 = 9. Suppose 5*u + 8*s - 6*s - 16 = 0, -5*s = -u + 14. Are y and u non-equal?
True
Let d = -2.271 - -2.171. Let o = -98.982 - 0.018. Which is greater: d or o?
d
Let g(o) = -2*o**2 + 2*o - 1. Let m be g(3). Let y be -8 + -3 + 3 + -3. Which is smaller: m or y?
m
Let b be -4 + 4 + 12/368. Is 0 equal to b?
False
Suppose 0 = -y + 3*y + 2. Let d be ((-3)/(-3) - -4) + (-2 - (-180)/(-58)). Which is greater: y or d?
d
Let c be ((-7)/14)/((-7)/12). Let q = -14 - -21. Let b = 9 - q. Is b smaller than c?
False
Suppose -7*l + 6*l = -3. Suppose 3*y + 4*m + 4 = -3, -l*y - 2 = -m. Is -2/85 greater than y?
True
Let y = 295 + -1179/4. Let c = 3/160 + 217/160. Is c less than y?
False
Suppose 2*n + 2*l + 370 = 0, 2*n - 5*l = 38 - 373. Is n != -182?
True
Suppose 0 = -3*p + 2*p + 3. Let r = 24.7 - -5.3. Let i = -29.9 + r. Which is smaller: p or i?
i
Let n(m) = -13*m**3 + m**2 - 3*m + 27. Let s(d) = -7*d**3 - d + 14. Let l(y) = 6*n(y) - 11*s(y). Let v be l(5). Let r be 2*3/v - 3. Is r equal to -8?
False
Suppose 8*t - 6*t = -2*s + 1426, -s = -5*t - 743. Is 718 < s?
False
Let f(k) = -k**3 + 12*k**2 - 24*k + 166. Let v be f(11). Let b be 135/6 + (-2)/(-4). Is b >= v?
True
Suppose -5 = -5*w + 10. Suppose -4*b + 4*p - 2*p - 6 = 0, 0 = -3*b - w*p + 9. Let z = b + -1. Do 3/11 and z have the same value?
False
Suppose 11 = -5*c - 2*g, 4*g = -3*c - g - 18. Let z = 3752886/7 + -161639594/301. Let b = z - -882. Is b at least c?
True
Let r be 14/(-74)*(-18)/21. Is 2 greater than r?
True
Let k = 6549.09 + -6520. Let t = -29 + k. Is -1 at most t?
True
Let h be (2/(-4))/((-60)/(-4560)). Is -32 >= h?
True
Let v be -2 - (9/15 - (-32)/(-20)). Is -2/3267 smaller than v?
False
Let f be (-4)/(-6)*24/(-26). Suppose -m + 20 = -5*j + m, -5*m + 19 = 3*j. Is j >= f?
False
Let d = 173 - 169. Suppose 4*a = -d*v - 12, -a - 5*v - 12 = a. Is 1/10 equal to a?
False
Suppose -5*m = -73 + 8. Let f be (5/(-15))/((-1)/45). Suppose -h - 2 + f = 0. Is h greater than m?
False
Let a = -75898/45 - -1686. Which is greater: -2 or a?
a
Let t be (0*2/20)/1. Is 53/5 not equal to t?
True
Let f = 1 + -2. Let n be 2 - ((-37198)/(-15600) - (-5)/(-15)). Let z = -3/104 + n. Is f greater than or equal to z?
False
Let u = -15 - -43. Let b = -27.9 + u. Which is smaller: b or 23?
b
Let l = 35.4 + -40. Let k = 4.6 + l. Let g = 5 + -2. Which is greater: k or g?
g
Let d(w) = w**2 - 15*w - 9. Let b be d(16). Let q be 40/5*(3 - 2). Let c(g) = -g**2 + 8*g + 6. Let y be c(q). Which is greater: b or y?
b
Let d = 313/7 - 290/7. Is 3 greater than or equal to d?
False
Let a = -0.018 - -0.118. Suppose 5*v - 3*c = 10, 0*v - v - 4*c = -2. Let k be v/(-6) - 51/9. Which is greater: a or k?
a
Suppose 3*x = -48 - 267. Let d = x - -107. Which is smaller: d or 10/13?
10/13
Let k be ((-8)/(-3))/((-5494)/(-246)). Which is smaller: k or -1?
-1
Let t = -20/351 + -10978/351. Let b = 32 + t. Is b greater than -78?
True
Let l be (-4)/(-30) + -2*(-74)/(-660). Is l at most -4?
False
Let j be (-14)/(-6) + 10/15. Suppose 6*p = j*p. Suppose p = 4*b - 1 - 3, 4*g + 5 = 5*b. Is g greater than 1/4?
False
Let n(g) = 179*g + 9. Let l be n(-6). Let j be l/(-4) - (5 + -2). Let k = -261 + j. Is 1 at most as big as k?
True
Let i = 24577122/25 + -982934. Let k = 151 - i. Is 1 at most k?
False
Let m(q) = q**2 - 6*q + 3. Let j(w) = -w**2 - 12*w - 6. Let c be j(-11). Let r be m(c). Let d = 