 < q?
False
Let q be 1 + -11 + 5 - -6. Let f be (-4)/(-14)*(-4)/(-40). Which is smaller: f or q?
f
Let p = -12.2 - -11. Let g = -1.4 - p. Do 3/7 and g have different values?
True
Let f(d) = d + 2. Let a be f(-6). Let l(i) = -2*i + 8. Let y be l(-6). Let z be 36/(-10) - 8/y. Is z greater than or equal to a?
True
Let j be ((-8)/(-6))/((-6)/(-9)). Let y be 0 + 8/(-4) + j. Which is smaller: y or 2/5?
y
Let w = -5321/656 - -129/16. Is 0 not equal to w?
True
Let o(k) = k**2 + 4*k + 2. Let n be o(-4). Suppose 3*l = -n - 7. Is -3/2 > l?
True
Suppose -v - 3 = -6, -2*k + 2*v = 2. Let o be k/(42/9 - 0). Which is bigger: o or -1?
o
Suppose -2*i + 6 = 2*t, 2*t = -3*t - 4*i + 13. Let d be t/(-1 - 12/(-9)). Let s be (0/d + 1)*0. Which is bigger: -4/7 or s?
s
Let m be (65/(-25))/1 - -4. Which is greater: m or 3?
3
Let q = 0.37 - 0.33. Is 7 < q?
False
Let m be 2 + (45/(-4))/(-1). Is m greater than 13?
True
Suppose -4*b + 3*b = 5*s - 23, 0 = -3*b + 5*s - 31. Is b equal to -1/2?
False
Suppose 1 = -3*s + 4. Let b be (s/(-11))/(4/(-8)). Which is greater: b or 0?
b
Let t be 1 + (1 - -1) + -1. Suppose 0 = -3*m - t*m - 5. Suppose -12 = v - 5*p, 4 = -2*v + 2*p - 4. Do m and v have the same value?
False
Let f be 0 - -1 - (2 + (7 - 14)). Let a = 10 - 4. Are f and a nonequal?
False
Suppose -r = -4*r - 5*p + 20, 0 = 4*p + 20. Suppose -17 = -2*j + 2*y + 21, 2*j - 44 = 4*y. Which is greater: j or r?
j
Suppose s = 3*q + 2*q + 7, 4*q = 3*s + 12. Let a = -13 + 8. Let f = a - s. Which is bigger: f or 3/2?
f
Let i = 107/120 + -4/15. Which is bigger: i or 2?
2
Let d(v) = 2*v + 7. Let s be d(-5). Which is smaller: -2 or s?
s
Let k = 2.2 - 2. Let i = k - 0.4. Let l(s) = -s + 4. Let p be l(5). Are p and i equal?
False
Let w(m) be the second derivative of -m**4/12 + 2*m**3/3 + m**2 + m. Let d be w(4). Let v = -5 - -7. Are d and v nonequal?
False
Let s = 2/215 - 1087/1290. Suppose 0 = 2*k - 2*b + 8, k = -4*b + 11 - 0. Which is bigger: s or k?
s
Suppose 0 = 5*c - 0*c + 10. Is c >= -2?
True
Let z = 0.3 - 0.5. Let u be (-6)/(-6) + 0/(-2). Is z <= u?
True
Let a(f) be the first derivative of f**2 - 11*f - 4. Let p be a(7). Which is smaller: -1 or p?
-1
Let c = 1.16 + -0.16. Let a = 10 - 14. Let t = a - -14/3. Is t bigger than c?
False
Let r(q) be the first derivative of -q**3/3 - 2. Let w be r(1). Let h be 42/(-36) - (-1)/2. Is w at least h?
False
Let u = 1695 + -916. Let h = 8563/11 - u. Is h != -1?
True
Suppose 0 = 2*d + 3*h - 4, -2*d - 2*d = -5*h + 36. Suppose 5*b + 4 = 4*f, 4*b - 3 - 1 = -4*f. Suppose -3*w + b*w = 3. Is d less than w?
True
Let d be (-28)/498*(-133389)/(-6). Let s = 1250 + d. Let o = -234/415 - s. Which is smaller: -1 or o?
-1
Let i(s) = 6*s**3 - s + 4*s**3 - 9*s**3. Let g be i(0). Is g at most as big as 3/4?
True
Suppose 16 = -0*q - 4*q, -3*q = 4*l - 208. Suppose -2*m + l = 3*m. Let y = m + -73/7. Do 2 and y have the same value?
False
Let t = -8.248 + 0.048. Let z = t - -10. Let d = -2 + z. Which is bigger: 1/4 or d?
1/4
Let f = -21 - -25. Let y = 6 - f. Is 3 >= y?
True
Let q = -43/4 - -11. Let h be (-8)/28 + 314/(-28). Let d = -11 - h. Is q smaller than d?
True
Let q = -0.05 - -1.55. Let n = -0.5 - q. Let l = n - -2.1. Which is smaller: -2 or l?
-2
Let m = -0.15 + 3.15. Which is bigger: -1 or m?
m
Let f(y) = -y**2 - 2*y - 5. Let t be f(-6). Which is smaller: -28 or t?
t
Let q be (3/4)/(1/4). Suppose o + 2 = q*o. Are -1 and o non-equal?
True
Suppose 3*r - 2 = 7. Suppose -3*i = -3 - r. Let a = 3 - i. Which is smaller: a or 3?
a
Suppose 0 = 2*b - 8*b + 390. Suppose 70 = 4*a - 10. Let t be a/50 - 36/b. Which is smaller: t or 0?
t
Suppose -2*n - m = 30, 57 = -4*n + 5*m - 3. Let q be n/40*(-2)/3. Are 0 and q equal?
False
Let l be (4/104)/((-2)/(-120)). Is 1 greater than or equal to l?
False
Let s be (-1)/(-2) - 1/2. Suppose s*r - 5*r - 4*z + 29 = 0, -4*z - 11 = -3*r. Is 4 equal to r?
False
Let r(s) = -s**3 - 4*s**2 + 3*s - 6. Let o be r(-5). Let g be 4 + (0/2 - 1). Which is bigger: o or g?
o
Let f be (-9)/45*5/3. Which is smaller: -1 or f?
-1
Let h be 7/((-35)/(-90)) - -2. Is h >= 22?
False
Let x be ((-63)/(-18))/((-2)/(-4)). Is 6 greater than or equal to x?
False
Let v(i) = i**3 - 9*i**2 - 2. Let j be v(9). Is -11 at most j?
True
Suppose 2*n - 167 = 3*t, -t + 0*n + 5*n - 47 = 0. Is -58 >= t?
False
Let m = 2361241270496783/172172 - 150858754152/11. Let z = m + -12648/43. Let r = z + 2/91. Which is smaller: r or 0?
r
Suppose -m - 4*o - 41 = 2*m, 3*o = -m - 22. Which is bigger: m or -6?
-6
Suppose -7 = -14*d + 21*d. Which is greater: 72 or d?
72
Let i be 0/(-2) + (-2)/(-7). Let c be 114/27 + (-6)/27. Let k = 5 - c. Is i bigger than k?
False
Let d = -2 + 5. Let q be (-1 - -2)*1 - d. Which is smaller: -4/7 or q?
q
Let u(t) = -7*t**2 + 2*t + 2. Let c be u(-1). Let k = -15 - -9. Is k less than c?
False
Let u = 6637/77 - 597/7. Which is smaller: 1 or u?
u
Suppose 19 = -5*z - 11. Let v be 4*(3/1)/z. Is v > -2?
False
Let b be 2 - (-1)/(-4 + 3). Let f = 0 - 0.2. Which is bigger: b or f?
b
Suppose 0 = 3*m + 4 - 19. Suppose -5*o - 4 = -m*g - 14, -4*g + o = 14. Is g >= 1?
False
Let x = -6/60935 + -7546706/93778965. Let z = x + -2/81. Which is bigger: z or 0?
0
Let s = 85/178 + 2/89. Which is smaller: s or 1/4?
1/4
Let m(y) = -y**2 + y - 4. Let j be m(3). Let f be 6/24 - j/24. Which is greater: f or 2?
2
Suppose -9 - 1 = -2*v. Suppose -4*l = -v*r - 20, -5*l + r + 5 = 1. Do 1/4 and l have different values?
True
Let o(l) = -5*l - 10. Let y(q) = -11*q - 21. Let p(f) = 9*o(f) - 4*y(f). Let v be p(-5). Which is smaller: -2/15 or v?
v
Let a(k) = k**3 - 14*k**2 - 16*k + 11. Let z be a(15). Let b be (-1)/((16/z)/(-76)). Is -18 at most as big as b?
False
Let m be 2/(-3) + 1/(6/34). Let j(g) = -2*g - 6. Let w be j(-5). Suppose -3*t + 5*t = -w*q - 2, -q = m*t + 5. Do 0 and t have different values?
True
Let s = 0 - -2. Let l = 4.6 + -4. Let a = l + -0.6. Which is smaller: s or a?
a
Suppose -15*i + 3 = -18*i. Which is smaller: i or 3/67?
i
Let f = 17 - 11. Let y be 2*(f/(-4) + 2). Which is greater: 2/5 or y?
y
Let a = -74 + 74. Is 2 less than or equal to a?
False
Let i = 1 + -1. Let m be (4/(-2))/(14/3). Which is smaller: i or m?
m
Let l = 1/35 - -31/140. Suppose 0 = 3*i - 7 - 11. Let d be 4/12 + (-2)/i. Which is smaller: d or l?
d
Let b(l) = 8*l - 11. Let r be b(2). Which is bigger: r or 31/6?
31/6
Let g be (15/126)/((-2)/20). Let h = g - -6/7. Are 1 and h equal?
False
Let i = 0.078 + 0.162. Is 3 at least i?
True
Let z = 19 + -208/11. Are z and 1 equal?
False
Let v be 3/((-540)/544) - -3. Is 1 <= v?
False
Let l be (8/(-28))/(1/(-7)). Which is smaller: l or 0?
0
Let l(z) = z**3 - 5*z**2 - 5*z - 7. Let k be (9/(-12) + 0)*-8. Let r be l(k). Let a be r + 5*(2 + -3). Which is smaller: -7 or a?
-7
Let p(i) = -i + 26. Let f be p(13). Let w = 13 - f. Which is greater: w or -6?
w
Let b = -209/2 - -104. Let i = 5 + -7. Is i less than or equal to b?
True
Let x(j) = -j**3 + 4*j**2 - 6*j + 22. Let z be x(5). Which is smaller: z or -34?
-34
Let u = 40 - 202/5. Let o = -0.03 + -2.97. Let m = o - -3.2. Are u and m non-equal?
True
Let v be -1 + 3 - 46116/23059. Let m = v + -1060744/345885. Let l = -12/5 - m. Is l bigger than 1?
False
Suppose 0 = 2*f - 2*u, -1 - 1 = u. Let h = 1 + f. Let t = -1897/9 - -211. Which is smaller: t or h?
h
Suppose 5*p + 21 = 2*c, 5*c = -p - 7 - 8. Suppose 9*u = 10*u + 3. Which is smaller: u or p?
p
Suppose -3*i - 2*i + 20 = 0. Suppose i*l + 2*g = 1 + 13, 5*g + 17 = 3*l. Which is smaller: l or 6?
l
Let r(k) = k**2 + 6*k - 3. Let x be r(-6). Let b(u) = -2*u - 3. Let i be b(x). Let c be ((-2)/(-4))/(i/(-6)). Is -2/3 less than or equal to c?
False
Let u = -169/171 - -42/19. Are 2 and u non-equal?
True
Let o(v) = -v**3 + 6*v**2 + v - 1. Let p be o(6). Suppose -4*l = -2*w + p*w + 2, 0 = l + 5*w + 9. Let g be (21/(7 + 0))/(1 + 2). Is l at least as big as g?
True
Let b = 3/91 + -288/455. Which is smaller: 0.04 or b?
b
Let m(t) = t**3 + t**2 + t + 1. Suppose -1 - 2 = 3*s. Let y be m(s). Let l be (-3)/2*(-4)/9. Is l >= y?
True
Let o = 2 + 9. Suppose 3*p - 5*z - 17 = -3*z, p = 2*z + o. Let h be 14/(-7)*(-1*2)/2. Which is smaller: h or p?
h
Let q = 0.27 + -1.15. Let c = q + 0.08. Let x = -1 - c. Is x at most 0?
True
Let w be 396/377 + 1/(-1). Let q = -3/29 - w. Which is smaller: 0 or q?
q
Let n 