0 + q. Which is bigger: v or -1?
v
Let r = -0.3 + 0.5. Let w = r - 0.2. Let p = -383 + 384. Is w <= p?
True
Let d = 4789 - 4789. Let m = 0.316 - 0.35. Which is smaller: m or d?
m
Let g = -766/3 + 257. Let i be (-4)/6*(-5 - -2). Suppose 5*x + i*a - 15 = -0*a, x - 3 = 4*a. Which is smaller: g or x?
g
Let o = 1.6 + -1.6. Let d = o + -0.25. Let p = -0.75 + d. Does 3 = p?
False
Let h = 23/4 + -6. Suppose 0*w + 30 = 5*w. Let c be (w/4)/((-9)/(-3)). Which is bigger: h or c?
c
Let v = -0.11 + 0.01. Let z = -9 - -12. Suppose 4*p = z*p + 1. Is p less than v?
False
Let u(p) = 2*p - 38. Let m be u(18). Let c be m - (3*4)/(30/(-140)). Does 54 = c?
True
Let g(n) = -33*n - 9. Let q be g(-1). Which is greater: 27 or q?
27
Let l be (5 - 4) + 0 + 13 + -12. Is 44/23 at least l?
False
Let b = -11.16 + 11. Let v = b + 0.46. Which is smaller: 0.06 or v?
0.06
Let k = -7.99 + -0.01. Let w = -2 + -8. Let o = k - w. Is o greater than or equal to 1/2?
True
Let x = 147 + -147. Let v = -66 + 70. Is v < x?
False
Let i = -252 - -512. Which is smaller: i or 0.1?
0.1
Suppose 5*w + 10 = 0, -5*w + 5 + 5 = -4*j. Let q(f) = -f**3 - 5*f**2 - f + 8. Let i be q(j). Is 13 greater than i?
False
Let v(p) = -p**2 - 45*p - 292. Let h be v(-8). Which is smaller: h or 53?
h
Let n = 564 - 548. Which is smaller: n or 34?
n
Suppose 2*h - 44 + 12 = 0. Let g be (6/5)/(14*9/1260). Let a = g - h. Do a and -5 have the same value?
False
Let m(t) = t**3 - t**2 - 2. Let b be m(0). Let h = 0 - -30. Let s = -30.8 + h. Does s = b?
False
Let a = 2.504 - 0.204. Which is greater: -0.6 or a?
a
Let b = -97/3 - -32. Let a = -3.091 - -0.171. Let u = -0.08 + a. Are b and u non-equal?
True
Let r be (-4)/(-6) - 44/(-6). Suppose 0 = 3*a - 15, o + a - r = -0*a. Suppose o*l + 3*n = 7*n + 35, -2*l - 15 = 5*n. Which is bigger: l or 4?
l
Let i be 1*(-230)/5*2. Is i > -86?
False
Let t(z) = -z**2 - 6*z + 6. Let w be t(-7). Let j be (-438)/(-420)*4/18. Let a = 2/63 - j. Is w at most as big as a?
True
Suppose -5*k = -5*j + 10, -5*k = -7*j + 8*j + 4. Let b be ((-16)/(-10))/(-8)*j*-5. Which is bigger: 2/7 or b?
b
Let v = 11 - 8. Is 6 smaller than v?
False
Let f = 15 - 13. Suppose -4*q = k - 4, -2*q - 5*k = -4*q + f. Let h be 10/6*q/15. Which is smaller: -1/4 or h?
-1/4
Suppose 4*v = 33 + 47. Suppose 0 = -5*l + v. Let b = -4.97 - -4.87. Is l at least b?
True
Let v(k) = k**2 + k - 1. Let a(l) = -2*l**2 - 3*l - 2. Let n(x) = -a(x) + 2*v(x). Let r be n(-2). Does 8 = r?
False
Suppose 4*n - 2040 = -n - 5*h, 5*n + 4*h - 2039 = 0. Let b = n + -2844/7. Suppose -3*q + 3 = -j - 1, -5*j = q - 12. Are q and b nonequal?
True
Let p = -1568858/235 + 6676. Suppose -2*j = -4*j. Which is smaller: j or p?
j
Let y = 72 - 166. Which is smaller: y or -93?
y
Let o(s) = -8*s**2 + 14*s**3 + s + 4*s**2 + 3*s**2. Let a be o(1). Which is smaller: 15 or a?
a
Suppose d - 3*l - 2 = 0, 3*d - 6 = 4*d + 5*l. Let r be ((-2)/(-12))/(6/(-78)). Which is smaller: r or d?
r
Let n = -90 + 97. Suppose 15 = n*m + 148. Which is smaller: m or -1?
m
Suppose -1974 = -20*o - 27*o. Which is bigger: o or 30?
o
Suppose 3*w - 4*w = -12. Let p be (w - 5) + -1*3. Suppose 0 = 3*d - p*d + 3. Which is smaller: d or 2?
2
Let o be (-12)/14 + (-24)/(-28). Which is smaller: -1/19 or o?
-1/19
Let n be (-6)/7 + 530/14. Is n smaller than 36?
False
Let m = -64.3 + 71. Let w = 6.6 - m. Is -2/3 smaller than w?
True
Let j = -7.8 - 0.7. Which is smaller: j or -1/4?
j
Suppose -362*o = -369*o. Which is smaller: -204 or o?
-204
Suppose 0 = 32*j - 4*j + 1120. Is -1/2 <= j?
False
Let r(z) = 7*z**2 - 13*z - 16. Let l(s) = -6*s**2 + 12*s + 16. Let x(f) = -6*l(f) - 5*r(f). Let q be x(9). Which is bigger: 15 or q?
15
Let q(k) = k**3 + 37*k**2 + 28. Let n be q(-37). Are 21 and n non-equal?
True
Suppose a - 4 = -3*a. Suppose d = -1 - a. Is -10/3 less than or equal to d?
True
Let g be -1 - (-30158 - (3 + -3)). Let y = g + -44300631/1469. Let t = 5894/13221 - y. Which is smaller: 1 or t?
t
Let v = 176 - 112. Let h = -45 + v. Which is smaller: h or 18?
18
Suppose -8*q + 3*q + 4*z - 11 = 0, -3*q = 2*z - 11. Do q and 9/53 have the same value?
False
Let r(h) = -8*h + 103. Let w be r(13). Let p be (0 - -4)*2/4. Is w >= p?
False
Let n = -3.65 + 4.15. Is n smaller than -42?
False
Let x = 0 - -0.2. Let w be 1/((-3)/(-2))*(-7 - -5). Is x equal to w?
False
Let f = 1040.05 + -1070. Let i = f - -30. Let c = i + 0.95. Which is bigger: c or 1/7?
c
Let j be ((-2)/4)/(126/8). Let y be 1 - -2 - ((-4 - -1) + 1). Suppose 0 = 3*d + 2 - y. Is d not equal to j?
True
Let s = 428/23 + -5536/253. Let l = s - -127/22. Suppose -d - 2*d = 3*p - 21, -3*d - 19 = -5*p. Which is bigger: d or l?
l
Let c be ((-22)/(-33))/((-1028)/(-7575834)). Let a = -4913 + c. Let n = 508/771 - a. Are n and -8 nonequal?
True
Suppose -5*l + l = 4*z + 8, 3*l + 5*z + 10 = 0. Let r be -14*18/(-63) + 1 + -6. Which is greater: r or l?
l
Let g be (10/(-6))/(2/288). Let m be (2/(-4))/(6/g). Suppose 0 = b - 6*b + m. Is b at most 2?
False
Let d(v) = v**3 + 5*v**2 + v + 3. Let b be d(-4). Let m = b + -5. Which is bigger: 11 or m?
11
Let g(u) = -u**3 - u**2 + u + 4. Let n be g(0). Let o be ((-220)/25)/(4/(-10)). Suppose -n*c + 2 = -o. Is c greater than or equal to 29/5?
True
Let o = -19 + 13. Let u = -0.2 + 4.2. Is u > o?
True
Suppose 40*h + 6*h = -47472. Which is greater: h or -1033?
h
Let n be 10/(-2) - (-2 - -1). Let v be (18/8)/(-3) + (-6)/n. Is 1 at most v?
False
Let i = 0 + 2. Let z be 10/(3*-1 - 21/(-9)). Let f be (-5)/(z/6) - i. Is 0 < f?
False
Let c be (16/4)/(-2) + (-20)/(-5). Is -1.3 < c?
True
Suppose -237*v - 575 = -212*v. Which is greater: -406/17 or v?
v
Let d = -0.068 - 30.932. Let j = -31 - d. Which is smaller: j or 19/4?
j
Let p be (-1)/((-153)/15) - (-3)/(-9). Does 5 = p?
False
Let w be 4/6*(-105)/(-14). Suppose -h - w*k - 9 = 9, 76 = -2*h - 2*k. Is 0.1 greater than h?
True
Suppose 0 = -4*n - 12 - 0, 2*f + 4*n + 64 = 0. Which is bigger: f or -77/3?
-77/3
Let u(q) = -2*q - 58. Let o be u(24). Which is greater: o or -104?
-104
Let w(z) = z + 3. Let l be w(-4). Let i = 19649/43 + -457. Is l less than i?
True
Suppose 4*t + 4*k + 31 - 119 = 0, -4*k = -4*t + 96. Is t less than 10?
False
Let x be 1*(-2 + 263) + (-1 - -3). Which is smaller: x or 1308/5?
1308/5
Let i be 0/1 + 3 - -2. Suppose 40 = 5*h - q, -3*h - i*q + 30 = -22. Let s = 9 - h. Is 0 at least as big as s?
True
Let v = 2.5 - 1.8. Let r = -0.7 + v. Let q = 3 - -1. Which is smaller: q or r?
r
Let r be (9/(-6))/((-1)/(-2)). Let n = r + 30. Suppose -5*o - n = 23. Which is smaller: o or -11?
-11
Suppose k - 14 = -2*d, -2*d = 2*k - 9 - 3. Let n = -6 + d. Which is greater: 1.2 or n?
n
Let a = -3 - -3. Let b = -2/5123 + 56381/71722. Let s = b + -2/7. Is a bigger than s?
False
Let b = -4.32 - -6.32. Let r = 0.3 - 0.37. Is r greater than or equal to b?
False
Let j(l) be the third derivative of l**5/60 - l**4/3 - 5*l**3/3 - 8*l**2. Let p be j(9). Let a be (0 + 0)/(1 + -2). Which is smaller: p or a?
p
Let m = -7 + -6. Let y = -47 + 34. Let x = y - m. Which is greater: x or -0.03?
x
Let f = 0.0202 - 3.6202. Which is smaller: -1 or f?
f
Suppose 0 = 5*y - 0*y + 3*z + 40, 0 = 3*y - 5*z + 58. Let i be 4*((-11)/(-150))/y. Which is bigger: -1 or i?
i
Let y(d) = d - 7. Let t be y(0). Let g = t - -9. Suppose 3*p + 4*v - 10 = 0, -3*p - g*p = -v - 9. Is 5 <= p?
False
Let w = -0.16 - 0.04. Let y = -17.4 + 17.3. Is w at least y?
False
Let y be ((-93)/6)/((-3)/(-2)). Is -11 less than or equal to y?
True
Suppose 13583 - 35190 = -41*k. Which is smaller: k or 2?
2
Let f(s) = 4*s**2 - 16*s - 4. Let j be f(4). Let r be j/8*4 - -2. Let t = 1582/11 + -144. Is t greater than or equal to r?
False
Let u = -0.04 - -0.2. Let r = 0.0243 + -0.2843. Let q = u + r. Which is bigger: -0.7 or q?
q
Let p = -108 + 108. Which is smaller: 2/115 or p?
p
Suppose 0 = -p - 3*h - 11, -h + 3*h + 13 = 5*p. Is -9/7 < p?
True
Let k = 116 - 163. Let x = k + 48. Let b = 0 - 1. Which is smaller: x or b?
b
Let p(d) = -d + 2 - 3 + 9. Let u be p(14). Is -2 at most as big as u?
False
Suppose -53 = 2*o + 5*g, -2*o + 3*g - 16 = -3. Let y be 36/o + (-6)/(-3). Are -1 and y equal?
False
Suppose 2*a - 20 = -2*a. Let j be (-6 + 5)*(0 + (-1 - 2)). Which is smaller: a or j?
j
Suppose -2*y = w - 51, 3*y + 23 = 4*y + 3*w. Let b = 2 - -1. Suppose -3*c + 3*h = -75, b