True
Let t be (4/(-4))/(1/4). Let p(q) = 8 - 2 + q - 1. Let n be p(t). Do 1 and n have different values?
False
Let v be (1 - 5) + 7 - 2. Which is smaller: v or -4/9?
-4/9
Let n(k) = -2*k - 2. Let c be ((-11)/(-33))/((-2)/6). Let z be n(c). Let p = -113 + 567/5. Is z > p?
False
Let l = 96.2 - 96. Is -48 >= l?
False
Let m = 0 - -3. Let b be 27/12*m/(-18). Suppose 0 = -z - 4*j + 16, 5*z + 5*j - 20 = 3*z. Is b bigger than z?
False
Suppose -3*s + 0*s - 9 = 0. Let h(k) be the second derivative of -k**3/3 - 2*k**2 - 2*k. Let x be h(s). Are x and 1 nonequal?
True
Suppose -5*p = -p + 5*z + 5, -4*z - 15 = p. Which is smaller: p or 1?
1
Suppose 15 = 2*l + 3*v + 2, -3*v = l - 14. Which is greater: l or -2?
l
Let z be 2/(-2 + 1 - 1). Are z and -4/7 nonequal?
True
Let i = 19 - 40. Let p = i + 23. Which is smaller: -1 or p?
-1
Let g be (-2)/(6/4 - 2). Suppose g = c + 7. Which is smaller: c or -4?
-4
Let n = 11/7 - 1/14. Do 0.1 and n have different values?
True
Let a = -0.14 + 0.04. Which is bigger: 0.1 or a?
0.1
Let y be ((-4)/(-64)*4)/((-5)/20). Which is greater: 8/25 or y?
8/25
Let z(q) = -6*q + 2. Let r be z(-6). Let d be 6/(-15) + r/(-5). Is -9 less than d?
True
Suppose 5*f - 30 = -2*g, 55 - 8 = 4*f - 3*g. Is f > 2/7?
True
Let d(l) = -l - 2. Let s be d(5). Is s < -6?
True
Let l = -2.1 - -2. Let s = -3 + 7. Let i be 1/3*(6 - s). Is i > l?
True
Let z = 49 - 36. Is z greater than or equal to 15?
False
Let n(t) = t**2 - 12*t + 12. Let a be n(11). Suppose -6*d = -3*q - d + 37, -4*d - 40 = -5*q. Let v(s) = s - 4. Let f be v(q). Is f less than a?
True
Suppose -3*i - 7 = 3*c - 2*i, -4*c - 5*i = 13. Let g = -3 - c. Let m = -73/36 + 16/9. Which is smaller: g or m?
g
Let o = -2081 + 2078. Suppose -5*g - 13 = -i - 0*g, 3*i - 2*g = 0. Let y be i/(-6) - 1/3. Which is smaller: y or o?
o
Suppose -3*q - 2*q + 35 = 0. Let k = q - 10. Let i be (-5 - -4)*(4 - (1 + 0)). Do i and k have different values?
False
Let s = 0.7 - 0.6. Let k = 1.1 - s. Is k less than 2?
True
Let k = 1 + -1. Let h(u) = -u + 4. Let t be h(k). Let a = -4 + t. Is a at most as big as -4/7?
False
Let q be 1/2 + 198/(-60). Is q at least -4?
True
Let u = 22 + -106/5. Let o(y) = y**2 + 37*y + 72. Let k be o(-35). Which is smaller: u or k?
u
Suppose 3*p - 15 = -3*q - 0*q, 4*q - 14 = -p. Let m be (32/6 + (-4)/(-6))/2. Is m at least as big as q?
True
Let s(z) = z + 1. Let c be s(0). Let l = -0.06 + -0.04. Is c greater than l?
True
Let v(l) = l**3 - 5*l**2. Suppose -x = -3, 2*x - 22 = -2*u - 2*x. Let w be v(u). Suppose 4*y - 2 - 2 = w. Is 2 smaller than y?
False
Let m = -105/88 - -9/11. Is m greater than or equal to -1?
True
Let f = 76 - 74. Is f at least -8?
True
Let m = 18746/51 + -1099/3. Is m smaller than 2?
True
Let y = 92.992 + -93. Is -1/4 > y?
False
Let v = 0.001 - 4.201. Let x = -0.1 - 3.9. Let o = x - v. Is 0 less than or equal to o?
True
Let y be 8 - (-9)/((-36)/8). Does y = 7?
False
Let z = 1774/33 - 40427/748. Let h = -2/51 - z. Which is bigger: 3 or h?
3
Let o = 1.7 - -2.3. Is -0.1 equal to o?
False
Suppose 0 = 6*v - 176 - 16. Is 33 >= v?
True
Let p = -37 + 34. Which is bigger: -5 or p?
p
Let w be 0*1/((-3)/(-3)). Suppose w = 2*l + 2*l. Do l and -2/17 have the same value?
False
Let h be 57/(-11) - 4/(-22). Suppose 5*l + 20 = -0*l. Are h and l nonequal?
True
Let u = -2 - -4. Let b = 4 + u. Let v = b - 5.9. Which is smaller: v or -1/3?
-1/3
Let v = 8 - 4. Does 6 = v?
False
Let c(i) = -i**2 - i - 46. Let q be c(0). Let n = q + 367/8. Is 0 smaller than n?
False
Let h = 2 - 2.1. Suppose 0*v + 15 = -3*v, -2*v = -3*b + 22. Is h at least b?
False
Let n = -6.6 + 3.6. Which is smaller: n or 2?
n
Suppose 4 = -l + 3. Is 3/8 equal to l?
False
Let y = 1.97 + 0.03. Let s = -1.7 + y. Let q = -0.7 - s. Does -1 = q?
True
Let d be 172/14 + 4/(-14). Suppose -d = -3*v + 6*v. Which is smaller: v or -3?
v
Let g be 6/5 + 2/3. Let a be 22/(-77) + (-1013)/840. Let q = a + g. Which is bigger: q or 1/3?
q
Suppose 4 = -4*b + 8. Let s be (-140)/22 - -1 - b. Let q = -652/99 - s. Which is smaller: q or 0?
q
Let z(a) = 2*a + 4. Let k be z(7). Suppose -n = -0*y + 4*y + 27, 0 = 4*y - 2*n + k. Is y less than -6?
False
Let s = 22 + -23. Does -7/3 = s?
False
Let x = -2784/13 + 214. Let f be (21/(-14))/((-6)/4). Which is smaller: x or f?
x
Let g = -359/630 - -16/45. Let a = -724789/42 - -17256. Let m = a - g. Which is greater: m or 0?
0
Suppose 5*i = -7 + 47. Suppose -u = -5*u + i. Suppose p + 1 = u*p. Are p and 1 unequal?
False
Let w = -0.31 + 0.11. Suppose -3*z = -z. Which is bigger: z or w?
z
Let k = -14 + 20. Suppose 5*g + k = 3*g. Are -2 and g equal?
False
Let h = -199 - -199. Let r be ((-1)/4)/((-9)/(-6)). Is r smaller than h?
True
Let i be 2/9 + 885/27. Let n be (-12)/i*1/(-2). Suppose -4 = 4*f - 0. Which is smaller: n or f?
f
Let k(u) = 3*u - 2. Let z(c) = -3*c + 3. Let t(s) = -6*k(s) - 5*z(s). Let l be (-6)/4 + (-2)/4. Let b be t(l). Is -1 equal to b?
False
Let a = -6 - -10. Let d = 0.3 + -0.9. Let j = -0.5 - d. Which is greater: j or a?
a
Let z(c) = c + 3. Let l be z(6). Let g = l + -4. Suppose 3*u + 2 - g = q, 5*u - 25 = -5*q. Which is bigger: u or 2/3?
u
Let g = 19 + -18. Let h = 0.4 + -0.3. Is h <= g?
True
Let x(k) = k - 10. Let l be x(9). Let v be 3*(2/3 + l). Is v smaller than 1/5?
True
Let r be 1 + (1 - (-267)/(-12)). Let f = -20 - r. Are f and -6 unequal?
True
Let y = -343 - -7891/23. Is 0 smaller than y?
True
Let l = 1.58 - -0.22. Let z = l + 0.2. Is -0.2 at least z?
False
Let u(d) be the third derivative of d**4/24 - 4*d**3/3 + d**2. Let w be u(10). Is 1 > w?
False
Let i = 352/9 + -39. Suppose 7 = -2*w - 3*r, 0*r + 4 = w - r. Is i not equal to w?
True
Let v = -71 + 67. Suppose 4*i = -i + 5. Let t be i - (35/(-2))/(-5). Is v >= t?
False
Suppose 0 = -7*b + 4*b - 15. Let r be -2 - (0 - (b + 2)). Is r < -6?
False
Suppose -c = 0, -3*q + 4*c - 6 - 3 = 0. Let h be -1*(-7 + 4 - q). Is h at most as big as -1/18?
False
Let d = 3 - -2. Suppose h - 2*h + 3 = 0. Do d and h have different values?
True
Suppose 5*y = -0*y + 35. Is 27/4 equal to y?
False
Suppose a = -3*a + 16. Suppose -7 = -a*n + 1. Suppose -10 = -3*o - n*u, -5*u + 0 + 2 = -4*o. Which is smaller: 1 or o?
1
Suppose -2*u = -7*u. Which is greater: 2/3 or u?
2/3
Suppose -5*w = -b + 4*b - 4, -4*w - 5*b = 2. Let r be (-2)/2*w/30. Let c = r + -1/3. Does c = 0.1?
False
Let t = 3/5 + -22/45. Is t > -1?
True
Let c be ((-3)/(-6) + -1)*-24. Let q = c + -13. Let v be ((-2)/(-6))/((-4)/(-3)). Do q and v have different values?
True
Let v = 6 + -5. Let g be v/2 - 2/4. Let f be ((-4)/(-5))/(4/(-2)). Is g at least f?
True
Let f(n) = 16*n + 31. Let r be f(-12). Is -162 > r?
False
Suppose v - 11 = 6*v - 3*p, 2*p - 2 = -2*v. Let k = 0 - v. Let g = 0.1 - -0.2. Is k less than g?
False
Suppose k + 3*k + 33 = 5*c, -5*c - 2*k = -21. Suppose b + 5*x + c = 0, -3*x + 3 = 3*b + 6. Which is smaller: -2/13 or b?
-2/13
Let j be 2 - -2 - (-212)/(-52). Do j and 1 have different values?
True
Suppose 4*f = -11 + 7. Which is smaller: f or -20/11?
-20/11
Suppose 0 = -2*x - 2*v + 12, 3*x + 4*v - 17 = 6. Let z be x - 2/(12/9). Which is greater: z or 0?
0
Suppose -2*r - 2 + 4 = 0. Let z be ((-9)/(-15))/(((-1323)/(-30))/7). Which is smaller: r or z?
z
Let a = 4 + -3. Let i be a + (8/6)/(-4). Are i and -2/7 unequal?
True
Let l be 6/9*(-7 - -4). Is l not equal to -3?
True
Suppose 14*j - 15*j = 1. Which is bigger: j or 1/18?
1/18
Let c(v) = -3*v - 23. Let s be c(-8). Which is greater: s or -1/7?
s
Suppose -x - 4 = -5*x. Let p = 91466 - 8049355/88. Let k = p - -33/8. Which is smaller: k or x?
k
Let y(x) = x - 4. Let h be y(3). Let s be 3/12 - (-741)/(-4). Let b be s/225 - (-4)/18. Is h > b?
False
Suppose 0 = 3*k - 3 - 3. Suppose 4*p - k*l = l + 9, 3*p - 8 = l. Suppose p*z + 3 = -0*z. Is z less than or equal to -1?
True
Suppose -2*b = -s + 4, 2*s + b = 2*b - 1. Let f = 2.48 - 0.48. Which is smaller: f or s?
s
Suppose -2*h - 1 = 3*u - 8*u, -3*u + 9 = 3*h. Let p be (-6)/(-3)*(-7)/h. Do p and -6 have different values?
True
Let q = 6967/23 + -303. Is 0 greater than q?
True
Let j(g) = -g**3 - 5*g**2 - 5*g - 3. Let o be 3/(-5) + 17/(-5). Let a be j(o). Is a >= -1/3?
True
Let t(i) be the second derivative of -i**3/6 + i**2/2 - i. Let c be t(1). Let b = -2 + c. Is -1/4 smaller than b?
False
Let k(l) = l**2 + 13*l + 9.