 to u?
True
Let q(v) = v**2 + v - 6. Let g be q(-7). Is g smaller than 35?
False
Let r = 0.08 - -3.92. Let q be (12*2/294)/(6/21). Which is smaller: r or q?
q
Let v(f) = -2*f - 1. Let m be v(-1). Let g be (-1)/(((-21)/9)/(-7)). Let a be 2 + g - (2 - (-37)/(-13)). Is m < a?
False
Let l be (-6 - -2)/(2*-1). Let v be (-2 + 2)/((-4)/l). Let p = -72 + 437/6. Is v != p?
True
Let i(n) be the first derivative of -n**3/3 - 21*n**2/2 + 72*n - 16. Let y be i(-24). Let j = -89/3 + 436/15. Is y greater than j?
True
Suppose -124*y = -104*y + 1680. Which is smaller: y or -83?
y
Let x be (-3)/((3/(-8)*-4)/(-16)). Suppose -x + 0 = 4*l. Is -8 equal to l?
True
Let p be (-8)/(-230)*(-5)/(-2). Suppose -51*m = -49*m - 10. Suppose -5*z + 2*w = 16 - m, -5 = 2*z - w. Is z at most p?
True
Suppose 2*c - 6*c = -28. Suppose 4*p = -3 + c. Let g = 130 - 1823/14. Which is greater: p or g?
p
Let c = -3/25 - -37/100. Let v = -55.7 - -6.7. Let d = v + 49.12. Is c > d?
True
Let d be (-2)/((-32)/6)*6/(-9). Suppose 3 = -2*h + 5*v - 8, -2*h = -3*v + 9. Which is smaller: h or d?
h
Let x = -999/5 - -832137/4165. Which is smaller: 1 or x?
x
Let t = 36 + -23. Does 66/5 = t?
False
Let x = -53 + 81. Which is bigger: x or 2?
x
Let o(k) = 6*k**2 + 17*k - 1. Let p be o(-3). Suppose 7 = 4*c - 2*y + 1, -2*y = p*c. Do c and 1 have different values?
False
Let z = -102 + 43. Do -57 and z have the same value?
False
Let l be (-467648)/280 - (-1 + -2). Let s = l + 1667. Is 1 less than s?
False
Suppose 4 + 16 = 4*w. Let h be w/7 - 10/(-35). Let q be (-16)/78 + (-4)/(-6). Is h at least as big as q?
True
Let x be 8/(-6)*(-1383)/1066. Let w = -52/41 + x. Let h = -12 + 12. Is h <= w?
True
Let k = 142 - 139. Let v = -3 + k. Does v = 2?
False
Let y be 7/(-45)*27/144*8. Which is smaller: 1 or y?
y
Suppose -v + 5*y = 2, -3*v + y - 3 - 31 = 0. Which is smaller: -9 or v?
v
Suppose 0 = -3*g + 22 + 2. Let n be (-4 + g)*(-3)/6. Let r(t) = t + 3. Let m be r(-5). Are m and n equal?
True
Let p be (-1 + 2)*8/4164*9. Which is smaller: p or 0?
0
Suppose -418*i = -422*i - 208. Is i greater than -41?
False
Suppose -k = -0*k - 1. Suppose 18*s - 17*s = 196. Let g = s - 1571/8. Which is smaller: k or g?
g
Let s(v) be the second derivative of 11*v**4/12 - v**2 + 6*v. Let u be s(-1). Are u and 7 equal?
False
Let r be 129/(-215) + (-12)/5. Is 7 greater than r?
True
Suppose -5*r - 35 = 5*i, -r - 8 = 2*i + 1. Suppose 12 = -4*u + 4*a, 5*a - 23 = -4*u + 2*a. Which is greater: r or u?
u
Let c be 110/33*(-6)/4. Is c smaller than -8?
False
Suppose -4*x + 0*c = -2*c - 70, 4*x + 2*c - 74 = 0. Let j be 11/22 - x/4. Is -4 greater than j?
False
Suppose 50*g - 35*g = -1260. Let c(u) = -84*u**3 + 2*u**2 - 2*u + 1. Let s be c(1). Which is greater: s or g?
s
Let k = -9.66 - -2.66. Which is smaller: k or -11/3?
k
Let r be (17/(-68))/((-34)/(-64)). Let q(g) = -g**3 - 2*g**2 + 3*g. Let j be q(-3). Is j at most r?
False
Let y = 2/3309 + -16559/23163. Is y not equal to 16?
True
Suppose 3*r = 5*r - 4*r. Let c be (-163)/(-66) + (-4)/(16/10). Which is smaller: r or c?
c
Let v = -13 - -6. Let b(m) = -m - 7. Let a be b(v). Let c(i) = -6*i + 25. Let o be c(5). Which is bigger: a or o?
a
Let u be (0 - 2) + 1 + -3. Let x be (-1)/((-1)/(-1)) + 17. Suppose -f = g + 3*f - 13, 4*f = x. Which is greater: g or u?
g
Let a = 760 + -810. Are a and -4 equal?
False
Let x(q) = 4*q - 19. Let l be x(0). Let t be ((-1 - 0) + 1)/(l - -20). Which is smaller: t or -2/85?
-2/85
Let b(o) = -o - 2. Let q be b(-4). Suppose 245*g + 4 = 247*g. Suppose -g*f - q*f = 0. Do f and 10 have the same value?
False
Suppose 26*f = -91 - 65. Suppose -o + 13 = -4*v, 0*v + v + o = -2. Let j be 2*(v/2 + -1). Does f = j?
False
Let u = -13 - -13.07. Let p = -10.93 - u. Let q = p + 10.9. Which is smaller: 2 or q?
q
Let c be (0 + (0 - 1))*-5. Let v be (-32)/10*c/(-2). Suppose 0 = 3*x - 4*x + v. Which is smaller: 7 or x?
7
Let x = 80.65 + -79. Let c = x - -0.35. Are c and 1/3 equal?
False
Let j be 2 + (-2 - -2 - -25). Let h = 31 - j. Let n = h - -11. Which is bigger: n or 14?
n
Let v = 475 - 450. Is v equal to 25?
True
Let q be (6/15)/(1/40). Suppose -4 = -4*x + q. Let j = 4 - x. Do j and 0.1 have the same value?
False
Suppose 0 = 4*y - 9*y + 165. Let o be (-2)/(-3) + (-11)/(y/(-70)). Which is smaller: o or 2/7?
2/7
Let p = 0.074 - 2.074. Let l = 5.4 + -3. Let a = l - 2. Is p < a?
True
Let u be 143/52 + 2/8. Let a be -1*u + 26/(-78). Which is smaller: -3 or a?
a
Let p(h) = 2*h + 1. Let s be p(6). Let r = s - 15. Let w be (-39)/(-145) - r/(-10). Which is smaller: 0 or w?
0
Suppose -90 - 214 = 16*t. Is t at least -16?
False
Suppose -4*r + 2*u - 84 = 0, -3*u - 11 = 3*r + 43. Let w = -16 - r. Suppose 0 = -w*m - 43 + 11. Is m at least 0.1?
False
Let c = 1456 - 1335. Is -2/7 less than or equal to c?
True
Let z(f) = -8*f + 0*f**2 + 5 - 7*f**2 + 5*f**2. Let o be z(10). Let j be 0 + -2 + (-528)/o. Which is smaller: -1 or j?
-1
Let f = 2 - 3. Let m = 1 + f. Suppose -9 = -m*w + 3*w. Which is smaller: w or -0.1?
w
Let k(n) = -n**2 + 1. Let x be k(0). Let v be x + 4/3 + -3. Which is greater: -3/5 or v?
-3/5
Let f be (-2769)/35 + (-8)/28. Let m = 79 + f. Is m greater than -1.3?
True
Let m = -651 + 652. Is m equal to -483?
False
Let b = 1 + -2. Let o = -0.011 - -0.019. Let r = 0.032 + o. Is b bigger than r?
False
Let b = -2891 - -6017/2. Is b >= 119?
False
Let f = -11 + 17. Suppose -5*z = -4*q - 60, 3*z + f + 9 = -q. Is -15 smaller than q?
False
Let f = 10.7 + -10. Let i = -0.1 + f. Let r = -39 - -505/13. Which is greater: i or r?
i
Suppose 5*q + 48 - 13 = 0. Let v = -5 + 5. Let t be (-8)/((-4)/(-4)) - v. Do t and q have different values?
True
Let w be 6/(-4)*(0 + 1 + -15). Let v be ((-10)/15)/((-1)/w*2). Which is smaller: v or 4?
4
Let p(g) = g + 54. Let o be p(-26). Let l be (-18)/(-3)*o/119. Is 0 smaller than l?
True
Let i(u) = -2*u + 5. Let m be i(1). Suppose m*d + 5*x - 63 = 0, 5*x = -3*d + 2*x + 69. Which is bigger: d or -1?
d
Let c = 185407/23 - 8063. Which is greater: -2 or c?
c
Let v = 2913/4 - 723. Is v at least -7/5?
True
Let p(g) = -2*g**3 + 1. Let d be p(-1). Let m be 1/6*16*d. Let r be ((-2)/2)/(4/m). Which is greater: -3 or r?
r
Let a(d) = d - 13. Let m be a(8). Which is greater: -40/9 or m?
-40/9
Let o(i) = -13*i - 207. Let j be o(-16). Which is smaller: 2/693 or j?
2/693
Let a be 339/18 - (-2)/(-6). Let i = 503 + -485. Which is smaller: i or a?
i
Let t = -95 + 67. Let z be (-12)/(5 - -1) + t/(-15). Which is smaller: -1 or z?
-1
Let f(u) = u**3 + 8*u**2 + 8*u + 8. Let m be f(-7). Let z be -2*3/(88 - m). Is 0 at least z?
True
Let x = 14.87 + 0.13. Let j = 3045 - 3045.2. Are x and j nonequal?
True
Suppose 0 = 4*l + l + 2*g - 3, -2*l - 6 = -g. Let n(r) = -r**2 + 2*r. Let p be n(2). Let b be p + 2 - 32/15. Is b at most as big as l?
False
Let b be (18/(-4) + 4)*-4. Suppose b = -5*h + 12. Let k be h*3/(-18)*3. Which is greater: k or 6/13?
6/13
Suppose 0 = 5*p + 2*m - 15, -3*p + 2*m + 9 = -2*m. Let h = 43.1 - 41. Let v = -0.1 + h. Which is smaller: v or p?
v
Let m be -1*1*1/2. Let b = 0.011 + -5.011. Let r = b - -15. Which is smaller: m or r?
m
Let s be (-20)/30*(-8898)/4. Does s = 1482?
False
Let y be (20/(-8)*2)/(-1). Let s = -3 + y. Suppose -s*o = o - 3. Is o >= 4?
False
Let f = 1712 - 66779/39. Is f > 1?
False
Let q = 599 - 598. Are q and -1/738 non-equal?
True
Let c = -1.0157 - -0.9257. Let z = 4 - 6. Is z at least c?
False
Let y be ((-76)/(-57))/((-2)/15). Let u be ((-55)/y - 4)*-6. Which is bigger: u or -8?
-8
Let y(d) = -d**2 + 10*d. Let b be y(10). Suppose b = -n - 3*n + 8. Let u be n - 3 - (2 + -3). Which is smaller: u or -4/3?
-4/3
Suppose -2*b - 36 = 18. Let h = 15 + b. Let t be h/8 - (-3)/6. Is t >= -1?
True
Suppose -n + 96 = 3*w, 7*w = 5*n + 3*w - 442. Let a be 1275/n*(-18)/(-4). Let f = 64 - a. Are f and 2 nonequal?
True
Let d(z) = -6*z**2 + z + 2. Let h be d(2). Let u = 2 - 21. Is u at most h?
False
Suppose -3*k + 4 = -2. Let m be (1 - k)*(-12 + 13). Let j = 5 - m. Does j = 4?
False
Let v = 171 + -170. Let g = -1 + 1. Are g and v nonequal?
True
Let z = -3 - -2.6. Let v = -2030.6 + 2031. Let q = v + z. Is 22 at most as big as q?
False
Suppose -43 = -2*v - 47. Is -17.9 at least as big as v?
False
Let x = 1136/3 - 6046/15. Which is bigger: -1 or x?
-1
Let r = -264/37 - -9097/1332. Let 