p?
-3
Let f = 3848 + -3226. Is f less than or equal to 624?
True
Let m be (54/4)/(7797/(-184)). Which is bigger: 1.5 or m?
1.5
Let i(a) = 7 - 2*a + a**2 + 2*a - a + 7*a. Let z be i(-2). Let k be ((-33)/42)/(-1) - z/2. Which is smaller: k or 0?
0
Suppose -128 = -727*f + 731*f. Are f and -33 unequal?
True
Suppose -10 = 2*o, -9*l = -10*l + 5*o + 1008. Is l at least 982?
True
Let r = 6173589/94 - 65680. Let z = r - -1/47. Is z less than or equal to -4?
False
Suppose 5621 = -18*y + 29*y. Let p = y + -509. Is 32/17 greater than or equal to p?
False
Suppose 5 = -4*w + 5*w, -4*c - 4*w + 324 = 0. Let b = c + -60. Suppose b = 15*n - 11*n. Which is greater: -1 or n?
n
Let i = -76 - -82. Let x(c) = -5*c**2 + 30*c - 59. Let g(n) = -6*n**2 + 31*n - 60. Let w(z) = i*g(z) - 7*x(z). Let v be w(-26). Is v at least 9/23?
True
Let q = -18 - -7. Let v = -3716 + 3707. Which is smaller: v or q?
q
Suppose 9*b + 4*i = 6*b + 19234, i = -2. Let g = 1250734/195 - b. Is -1 greater than or equal to g?
False
Let f = -23148/103 + -1100798/927. Is f at least as big as -1411?
False
Let d = -7305.729 + -8.271. Is 2 less than or equal to d?
False
Let s be (58/(-1015))/(1080/(-2709)). Are s and 1 non-equal?
True
Let h(q) = -q**3 - q**2 - 6*q - 9. Let j be h(-2). Suppose 5*x = -4*c + j*c + 1070, -4*x + 3*c = -859. Suppose 9*p - x - 41 = 0. Which is smaller: p or 27?
27
Suppose 290 = 2*u - 2*w - 86, 5*w = -4*u + 797. Do 186 and u have the same value?
False
Let r = -82 + 692. Which is smaller: 608 or r?
608
Suppose -u - 851 = 3*s, 0 = 2*s - 4*u - u + 573. Let c be (-8)/(-12) - (-2)/(24/s). Is c >= -22?
False
Let r = 113.08 - 107. Let y = 6 - r. Let d = y - 0.02. Is 3.8 <= d?
False
Let m be (-8)/(-4) - (-3 + 158/32). Let y be (2/4)/(7/2). Is m <= y?
True
Let d = 54 - 57. Let s be ((-12)/d)/8 + 151/(-42). Let l = 19/6 + s. Which is greater: l or 0?
l
Let x = -1/399573 - 3812325988/1997865. Which is bigger: -1907 or x?
-1907
Suppose -8*y = 9 + 55. Let i be y*(-4)/(-26) - -1. Is i != -1?
True
Let z = -97.088 + -5.592. Let c = 102 + z. Let y = c + 0.58. Which is smaller: y or 0.6?
y
Suppose -2*v - 2*w + 6 = 0, -4*v + 5*w = -0*w - 3. Let u = -64 + 69. Suppose -u*y = v*m - 8, 4*m + 18 = 4*y + 6. Are 34 and m equal?
False
Let k be -16 + 17 + (-386)/(-1). Suppose 1083 = -7*x - k. Let z be (-291)/x + 16/(-56). Which is greater: 1 or z?
z
Let m = 37.33 - 39.33. Is m greater than -1.293?
False
Suppose 54*z - 58*z = 2*b - 12, 2*z + 2*b = 12. Which is greater: z or 1/12883?
1/12883
Suppose 0*m - 7*m = -98. Suppose 4*u = -10*u - m. Let h = -48846/43 - -1136. Is h smaller than u?
False
Let j = -14547 + 1687461/116. Are j and -1 equal?
False
Suppose 0 = -4*l + 7*l. Suppose l = 2*p + 6, -2*p - 5 + 1 = -x. Suppose -2*q - 2 = 0, 0 = 3*v - 2*q + 4*q + 2. Is x < v?
True
Let k(y) = -2*y**2 + 66*y + 195. Let d be k(48). Which is smaller: -1247 or d?
-1247
Let p(s) = s**2 + 3*s - 2. Let n be p(-4). Let b be 1/(-522)*(2912 + n). Let d = -120/29 - b. Which is smaller: 0 or d?
0
Let b(n) = -n + 2. Let l be b(-2). Let j = 524.3 - 525.1. Is j < l?
True
Let h = 0.03571 - -0.07029. Which is greater: 34 or h?
34
Suppose -2713 = 55*r + 61032. Is r bigger than -1159?
False
Let n(u) = u**3 + u + 1. Let r be n(0). Let w be (r/3)/((-2)/(-36)). Let a be (-1 + 1)/((-10)/5) - (1 - 3). Which is smaller: a or w?
a
Let u(l) = -19*l - 131. Let c be u(0). Let b = 134 + c. Suppose -2*i + 8 = -0. Which is greater: b or i?
i
Let t = 13185 + -5297. Is t > 7888?
False
Let z = -5 + 9. Let n be (9 - 1)/(15/30) + 3. Suppose 0 = -z*b - 3*j + n, -11 = -4*b + 4*j + 1. Are b and -0.2 unequal?
True
Let w be (-67)/(-395)*((-152)/(-12) - -7). Let z = w - 1/395. Let a(p) = -p + 16. Let h be a(14). Is z at least h?
True
Let m = 61 - 58. Suppose -24 = -f + 9*f. Let v be (-3*1)/(-5 - f). Is v less than m?
True
Let r = 936 - 938. Let v be (-7)/r - 3 - (-9)/18. Which is greater: -48 or v?
v
Let s = 13 - 13. Suppose -39*t + 40*t + 8 = s. Let z be (-4)/16 - (-110)/t. Is z greater than or equal to -15?
True
Suppose -14 = 28*l + 350. Let o = 11 + -8.8. Let x = o + -1.2. Which is greater: l or x?
x
Let b(t) = t + 2. Let m be b(-2). Let v = -37391 + 747663/20. Let q = 43/5 + v. Do q and m have different values?
True
Let l = -1/408 - 403/2040. Let t = 15 - 31. Which is bigger: l or t?
l
Let m = -138211/13076 + -3/1868. Let s = 4756 + -4766. Which is bigger: s or m?
s
Let r(t) = t**2 - 30*t + 2. Let g be r(30). Suppose p + 3*o + 7 = 0, g*p - 87*o + 14 = -82*o. Which is smaller: p or -1?
p
Let g = -5358 + 5503. Is 129 greater than g?
False
Let b = -54 - -109. Let g = -55 + b. Let o be (-2 - 2) + -7 + g + 1. Is 0 < o?
False
Let d(u) = -2*u**3 - 8*u**2 + 11*u + 5. Let h be d(-5). Suppose 1660 = -h*y + 5*y + 5*o, 3*o = -y + 342. Is y at least 328?
False
Suppose -l - l = 18. Let m be (-54)/l - -3*1. Let b = -183 + 191. Which is smaller: b or m?
b
Let x be (-789)/(-15)*(260/50)/(-13). Which is smaller: x or -21?
x
Suppose 2*f - 2*q - 16 = 0, -12*q + 22 = 4*f - 14*q. Is 990 < f?
False
Let k(d) = d**3 + 46*d**2 + 178*d - 128. Let w be k(-43). Which is smaller: -11174/5 or w?
w
Suppose 0 = 4*f + p - 19, -f + 6*f - 2*p = 14. Suppose -f = -3*o + o. Let u = -7564/3 - -2522. Which is bigger: o or u?
o
Let i be 26/26*110/1. Suppose 0 = c - 1, 5*n = -2*c - i - 53. Let b be ((-970)/(-60))/(2/(-4)). Is n at least b?
False
Suppose -337*h + 341*h - 2*j + 12 = 0, -4*h + 18 = 3*j. Is -6/7175 greater than or equal to h?
False
Let w = 0.1677 - -0.6383. Let q = -17 + 16.18. Let o = q + w. Is o > 2/7?
False
Let s = -1868 - -1844.33. Let k = s - -0.67. Let g = 23.09 + k. Which is smaller: g or 0?
0
Let h be 1/1 + ((-515)/85 - -5). Let p = 7 + -13. Let r be p/15 - 3/5. Which is smaller: r or h?
r
Let p = 7502 - 5358. Which is bigger: p or 2143?
p
Let i = 479/984 + -7/24. Let f = -23 + 28. Suppose -4*h - f*c - 1 = 0, 5*h + 0*h - 1 = -4*c. Is i at most as big as h?
True
Let h = 91 + 30. Suppose 0 = -5*q + h + 279. Let s be ((-6)/q)/((-3)/(-2)). Is s >= 1?
False
Let v(m) = 2*m**2 - 1. Let x be v(-5). Suppose -4*g + x = 17. Suppose -10 = 2*r - g. Is 10/9 at most as big as r?
False
Let y(g) = -g**3 + 6*g**2 - 4*g - 7. Let d be y(5). Let r be d/((-24)/9 + 3). Suppose -7 = -3*p + 5. Which is smaller: r or p?
r
Let p(d) = -7*d - 14 + 9 + d - d**2. Let r be p(-6). Which is smaller: r or -7?
-7
Let s be (-5 - -30)*(22/(-7) - -3). Let m = s - -23/28. Which is greater: m or -3?
m
Let s(a) = 1259*a**2 + 96*a + 311. Let y be s(-3). Which is bigger: y or 11353?
y
Let c = -2/509 - 499/2545. Is 2/821 < c?
False
Suppose z - 5*z = -3*h + 19, h - 9 = 2*z. Let k be (-10)/5*h - 16/(-14). Which is bigger: k or 0?
0
Let n be (5 - (1 - -6)) + 93/5. Is n at most -3/8?
False
Let j = 56 - 82. Let a = -217.7 + 183.7. Let m = a - j. Is 2/3 at most as big as m?
False
Let w(o) = -o**3 + 11*o**2 + 27*o - 28. Let u be w(13). Let k = 29/2 + u. Which is greater: k or -1/36?
-1/36
Let o = 12.91 - 12.81. Which is greater: o or 13.105?
13.105
Suppose 36*h = 19432 - 19432. Let w be (4/(-3) - -2)*24. Let v be (-36)/(-15)*(-1)/w. Which is smaller: v or h?
v
Suppose -2232 = 309*v - 345*v. Suppose -a - 5*p = -67, -3*a = -a - 2*p - 122. Are v and a equal?
True
Let q = -190 - -187.5. Let x = q + 3.5. Which is bigger: x or 11?
11
Let p = 10454 - 10453. Is 66/1409 < p?
True
Let a be (-4071)/(-12) + 1 - 117/(-156). Let f = a + -92. Which is smaller: 250 or f?
f
Let g be (17 + 3)*(-2)/(-8). Suppose -2*c - c - 1 = -2*r, -g*r + 13 = 3*c. Suppose -6*j + r*j = 0. Is 10/17 at most j?
False
Suppose 4*y = -2*h, 6*h = 5*y + h - 30. Suppose 12*u - y = 11*u. Let c be -4 - (-1)/(u/(-10)). Which is smaller: c or -37/4?
-37/4
Let y = 0.221 + -116.221. Let v = 129 + y. Which is smaller: 4 or v?
4
Let g(p) = 28*p - 24. Suppose 2 = -u, -3*r - 2*u + 4*u = -7. Let d be g(r). Which is smaller: d or 8?
d
Let d = 11.327 + 3550.673. Which is bigger: -2/3 or d?
d
Let o = -87 + 83. Let m be 6/o*(-22 - -10). Let h be ((-2)/(1*-2))/(-1). Which is bigger: h or m?
m
Let l = 13.96 - 7.95. Let q = l - 1.01. Which is smaller: q or 0?
0
Suppose -4*t + 5*b = 38 - 6, -2*t + 2*b - 14 = 0. Let v be t + 0 - (-124)/4. Let w = -2.3 + 1.3. Is v != w?
True
Let z = -13 + -5. Suppose -s + 4*c = 14, -c = -13*s + 9*s - 71. Is s at most z?
True
Suppose 35*z - 492 = 68. Le