-25 or p?
p
Let i = 423 + -421.9. Are 103/3 and i equal?
False
Suppose -2*a = 4*z - 8 - 16, 24 = -2*a + 4*z. Which is greater: 2/3709 or a?
2/3709
Suppose 3*j + 2*z = 548, -31*z + 27*z + 186 = j. Is 179 >= j?
False
Let y = -0.065 + 0.019. Let r = -64.954 + y. Let c = -63.4 - r. Which is greater: 1 or c?
c
Suppose -3 = -2*m - 2*g - 7, 2*g = -5*m + 2. Suppose m*f + 17 = -3*c, 0 = 5*c + 29 - 4. Let u be 51/119 - 470/(-14). Which is bigger: f or u?
u
Let x be -9 + 12 - (0 - 0). Suppose -x*t - 5 - 55 = -5*o, -3*t = 2*o + 60. Which is bigger: -24 or t?
t
Let j = 1.7813 + 0.2187. Which is smaller: j or -1090?
-1090
Let s = -54822791/374 - -146585. Suppose 6*d + 4*r = 4*d + 18, -3*r = 2*d - 13. Which is bigger: d or s?
s
Let k = 11251 + -11249. Is 33/32 less than k?
True
Suppose 88*r + 9074 = -10550. Which is smaller: r or -222?
r
Let w be (8/(8/(-4609)))/(1 + 1 + -3). Which is greater: 4608 or w?
w
Suppose -4*t + q = -116, -t + 4*t = 3*q + 78. Let m be (-2 + (-40)/(-18))*135/t. Is 2/99 at least as big as m?
False
Suppose 13*i - 10 = 8*i. Let o be (-300)/232 - (-3)/i. Which is smaller: o or -1?
-1
Let w(a) = 4*a + 121. Let b be w(-19). Suppose 1 - 3 = 2*v. Let f be 3 + v/((-1)/44). Which is smaller: b or f?
b
Let z(t) = -2*t**3 + t**2 - 16*t + 11. Let h(b) = 2*b**3 - b**2 + 8*b - 6. Let r(u) = -5*h(u) - 2*z(u). Let j be r(2). Is j != -177/4?
True
Let b(z) = -2*z - 1 + 3*z**2 + 2 + 113*z**3 - 112*z**3. Let l be b(-3). Suppose -l*f = -16 - 40. Is -2 equal to f?
False
Let h be -1*(-3 - -10) - -137. Let s be (-6)/(-4) - 923/h. Let k(q) = -7*q**2 + q. Let y be k(1). Is y != s?
True
Let h = -2189 - -1244. Let q = 942 + h. Is 1/10 at least as big as q?
True
Suppose -4*h - 6 = -h, 4*h + 3128 = 5*p. Do -9 and p have the same value?
False
Suppose -36*v + 91*v - 770340 = -93*v. Is 5206 greater than or equal to v?
True
Let l = -3174 + 3060. Which is greater: -116 or l?
l
Let w(y) = y**3 - 37*y**2 - 128*y + 277. Let u be w(40). Which is smaller: u or -1?
u
Suppose 3*h = 217 + 716. Let p = 291 - h. Is -6 smaller than p?
False
Let z = 9162 + -9427. Do -4 and z have different values?
True
Let b = -7.183 + 7.483. Let w = -0.9 + 3.2. Is w less than or equal to b?
False
Let m = -98/613649 - 218438178464/9204735. Let p = -23718 - m. Which is greater: p or -0.1?
p
Let b be (61/(-2))/(((-12)/6)/(-4)). Let d = b - -69. Let k be ((-122)/d)/(4/(-16)). Is 62 at most k?
False
Let u(k) = 77*k**2 - 123*k + 466. Let v be u(4). Is 1205 at least as big as v?
False
Let g(a) = -a**2. Let s be g(-1). Let i be (-3 - -7)*(9 + s). Let t be (4/(-24) - (-3553)/114)*1. Are t and i non-equal?
True
Let p be 0/7 + -10 + -1. Let t be (-5)/2*(-11)/22*4. Suppose -t*l - 14 = 2*f, 4*f - 4*l = -2*l - 4. Is f < p?
False
Let j = -6.3 + 0.3. Let i = j - -5.51. Let a = i + 0.49. Do a and 10 have different values?
True
Suppose 2*g = -4, o = 4*g - 538 - 87. Let y = o + 1886/3. Which is bigger: 0 or y?
0
Suppose -10 = -2*u, 5*u + 0*u = -3*t + 388. Suppose -t*s + 112*s = -882. Are 100 and s equal?
False
Let r = 98/465 + -566591/3255. Let y = r - -173. Let b be 0/((-6)/(1 + 2)). Which is smaller: y or b?
y
Let r be (-1)/(4 - ((-174)/145)/(2/(-5))). Let f be (-29)/15*(-2376)/272. Let d = -84/5 + f. Is d less than r?
False
Let n be (-146)/(-3 - -1) - 3. Suppose -o - z = -76, -4*o + 14*o - 2*z = 700. Is n at least o?
False
Let q = 4071 - 4070. Is 186 > q?
True
Let s = 906 - 901. Suppose m + 2 - 3 = s*l, l + 4 = 4*m. Are l and 4/19 equal?
False
Suppose -5*w + 662 = 4*r + 3889, -25 = -5*w. Are -815 and r non-equal?
True
Let u = 105.4 - -441.6. Let o = -497.15 + u. Let r = o + -50. Is -0.1 != r?
True
Let j = 2274 - 5119. Let l = j + 34169/12. Is 3 at most l?
False
Let s be -3 - (-8 + (2 - -2)). Let b(j) = -s + 563*j - 5 - 556*j - j**2. Let g be b(6). Which is bigger: g or 5/12?
5/12
Let c be 5/(-3)*76/30. Suppose 0*t = 5*t - 4*y - 24, 0 = 3*y + 3. Suppose -2*r - 3*w = 4, 5*r - 3*r + t*w = -2. Which is greater: c or r?
c
Suppose -5*o + 12846 = -3*g - 5216, -3*g + 3*o = 18048. Which is bigger: g or -0.1?
-0.1
Let u(k) = -2*k**2 + 9*k + 1. Let i be u(5). Let j be (-4 - -5) + (3 - (-9)/(72/(-16))). Is j less than i?
False
Let u(p) = -13*p + 30. Let b(r) = 97 - 61 + 6*r - 50. Let d(x) = -5*b(x) - 2*u(x). Let t be d(5). Is -11 at most as big as t?
True
Let g = -26327/3 - -8775. Let s = 4.89 - -0.11. Do s and g have the same value?
False
Suppose -5*f - 3 - 22 = 0, 2*y = -4*f - 18. Suppose -4*a + 5 = 3*k + y, -a = -3*k - 16. Let q be a/(-6)*(18 - 36). Are q and 12 nonequal?
False
Suppose 105*b - 181852 = -130402. Suppose -7*p + 1960 = -3*p. Are b and p unequal?
False
Let p = -273 - -275. Let x be p/13 - (-4168)/(-29120). Is 1 at least x?
True
Let z = 21100/649 - 358/11. Suppose -4*n + 0*n = -20. Let s be (-2)/5 + (-3)/n. Which is bigger: s or z?
z
Let f = -40/87 - -15193/33234. Let l be (-6)/8 + ((-119)/28)/17. Which is smaller: f or l?
l
Let u = -314 + 314. Let i be -15*(0 + -1)/3. Let h be (10 - i) + u + -1 + -2. Is 15/8 >= h?
False
Let f be 48/(-9)*(0 - -6). Let b be (-3)/(2 - (-106)/f). Let s be -16 + (-120)/(-8) - (-11)/((-55)/(-10)). Is b equal to s?
False
Let g be (4/3)/((-98)/(-24843)). Let z = -312 + g. Which is greater: 28 or z?
28
Suppose 0 = 5*x + z - 13058 - 42729, -2*x + 3*z + 22325 = 0. Which is smaller: x or 11157?
11157
Suppose -2*a - 208 = -216. Suppose -4*n + 3*r = 580, 0 = -a*n - 4*r + 8*r - 576. Which is greater: n or -149?
n
Let w = -230 + 242. Let l be (6/w*9*6)/(-1). Is l > -24?
False
Let o(p) = p**3 + 4*p**2 + p + 2. Let m(d) = d**3 + 12*d**2 - 13*d - 4. Let z be m(-13). Let b be o(z). Let j = -804 + 805. Which is smaller: j or b?
b
Let g be -1 - -9 - (80 - 76). Let j = 25 - 18. Suppose g*x - j*x - 27 = 0. Is -8 at most as big as x?
False
Let z(m) = -6*m - 36. Suppose -3*c = -19*c - 240. Let y be z(c). Suppose -2*w = 18 + y. Is w less than -37?
False
Suppose z - 7*z + 1254 = 0. Let i = 262 - z. Is i bigger than 53?
False
Let f = -2147 - -1836.25. Let z = -311 - f. Suppose 0 = 4*v + 2*a, -2*v - 4*a = -v - 7. Which is smaller: v or z?
v
Let m be 20/8*(-9)/((-27)/498). Let b = m + -450. Is -8 less than or equal to b?
False
Let a(u) = 3*u + 25. Let t be a(-4). Suppose t*n + 446 = 1252. Are n and 63 non-equal?
True
Let a be (6/8)/(3/16). Suppose -g - a*l + 15 - 2 = 0, -3*g + l - 13 = 0. Which is smaller: g or 0.51?
g
Let f be 36/(-6)*-2*(-2)/(-6). Suppose 0 = -f*q - 3*u + 253, -q - 3*q + 4*u = -288. Does q = 67?
True
Let k(p) = -2*p + 39. Let g be k(19). Let u = 624.4 - 541.4. Which is smaller: g or u?
g
Let f = 63 - 33. Let n = f - 29.973. Let c = n + -3.027. Which is smaller: c or -0.02?
c
Suppose -o = -2, 2*h + 2*o - 28 + 74 = 0. Let x(w) = -147*w + 462. Let r be x(3). Let n = h + r. Is n not equal to -4?
False
Let k be 45/(-10)*(-8 + 60). Let a be (2 + -6)*(1 + (-231)/(-4)). Which is smaller: a or k?
a
Let b = 98 - 78. Let c be -2*b/(-24)*-3. Which is bigger: c or -2/7?
-2/7
Suppose -10*h = 303 + 757. Let s = h + 109. Let d be ((-7)/(-8))/((-2)/(-8)). Which is greater: s or d?
d
Let a(r) be the first derivative of 3*r**4/4 + 5*r**3 - 7*r**2/2 - 4*r + 39. Let i be a(-7). Let l = i + 4005/16. Is 2 not equal to l?
True
Let b be ((-6)/17 - 0)*-2. Let x(g) = g**2 - 2*g + 14. Let t(q) = q + 1. Let n(a) = -6*t(a) + x(a). Let p be n(1). Is b at most as big as p?
True
Let w(j) = 11*j**3 - 11*j**2 - 30*j - 13. Let b(u) = 5*u**3 - 5*u**2 - 14*u - 6. Let r(a) = -13*b(a) + 6*w(a). Let y be r(1). Which is smaller: -83 or y?
-83
Let y(v) = -20*v - 600. Let f be y(-30). Are 4/549 and f nonequal?
True
Let y be (-5)/25 + (-76)/(-60)*-3. Which is smaller: -72 or y?
-72
Let a = -8 - -11. Let x be ((-28)/(-64))/(49/(-196)) + 13/2. Is a greater than x?
False
Suppose 76*j - 65*j = 2530. Let k = -232 + j. Which is bigger: k or 3?
3
Let v be ((-70)/42)/((-10)/10). Is -121 < v?
True
Let r be (4 - 3)/((-3)/6). Suppose 4*v + 39 = -3*b, 0 = 5*b - 14*v + 13*v + 88. Which is smaller: b or r?
b
Let k(c) = 5*c**3 - 385*c**2 - 2*c + 220. Let j be k(77). Is 69 not equal to j?
True
Let j = -0.577 - -0.6. Let b = j + -6.023. Let a = b + 9. Which is smaller: a or -0.6?
-0.6
Suppose 20*w - 90 = -190. Do -0.017 and w have different values?
True
Let i be (-6)/(-21) + (-8)/((-1120)/6372). Let b = i - 192/5. Which is smaller: 8 or b?
b
