t least -3?
True
Suppose -5*i + 4*s = -i, -s = -4*i + 6. Let u = i + 10. Let x be 8/u + 2/6. Are x and 1/7 unequal?
True
Let p = -1007 - -13097/13. Let q = -31 - -30. Which is smaller: q or p?
q
Let l(n) = n + 8. Let x be l(-5). Suppose -b + 1 + 3 = 0. Is b at least x?
True
Let q(h) = -h + 7. Let j be q(9). Let d = 69/160 + -1/32. Which is smaller: j or d?
j
Let c be 6*-3*6/(-27). Suppose 4*n + c = -4. Suppose 3 = -2*g + m - 5, -3*m = -4*g - 18. Is g > n?
False
Suppose -3*m = -m - 8. Suppose 0*q + m = -2*q. Is q greater than -2?
False
Let f = -16.69 - 0.31. Let p = f + 18. Is 0.3 less than p?
True
Let b be (-4)/(-22) - (-334)/(-22). Does -14 = b?
False
Let g(w) be the second derivative of w**4/12 + 2*w**3/3 - w**2 + w. Let j be g(-5). Suppose -3*x = 3 + j. Is x at least -1?
False
Let r be (2 - -1)*(-10)/6. Let p be r/(-6) + 1/(-2). Which is greater: -1 or p?
p
Suppose 26 = 5*l - 4*c, -5*l + 2*c + 1 = -17. Let q be (-18)/6 - l/(-1). Which is bigger: -7/4 or q?
q
Let z be -2 - (-2 + -1)/3*33. Is 30 at least as big as z?
False
Suppose 0*k - 17 = -4*t - 3*k, 0 = 2*t - 3*k + 5. Suppose t + 3 = -h. Is h at least as big as -4?
False
Let l = -16303/11 + 1481. Which is bigger: l or -0.1?
-0.1
Let d = 1 + -4. Let m = -1 + 0. Do m and d have the same value?
False
Let q be ((-16)/(-56))/(12/14). Which is smaller: q or 0.1?
0.1
Suppose t + 6 = -5*h - 1, 0 = 5*t + 4*h - 7. Suppose -t*l + 13 = 5*w, -1 + 3 = 2*l. Which is greater: -2 or w?
w
Let n = 1.01 + -0.01. Let s be (-1)/2*2*1. Let v(t) = 3*t + 1. Let u be v(s). Which is greater: n or u?
n
Suppose 18 = -6*h + 84. Is 12 at most as big as h?
False
Let i be 2/(-8) + 2846/11448. Let o = i + 4339/32913. Let v = o + -32/69. Is v bigger than 0?
False
Let t = 44 - 23. Is t at least 20?
True
Suppose 5*c = -3*a - 29, 5*c = -a - 5 - 18. Let k be (-3)/(-12)*4*0. Suppose k = -3*u - 2*w - 0 - 2, 2*w = 10. Is c less than or equal to u?
True
Let i be (-594)/15 - 2/5. Let w be 3 + i + 1 + -1. Let c = w - -147/4. Are -0.1 and c non-equal?
True
Suppose -5*q - 16 - 4 = 0. Do q and -3 have the same value?
False
Let l = -1.4 + -5.6. Let f = 7 + l. Which is bigger: 2/3 or f?
2/3
Let y = 3 + -2. Suppose 0 = -4*o - 0*o + 32. Let t be (-6)/o*(3 + -4). Which is smaller: y or t?
t
Suppose -29 = 4*b - 3*n, -2*b - 7 - 5 = -2*n. Which is smaller: -10 or b?
b
Let k = 1.19 + -1.2. Let u = -0.01 - k. Is -0.03 less than u?
True
Let s = 0.1 + 0. Let n = 14.9 + -15. Which is smaller: s or n?
n
Suppose 6*i - i = 0. Suppose 5*u - 2*u + 45 = i. Which is smaller: -14 or u?
u
Let j be -58 + 58 + (2 - 1)*-1. Let p = 1685/112 - 104/7. Is j equal to p?
False
Let c(k) = k**2 - 9*k + 3. Let t be c(8). Let h be (4/15)/(2/t). Let i be (-6)/15 - 8/5. Is h at most i?
False
Let o = 8 + -8.4. Which is greater: -1/3 or o?
-1/3
Suppose -2*l + l = -d + 2, -5*d + 2*l + 19 = 0. Suppose -9 = 4*u - d. Let m be (u/2)/((-4)/24). Is m at most as big as 4?
True
Let o(v) = v**3 + 4*v**2 - 7*v + 2. Let z be o(-5). Which is smaller: 14 or z?
z
Suppose 8 = 3*u - 1. Suppose g + 2*g + 6 = 3*j, -12 = 3*g + u*j. Let z(k) = -k**2 - 6*k + 3. Let q be z(-7). Which is bigger: g or q?
g
Suppose 4*k - 1 - 27 = 0. Is k at least 13/2?
True
Let g = -1/4 + -1/4. Let q(p) = -2*p + 3*p + 2 - 3*p + 3*p. Let j be q(-3). Which is greater: g or j?
g
Let q(w) = -2013*w**3 + 4*w**2 - 2*w + 3. Let x be q(7). Let g = x + 735831959/1066. Let c = -3/82 + g. Are c and 0 nonequal?
True
Let a(s) = s**3 + 4*s**2 + 2*s - 2. Suppose -k + 8 = -4*d, -4*d - 11 = 4*k - 3. Let l be a(d). Let j be -4 + l/4*4. Is j greater than or equal to -1/2?
False
Let v be (-2 - -2)*(-2)/4. Let f = 6 + -4. Let d be (3/(-6))/(-1)*f. Which is smaller: d or v?
v
Let w = 25 - 19. Is w >= 6?
True
Let l be (51/442)/(2 + 1). Which is greater: 1 or l?
1
Let a(k) = k + 7. Let w be a(-10). Let p = 19 + -22. Is p equal to w?
True
Let z be (-8)/12*-1*6. Let c be 3/z + 31/(-52). Which is bigger: 1 or c?
1
Let l = -9 - -9.1. Is 2/3 at least as big as l?
True
Let m = 51 + -49. Let t = -2 - -1.8. Which is bigger: m or t?
m
Let t = -2 - -1. Let z be (-5)/85*4/2. Is t >= z?
False
Let f be (2 - 1)*(1 - 1). Let b = 3 + f. Let s = -2 + b. Which is bigger: s or -1?
s
Let b = -0.25 - -1.25. Is b >= -0.2?
True
Let z(u) = 2*u**2 - 17*u + 15. Let j be z(7). Does j = -4?
False
Suppose 2*i - b + 42 = -3*b, -2*b - 21 = i. Let x be (7/i)/((-5)/3). Is x >= 1/2?
False
Let o = -0.2 + -0.8. Which is bigger: 22 or o?
22
Let i = -10 + -6. Is -16 smaller than i?
False
Suppose -4*f + 6 = -5*m, 3*m = 5*f + 2*m + 3. Suppose -5*p = -5*c - 25, 5 = -c + 3*p - 8. Is c smaller than f?
False
Suppose 0 = 2*j + 3*v + 1, -2*v + 16 = 6*j - 8*j. Let y = 6 + -8. Let m = -6 - y. Which is smaller: m or j?
j
Let x(y) = -y. Let s be x(-5). Let h be 931/s + 3/(-15). Let a = -2416/13 + h. Which is smaller: a or 0?
0
Let i = -7 - -8. Suppose n = 4*p + i, 5*n - n - 4 = 2*p. Suppose -4 + p = -r. Is 4 at most r?
True
Let z = 10 - 6. Let p = -4 + z. Let w = p - 0.2. Which is greater: w or 3?
3
Let z(y) = y**2 - 4*y - 8. Let p be z(5). Which is smaller: -4 or p?
-4
Let i(d) = -d + 0*d + 3*d + 11 - 3*d. Let o be i(9). Are 2/3 and o non-equal?
True
Let o(s) = s**2 + s - 9. Let j be o(-4). Which is bigger: j or 8?
8
Let x = 31 - 19. Let f = x - 6. Is 6 at most as big as f?
True
Let s be 14/(-18) - (-4)/(-18). Which is smaller: 0 or s?
s
Suppose -4*q + 20 = -0. Suppose -5*o + 0 = -q. Is -3/8 > o?
False
Let y = 4 + -3. Let a = -9 + 11. Is y <= a?
True
Suppose -9*j = -10*j. Which is greater: 32 or j?
32
Let b = -3/29 + 38/87. Let l = -47/120 + 4/15. Is l greater than or equal to b?
False
Let r(s) be the first derivative of -s**4/4 - 2*s**3 + s**2/2 + 8*s - 1. Let g be r(-6). Let o(z) = z + 5. Let d be o(-4). Is d less than g?
True
Let i = 16 - 14. Suppose -7 = -i*b - 15. Is -1 < b?
False
Let c be ((-104)/(-39))/(4/6). Let a(o) = 12*o. Let x be a(1). Suppose 2*k - c*k = -x. Which is smaller: k or 5?
5
Suppose -3*b = b + 16. Let z be 7 - 3 - (-17)/b. Is z equal to 0.08?
False
Suppose 0*r - 2*r + 2 = 0. Let n = -0.22 - -0.82. Which is greater: n or r?
r
Suppose 11 + 1 = 3*d. Which is smaller: 5 or d?
d
Let u = -6 + 4.95. Let a = -0.05 - u. Is a smaller than -1/2?
False
Let m = 25 + -25.23. Which is smaller: -1 or m?
-1
Let h = 0.14 - 0.04. Let k = 15 + 10. Suppose -4*c = -9 + k. Is h not equal to c?
True
Let n(p) = p**3 + 3*p + 7. Let u be n(0). Which is greater: u or 32/5?
u
Let j = -8.2 - -74.2. Do -0.1 and j have different values?
True
Suppose 0*p - 2 = 2*p. Is p at most as big as 1/118?
True
Let f = -4 + 23. Suppose 2*b - f = 3*d - 7, -5*d - 20 = -b. Which is smaller: -5 or d?
-5
Let k be (-2)/(-3) - 4/(-12). Let m(t) = -t**2 - 4. Let d be m(0). Which is bigger: d or k?
k
Let w be ((-36)/16)/((-3)/32). Suppose 5*c = -4*u - 4, -u + c + w = 4*u. Is 1/2 at most as big as u?
True
Suppose -2*j + 7 = -5*i, 1 = -i + 2*i + 2*j. Which is smaller: 2/37 or i?
i
Let d = -4 + 8. Let m = d + -6. Is m at most -1?
True
Suppose 2*j = -8 + 2. Let d be 42/(-9) + (-2)/j. Let h = d - -3. Which is greater: h or 0?
0
Let u be 8/45 - 4*(-5)/90. Are u and 8 unequal?
True
Let v(f) = 34*f - 15. Let w be v(-1). Is w at most as big as -50?
False
Let n = 6 - 3. Let v = 5 - n. Which is smaller: 0 or v?
0
Let l be 2/4 - (-2)/(-4). Suppose -n = -l*n. Let z = -1024/7 + 146. Which is bigger: n or z?
n
Let m = -47 - -50. Which is bigger: 30/11 or m?
m
Suppose 9 + 11 = -5*u. Let w(q) = -q**3 + q**2 + 2*q - 2. Let n be w(-3). Let z be 33/(-7) + (-8)/n. Are z and u equal?
False
Let u be ((-3)/(-4))/(56/832). Is u smaller than 11?
False
Let a = 0.87 + -2.87. Is -3/4 greater than a?
True
Let o = -72 - -66. Which is smaller: 6/5 or o?
o
Let l = -84 - -83. Which is smaller: l or 10?
l
Let i = 21 - 21. Which is bigger: i or -57?
i
Suppose 0 = -4*k + 10*k - 12. Which is smaller: k or 4/7?
4/7
Let q be (6/8)/(3/25). Let l = -333/2 + 172. Let r = q - l. Does 0 = r?
False
Let l = -48/833 + 2/119. Let i(r) = -r**2 - 6*r - 5. Let z be i(-5). Which is smaller: z or l?
l
Let g be (-10)/(-1 + -1 + 1). Let d be (-4)/g*(-1 + -19). Let b be (-5)/3 - d/(-12). Which is bigger: 2/7 or b?
2/7
Let m = -22.9 + 23. Is m at least 2/7?
False
Let p(z) = -z**3 - 11*z**2 + 6*z - 44. Let j be p(-12). Which is greater: j or 27?
j
Let n be (((-8)/6)/(-4