p?
-33
Suppose -2*r = 3*d - 46, -4*r + 13 = -d + r. Suppose -d*s = -4*s - 136. Which is greater: s or 14?
s
Let k = -1395 + 1395. Which is bigger: -1/292 or k?
k
Suppose -2*v - 162 = -4*v. Let w(z) = -2*z**2 - 59*z + 24. Let i be w(-30). Let d(j) = -13*j + 2. Let a be d(i). Is a at least v?
False
Let y(d) = -234*d + 701. Let x be y(3). Is 1221 < x?
False
Let m = -127 + 385/3. Let l be 147/(-28) - (-17)/((-102)/(-36)). Is m less than l?
False
Let f be ((-1)/(-20596))/(18513/(-1243291984)). Let s = -12736/2907 - f. Let m = -8/271 - s. Is 1 at most m?
True
Let q(x) = -56*x + 122. Let l be q(2). Suppose -2*c = -l*c - 1216. Which is smaller: c or -149?
c
Let w(a) = -3*a**2 - 14*a + 30. Let n be w(2). Is -292/33 less than or equal to n?
False
Let f = -115.559 + 0.559. Let b = 78 + f. Is 3 > b?
True
Suppose -b - b + 376 = 2*c, c - 5*b = 164. Let z = -183 + c. Which is greater: z or 18?
18
Let m = -32 + -157. Let f = m + 169. Which is smaller: f or -2?
f
Let q = -1758 + 3916. Is 2159 at most q?
False
Suppose 6*l + 19 = 523. Let t = l - 187. Is t equal to -103?
True
Let u = -1117 + 846. Let b = u - -263. Is 10 at most b?
False
Let x be (2/(-6))/((-17)/(-51)). Let u be ((-637)/(-147))/(-1*x/(-3)). Is u bigger than -19?
True
Let z = -2093.153 - -2092. Let l = -0.187 + z. Which is bigger: l or -1?
-1
Let u = -491518 + 491518. Let v be 26*1*1/2. Is v greater than or equal to u?
True
Let o be 1*(1395 - 0) - 16. Which is bigger: o or 4133/3?
o
Let v = 41 - 27. Let d = 26 - v. Suppose -3*f = d - 42. Is f less than 2?
False
Let q = 4.94 - 4.1. Let x = -0.04 + q. Let v = 2.1 + -3.1. Which is bigger: v or x?
x
Suppose 10*y = 5*y + 3*m + 4, 8 = 4*m. Let a be (166/(-581) - 4/(-14))/2. Suppose a = -3*r - y*r - 365. Which is greater: -72 or r?
-72
Let w be 376/18*4*357/448. Let q = 485/6 - w. Are q and 13 equal?
False
Suppose 5*u - 1204 + 128 = -2*k, 3*k + 205 = u. Are 217 and u unequal?
True
Let v(q) = 3*q + 45. Let p be v(-15). Let z(f) = -53 + p*f + 29 - f + 22. Let t be z(-6). Is 1 at least as big as t?
False
Let u = -1 - -11/7. Let s = 36 - 295. Let i = s - -263. Which is greater: u or i?
i
Let h = 51 - 51.235. Let w = -0.12 - h. Which is greater: 1 or w?
1
Let s(w) = -w + 6. Let y be s(5). Let f be (y*-1 - (-4 - -3)) + 25. Let i = -38 + f. Is i less than or equal to -13?
True
Let u(x) = x - 8. Let j be u(6). Let o = 116 - 83. Let z = o - 98/3. Is z equal to j?
False
Let o = -2122 - -2123. Let p(g) = g + 6. Let u(r) = 2. Let y(c) = -3*p(c) + 8*u(c). Let k be y(-5). Do o and k have the same value?
False
Let r = -345.4 - -345. Is r not equal to -127/2?
True
Let q(h) = 689*h - 6909. Let r be q(10). Suppose 3*z - 8 = 4*f, 4*z = -z - 4*f - 8. Is r less than z?
True
Let t(g) = -714*g + 1431. Let k be t(4). Which is smaller: k or -7131/5?
-7131/5
Let p be (-8 - -8)/(1/(-1)). Let k = -3/29 + 344/3045. Is k less than or equal to p?
False
Let t(n) = -406*n - 55. Let s be t(-1). Is s at least as big as 351?
True
Let x = -3.6575 - 0.3425. Which is greater: x or 88?
88
Let c be (-825)/(-90) - ((-1)/1)/(-6). Let g be (-1)/c + 1573/(-99) + -1. Which is greater: -19 or g?
g
Let s = 78 - 24. Let q be (-2151)/s - (-2)/(-12). Let j be (6/(-5)*-2)/((-12)/q). Which is greater: 4 or j?
j
Let q(c) = 114*c + 331. Let y be q(-3). Let a = 5 - 8. Let o be 20/a*12/8. Is o greater than y?
True
Suppose 3*j - j = -u - 4, -3*j = 3*u + 9. Let k(c) = c**2 - 12*c + 15. Let w(x) = 7*x**2 - 5*x - 2. Let g be w(-1). Let n be k(g). Is j equal to n?
False
Let k be (-45622)/8580 - (-6)/1. Let x = k - 2/2145. Are 1 and x equal?
False
Let z = -653 + 651.35. Is z < -3?
False
Let z = -5.8 + -0.2. Let y = z + 3. Let q = 3918 + -3925. Does q = y?
False
Let c be (1 - -44) + 110/(-22). Suppose -23*g + c + 98 = 0. Let q be (-1 + 10/12)*-28. Is q not equal to g?
True
Let w = 6050 + -5955. Is w at least as big as 131?
False
Let h = 12 + -20. Suppose 5*w - 2*i - 96 = -i, -2*w - 4*i + 34 = 0. Suppose 4*m + w = -25. Which is smaller: m or h?
m
Let p = 1742445 - 47070508/27. Let d = p + 907. Which is smaller: 1 or d?
d
Let k be (38/8034076368)/((-959508330592)/479754165228 + 2). Let r = -2/167376591 + k. Let h = 5/272 + r. Which is greater: h or 1?
1
Let j(h) = h**2 - 6*h - 10. Let b be j(8). Let l be (-1)/b + (-185)/(-30). Let g be 4/(-3)*36/(-8). Are g and l non-equal?
False
Let a be (-3 + 1)*(112 - (2 - 6)). Let q = -221 - a. Is q at least 16?
False
Let q = 0.0993 - -0.9707. Let w = -2.17 + q. Is -7 bigger than w?
False
Let c(k) = 2*k**2 + 18*k - 1. Let x be c(-9). Let i be 5 - 3 - x - -108. Which is greater: i or 112?
112
Let v be 27*((-990)/91 - 27/(1512/(-32))). Which is bigger: v or -278?
-278
Let w(g) = g**2 - 14*g + 25. Let b(j) = j**3 + 3*j**2 - 9*j - 9. Let s be b(-4). Let t be w(s). Is t smaller than 0.2?
True
Suppose -3*g + 8 = -g, 2*l = 3*g - 4. Let m be 1924/(-195) + 10 + 86/30. Suppose -q - m*r - 5 = 0, -2*q + 56 = -4*r + 36. Is l greater than or equal to q?
True
Let l(j) = -j**3 + 12*j**2 + 7*j - 21. Let m be l(12). Suppose 5*y = -m + 223. Suppose -y = 2*f - 38. Which is bigger: f or 13/4?
13/4
Let g = 223 + -202. Let b = -39 - -57. Let a = b - g. Are -7 and a nonequal?
True
Let g = 7 - 8. Let o be 1/(0 + g/(-2)). Let n = -1130/1343 - -178/79. Which is greater: o or n?
o
Let u = -168 + -1. Let t be 1 - (20/(-80) - u/148). Suppose 0 = 5*j - 4*j. Which is smaller: j or t?
j
Suppose -1 = g + 6*p, 5*p = -3725*g + 3726*g + 1. Let d be (-5)/3*2/(-2065). Is d at most as big as g?
False
Let h(o) = o**3 + 6*o**2 + o + 8. Let a be h(-6). Suppose -4*k + a*b = -2, -2*k + 3*b = 2*k - 1. Is 5/24 at most as big as k?
True
Suppose 0 = -4*b + 92 + 4. Let a(n) = n**2 - 14*n + 17. Let z be a(6). Let k = b + z. Which is smaller: -10 or k?
-10
Let h = -2011 - -2029. Which is smaller: h or -1?
-1
Let q be (3 - (1 + 4202/2096))/(11/(-22)). Which is smaller: q or 0?
0
Let t = 628.09 - 620. Let f = t + -0.29. Let i = f + -8.4. Is i smaller than 7?
True
Let h(k) = -k**2 + 72*k - 96. Let f be h(59). Is f equal to 673?
False
Suppose -2*y + 4*b = -0*b - 156, 2*b = 2*y - 162. Let q be (-15)/y*6/(-10). Suppose -11*k + 15 = 26. Is q at least as big as k?
True
Suppose 1175 = 5*h - 2*o, 248 = -5*h + 5*o + 1423. Is h greater than 230?
True
Suppose -2*l + 4 = -0. Suppose -4*r = -6*t + 4*t + 16, 2*t = l*r + 8. Let w = 3 + -2. Is w bigger than t?
True
Let v(d) = -d**3 + d - 14. Let q be v(0). Let m(s) = s**3 + 15*s**2 + 13*s + 10. Let n be m(q). Let y = -5 + n. Is y greater than 19?
False
Suppose -3*z - 128 = 2*a + 99, -3*z + 5*a - 262 = 0. Let n = -5592 - -5671. Let m = z + n. Which is greater: m or -1/8?
m
Let w = 336 - 544. Let j = w - -2. Which is bigger: -207 or j?
j
Let y = 102 + 30. Let o = 309 - y. Is o greater than or equal to 3?
True
Let z(f) = f**3 - 2243 + 14*f**2 + 2224 + 39*f - f. Let y be z(-10). Is 3/139 at least as big as y?
False
Let a be (-8262)/(-48) - (-6)/(-48). Let k = a - 286. Is k less than or equal to -113?
True
Suppose -39*b + 36*b + 2096 - 545 = 0. Which is smaller: b or 522?
b
Suppose -2*t + 610 = 3*d, -d + t + 197 = -13. Let z = -97 - -118. Suppose -5*n + d = z. Does 37 = n?
True
Let n = -866 + 887. Let r = 824/5 + -166. Which is greater: n or r?
n
Let a = -5 - -8. Suppose -490 = -7*c - a*c. Which is bigger: c or -2?
c
Let t be -33 + -12*(-2)/(-4). Let d be (t + 1)*5/(20/38). Is -362 smaller than d?
True
Let q = -11246 + 11092. Is q > -141?
False
Suppose -8497*q + 20558 = -8459*q. Do 541 and q have the same value?
True
Let v = 1.08 - -0.02. Let y be -24*(-11)/1540*-25*(-3)/(-5). Which is bigger: v or y?
v
Let p = -6823 - -6822. Is 3224 greater than or equal to p?
True
Let k = -2/17279 + 51845/69116. Is -2612 greater than or equal to k?
False
Let p be 1285/(-1600) + 20/25. Let u = 97/320 + p. Let i be 22/18 + (-2)/9. Which is smaller: u or i?
u
Let v = -232.8 + 30.8. Let m = v - -204. Is 34 less than m?
False
Let g be (-34)/(-68)*(-98)/7. Are 533 and g non-equal?
True
Suppose -8105 = -5*h - 3*z, -46*z - 8085 = -5*h - 45*z. Which is smaller: 1623 or h?
h
Let a be (-15)/(-3) + (-116)/24. Let r = 19 - 21. Let d be r/(-4)*(-5 + 3). Which is smaller: d or a?
d
Suppose 73*l - 69*l = 34640. Let z be l/6960 - 5/4. Let f be 2/(-2) - (0 + 0). Is f < z?
True
Let g(b) be the third derivative of -b**6/120 - 7*b**5/3