379 - -2.821. Which is greater: q or -0.06?
q
Suppose 6*p - 20 = p, -5*x - 3*p = 3. Let t(c) = -9*c + 15. Let b be t(2). Let u be (-4 - b)*(-2)/6. Is u > x?
True
Let t be 2/(-16)*((-59552)/20)/(-2). Let f = t - -387/2. Let s be (1 + -17)*9/(-18). Which is smaller: s or f?
f
Let t be (-111660)/(-126) - 108/81. Which is smaller: t or 885?
t
Let l = -50.08 - -1.08. Let x = l + 47. Let h = 1 + x. Are 2/3 and h equal?
False
Let d be (155/(-163735))/(1/12). Let v = 1/143 + d. Let p = 9613/1145 - v. Which is smaller: 7 or p?
7
Let c(m) = -346*m + 2783. Let k be c(8). Let t(r) = -3*r + 12. Let a be t(0). Is k at least as big as a?
True
Let d = 3/6775 - 15041/3367175. Is d at most 1?
True
Let p(t) = -121*t + 5. Let c be p(1). Let u be 12*(-6)/(-40635)*13632/c. Let o = -2/1505 - u. Is -1 less than o?
True
Let d(t) = 2*t**3 - 19*t**2 - 13*t + 72. Let s be d(8). Which is smaller: -228 or s?
-228
Let y = -0.439 + 0.639. Which is greater: y or 0.946?
0.946
Let r = 78590 - 6365413/81. Let x = 1/81 + r. Is -6 less than or equal to x?
True
Suppose -81 = 7*q + 17. Let c be (-16)/112 - (-166)/q. Which is bigger: -13 or c?
c
Let y = 11 + 9. Let t be (12/24)/((-1)/y). Let i(l) = l**3 + 12*l**2 + 22*l + 8. Let j be i(t). Do -3 and j have different values?
True
Let o be (37/30 - (-54)/540)*6/(-4). Is o < -0.03858?
True
Let f(l) = -3*l**3 - 4*l**2 - 510*l - 4190. Let m be f(-8). Which is smaller: m or 1151?
1151
Let q be 110 + 0/(-2) + 4. Suppose -10 + q = -4*k. Let t be (-334)/k + (-4)/(-26). Which is smaller: 12 or t?
12
Let o(x) = -9*x + 39. Let m be o(4). Let v be m/(-39)*(-4 - (-70)/15). Let g(f) = -f**2 - 2*f - 1. Let j be g(-1). Is v equal to j?
False
Let h = -1.27 - 147.73. Let v = h - -150. Let s = -6.9 + 7. Is v bigger than s?
True
Let x(v) = -4*v**2 + 106*v + 55. Let c be x(27). Is 23 >= c?
True
Let p be 112/(-756)*18 + (-11)/(-3). Let s = -3 - -3.1. Is p bigger than s?
True
Let s = 11.269 + -11.669. Which is smaller: s or 39/16?
s
Let p be (-3)/6 - (-694)/4. Let a(u) = u**2 - 79*u - 816. Let h be a(-11). Which is greater: h or p?
h
Let z = 25 - 22. Suppose z*p = 3*v - 21, -27 + 5 = -2*v + 4*p. Suppose 5*i + x - 1 = 0, 2*x - v*x - 3 = i. Is 1/59 bigger than i?
False
Let a = -11 - -13. Suppose a*p + 14 = -t, -3*t - p = -4*t + 1. Is -17/5 greater than t?
True
Let a be (1 - (-72)/(-74))/(-1). Let i be (2/(-2 - 12))/(88/28 - 3). Which is smaller: i or a?
i
Suppose -5*o - 2 = 4*c - 42, 5*o - 55 = -c. Suppose -4*m + 0 = -o. Suppose -4*v + m*v - 26 = 5*q, 5*q + 23 = 2*v. Is v not equal to -9/5?
True
Suppose -l + 2*v = -182, 4 = -5*v - 16. Let p be (l/(-25) - -2)/(10/25). Suppose 2*s + s + 5*o + 43 = 0, 4*s + 3*o = -50. Which is smaller: s or p?
p
Let s = 23587/858 - -4/429. Let k = 28 - s. Let f = 4.8 - -1.2. Is k greater than f?
False
Let d be 2/(-5)*25/(-4)*-114 - -6. Which is bigger: -281 or d?
d
Let h be (-14 + 18)*(146/(-8) - 0). Let a = h + 56. Suppose 34 = -0*l - 2*l. Is a at least as big as l?
True
Let b(j) = -5*j**3 - 159*j**2 + 38*j - 2. Let m be b(-33). Are m and 5278 equal?
True
Let u(r) = r + 70 - 138 + 41 + 73. Let b be u(-53). Let k be (-10)/6*(-56)/(-12). Which is smaller: b or k?
k
Suppose -3*o + 4*l - 25 + 26 = 0, 4 = -4*l. Is o < -73/100?
True
Let b = 33.835 - 34. Let o = -0.025 + b. Let w = -0.09 - o. Is 1 greater than or equal to w?
True
Let u = 23 + -19. Suppose 2*c + 72 = 6*c + u*q, -86 = -4*c + 3*q. Suppose -5*b - 3*o + c = 0, b - 2*o = -0*o - 9. Is b <= -0.4?
False
Let d = -4504 - -544988/121. Which is smaller: -1 or d?
-1
Let x be 10/3*((9 - 6) + 3). Do x and -12 have the same value?
False
Let s be 724/(-5068) - (-1290)/14. Is 146 greater than s?
True
Suppose -49*q = -25552 + 6197. Which is bigger: -16 or q?
q
Let v(y) = 3*y**2 + 31*y - 43. Let j(w) = -w + 2. Let k(c) = 5*j(c) + v(c). Let p be k(-10). Is p smaller than -29?
False
Suppose -23*q + 1192 = -1223. Which is greater: 98 or q?
q
Let c(n) = -2*n - 2. Let s(z) = z**3 + z**2 + 4. Let v be s(0). Suppose 3*t + 5*r = -8, -5*r + 0*r - v = -t. Let h be c(t). Is h greater than -21?
True
Let b be 0 + (0/(-2))/(-38 - -30). Is -1/39025 smaller than b?
True
Suppose 2 = b - 4. Suppose 0 = -23*c - 261 + 629. Which is bigger: c or b?
c
Let b be (((-4)/(-6))/2)/((-11)/(-198)). Let c be (0/(-1))/(49/(-7) + b). Let y = 4013/17 + -236. Which is bigger: c or y?
y
Let k = -92 + 90. Let j be 10 - 8 - (k - -1). Suppose -157 = -j*r - 49. Which is smaller: r or 38?
r
Suppose 0 = 5*d + 4*a - 149, 0 = -5*d + 5*a - 10 + 150. Suppose -d*m = 4*m + 7854. Is -238 <= m?
True
Let n(d) = d - 13. Let h be n(11). Let t be 3 - (2/2 - h). Let c be t + 1 + ((-1)/(-3))/(-1). Which is bigger: 7 or c?
7
Suppose -a + 54 = -0*a + 3*n, 51 = a + 2*n. Let u be (-4 - 3684/(-66)) + 4/22. Suppose u*s - 45*s = 308. Which is bigger: s or a?
a
Suppose -28 = 111*p - 118*p. Suppose 2*y + 19 = -2*f - 539, 1119 = -p*y - f. Which is bigger: y or -279?
-279
Let z be ((-2)/(-4))/(702/(-180)). Let r = 5 + -5. Is r greater than or equal to z?
True
Let s = -135 - -93. Let d = 3061 + -3062. Which is smaller: s or d?
s
Let v = 89 + -91. Let l(p) = -14*p + 8. Let k be l(v). Which is bigger: k or 34?
k
Let w = -378 + 376. Let k be ((-3)/w)/((-93060)/240). Do k and -1 have different values?
True
Let i(j) = -10*j**2 - 53*j - 12. Let t be i(-5). Suppose 2*u - t*h = 0, -5*u = -7*h + 11*h. Is 27/22 greater than u?
True
Let a = 2 + -3. Let i(q) = q**3 - 7*q**2 - q - 40. Let m be i(8). Let h be (-4)/6*((-2046)/128 + m). Is a at least h?
False
Suppose 5*p = 4*s - 235, 0 = -3*s - 50*p + 54*p + 178. Suppose -y + 3*k + k + 52 = 0, 2*y - 104 = -2*k. Is s > y?
False
Suppose 4*z + 42*z + 4*z - 61750 = 0. Is z < 1229?
False
Let n be 404/44 - (14 + -5). Which is smaller: n or 1.3?
n
Let d = 0.47 + -16.47. Suppose -6*h + 4*h = 5*x + 18, -3*h = -3*x + 6. Let n be (5 - 2) + (-174)/(-108)*x. Which is smaller: d or n?
d
Suppose -3*p - 55 = -14*p. Let j be (-2)/p - (-2)/5. Let h be (-53)/28 + 5 + -3. Is h greater than or equal to j?
True
Let g = 1.3 + -18.4. Let k = -0.9 + g. Let z = k - -15. Is z at most -16?
False
Suppose 5*u - 10 = 10. Suppose 4*c + 2*q + 2 = 0, q + u*q + 5 = 2*c. Let n = -30484 - -30485. Is c greater than n?
False
Let b = 1871 - 2991. Is -1120 > b?
False
Let d = 74/7 - 4944/469. Let z = 795 + -796. Which is greater: d or z?
d
Let g(h) = -112*h - 1001. Let q be g(-9). Which is greater: 3 or q?
q
Let j = 10.677 - 1.747. Let y = j - -0.07. Suppose -225 = 99*n + 171. Do y and n have the same value?
False
Let a = 3.05 - 3. Let o = 0.12 - a. Let p = -52750 - -52753. Are p and o unequal?
True
Let y = -91.4 - -91. Let a = y + 1.4. Does a = 0.1?
False
Let i be ((-38622)/(-41))/((-24)/(-22) - 2). Let v = 1043 + i. Which is bigger: v or 6?
v
Suppose 3*o = 7*i - 4*i - 450, 0 = -i + 4*o + 174. Suppose 5*a - 253 - 462 = 0. Which is greater: i or a?
a
Let t be 5 - (1 + 1)*1. Suppose t*g + w = -109, 179 = -3*g - 2*g + w. Let y be (-18)/g*(-10 + 0). Which is bigger: y or -7/2?
-7/2
Let o be 12/7 + (-10)/(-35). Suppose 44 - 56 = -o*h. Let l be 42/(-38)*2/h. Is l not equal to 0?
True
Let r(n) = 3*n**3 - 2*n**2 - 2*n. Let x be r(-1). Let y = -2 - x. Do 8/13 and y have different values?
True
Suppose -4*v + 2*v = y - 1, 4*v = -7*y + 47. Suppose q + 2*q = y*q. Is q smaller than 379?
True
Let t = 14.824 + -14.824. Which is bigger: t or 8978?
8978
Let r be 0 + -4*(-2070)/24 + -6 + 9. Which is smaller: 326 or r?
326
Let h = -0.441 - -466.441. Let d = h + -434. Is 0.1 at most as big as d?
True
Suppose 4*k + 2*d + 129 + 105 = 0, 3*k + 2*d = -173. Let h be 1/k*(-122)/549. Which is smaller: 1 or h?
h
Let j = 4437021/574 - 7730. Suppose 140*l + 25*l = -165. Which is greater: l or j?
j
Let s = -210 + 220. Suppose -2*i = 5*b - 57, 4*i + 8*b - s*b - 54 = 0. Which is bigger: 19 or i?
19
Suppose -947 = -42*b + 901. Is b at most 31?
False
Let h = 728.31 + 42.69. Do h and 0.02 have different values?
True
Let d = 117427/4 + -29758. Let b = 403 + d. Let g = 8 + -5. Which is smaller: g or b?
b
Let x = -75 - -55. Let s be (0 + 4/4)*(-8)/(-28). Which is greater: s or x?
s
Let j(s) be the third derivative of s**4/3 - 4*s**3 + 148*s**2. Let o be j(-6). Is o != -71?
True
Suppose 3*b - 136 = 4*k, -3*k - 20*b + 21*b - 102 = 0. Suppose -4*t - 3*l - 82 = -2*t, -4*t - 3*l = 152. Is k at least