2 - (-3 - d)/(-1). Is z greater than 0?
True
Suppose 52 = c + 3*s, -2*c = -2*s - 10 - 62. Suppose 3*f - c = 50. Is f equal to 28?
False
Let v(x) = x**2 - 6*x - 3. Let l be v(-6). Is l smaller than 69?
False
Let n = 196 - 182. Which is bigger: 0.2 or n?
n
Let s = 12.7 + -14. Let f = s + -9.7. Is -2 greater than or equal to f?
True
Let p = -0.1 - -0.16. Let n = 85 - 86.66. Let b = 0.34 - n. Is b >= p?
True
Let u = 74.7 - 68. Let v = -1.3 - u. Let s = v - -7.9. Are s and 3 unequal?
True
Let f = -378 - -7180/19. Let s(a) = a**2 + 17*a + 42. Let u be s(-14). Which is smaller: f or u?
f
Let c = -0.9 + 2.4. Let k = c - 0. Let z = 0.5 + k. Which is smaller: z or -2?
-2
Suppose 2*h - 10 = 6. Suppose 13*k - 7*k - 36 = 0. Which is smaller: h or k?
k
Suppose -14 + 88 = 2*t - 2*q, -2*t = q - 83. Let h = t + -37. Which is bigger: h or 10?
10
Suppose -4*l - 4*p = -12, 3 = -3*l + 2*p + p. Let t be -1*(-3)/l + (-11 - 2). Which is bigger: -11 or t?
t
Let z(j) = -2*j**3 + 22*j**2 - 3*j - 13. Let n be z(11). Which is smaller: n or -2/13?
n
Let w = -322 + 296. Do -27 and w have the same value?
False
Let y(h) = -h**3 - 6*h**2 - h - 6. Let l be y(-6). Let d be 2 + -1 + (-6)/(-2). Let i be d/18 + 160/(-72). Which is bigger: l or i?
l
Let q = 20 - 15. Suppose 3*j - 5*m - 21 - q = 0, -j = -4*m - 18. Let b = j + -5. Is -1 at least b?
True
Let g be 4/(1 - -3) - -5. Suppose g = 2*c - 2*i + 2, 5*i + 1 = -4*c. Is 9/5 equal to c?
False
Let a be (-116)/10 + 9/15. Let h be 22/1*a/22. Is -10 >= h?
True
Let v = -0.1062 - 0.8938. Are -390 and v equal?
False
Suppose -4*d - d + 440 = 0. Suppose 3*c - s = -71, 2*c - 3*s + d = -2*c. Which is greater: c or -24?
-24
Let i be 6/4*(-2 + 18304/9141). Which is smaller: i or 0?
0
Let z = -4 - -6. Let r = -321.7 + 322. Which is greater: z or r?
z
Let f = -29.033 - -0.033. Let p = 2 + f. Which is smaller: p or -0.1?
p
Let m = 758 - 756. Is m at most 85/6?
True
Let f be (8/1)/((-26)/3 + 9). Which is greater: f or 7?
f
Let n be (-2)/9 + 111/(-108). Let c = -0.5 + 0.53. Let h = c - 1.03. Is n greater than or equal to h?
False
Let v = -8 - -9. Let t = 2 - v. Let w be 1 + (1 - 2) + t. Which is smaller: -1/19 or w?
-1/19
Let m = 16 + -16. Suppose -2*w - 5*a = 12 - 41, m = 2*w - 3*a - 21. Suppose 0 = 5*b - v + 42, 5*v + 48 + w = -5*b. Which is smaller: b or -10?
-10
Let h = 3039 - 194495/64. Which is smaller: h or -0.7?
-0.7
Let b = 1155 + -9239/8. Are b and 2/107 non-equal?
True
Suppose 5*a - 7 - 13 = 0. Suppose -9*f = -a*f - 10. Let d be (0 - (-6 + f)) + -3. Is d at least as big as -1/5?
True
Let l = 0.044 - -65.956. Is l >= 8?
True
Let u = -15195/13 + 1169. Let p = 22 + -31. Is p smaller than u?
True
Let q be -2 + (1 - (-34)/26). Suppose 40 = -2*t + 10*t. Suppose 2*g + 4 = 2*m, -2*m + m + t*g + 14 = 0. Is m at most as big as q?
True
Let c = -1103/7 + 157. Suppose 5*y - 34 = 6*y. Let b = 32 + y. Is b at least c?
False
Let d = -16 + 18. Suppose d*b - 2 = 2. Let o be 8/(-3) - (-6)/b. Is 0 < o?
True
Let y be (21/(-35))/(2/10). Let j be 4 - (-1)/(y/9). Is j greater than or equal to 1?
True
Let v = -791 - -792. Is v not equal to -9/298?
True
Suppose o = -3*a - 0 + 4, a + 12 = -3*o. Let y be (a + (-7)/(-4))*-2. Which is greater: -1 or y?
-1
Let l = 6 + -10. Let r = 4.446 - 14.446. Is r greater than or equal to l?
False
Let j be (6/4)/(220/(-34)). Let x = -1/55 + j. Let r = -51 + 253/5. Which is greater: r or x?
x
Let q(h) = h. Let t(w) = 6*w - 16. Let g(u) = 14*q(u) - 2*t(u). Let p be g(-13). Are 4 and p nonequal?
True
Let v = -7 + 1. Let r be 5/v + (-5)/30. Let g be -5 + 135/40 - 6/16. Is r less than or equal to g?
False
Let n be -2 - -5 - (5 - 2). Suppose n = -2*f + f + 2. Let l = -27 - -23. Which is smaller: l or f?
l
Suppose 144*i + 150 = 139*i. Is i >= -29?
False
Let s = 0.005 + -0.375. Let g = -20.63 + s. Let w = g - -21.6. Is w less than 0.2?
False
Let g(d) = d**3 + 4*d**2 + d + 1. Let i be g(-4). Let m be -3 + i + (3 - -5). Which is bigger: 7/4 or m?
m
Let w be 1/(0 + -6 - -3). Let o(q) = -q + 3. Let r(a) = -a + 15. Let i be r(11). Let t be o(i). Which is smaller: t or w?
t
Let g(i) = 11*i + 126. Let u be g(-12). Is -15/2 > u?
False
Suppose -129*d = -133*d. Let y = -1218 + 47498/39. Is d greater than or equal to y?
True
Suppose -144 = -4*d + 108. Suppose -5 - d = -t. Let b = t - 614/9. Which is bigger: 0 or b?
0
Suppose 9 = 4*u - v, 0 = -4*u - 2*v - 3*v - 21. Is 1/33 less than u?
True
Let s = -22 + 19. Let a = 2/89 - -83/267. Let d = 0 + a. Which is bigger: d or s?
d
Let b = -63 + 68. Suppose 30 = -2*q - b*f + f, -4*q = f + 32. Suppose 6 = -3*w - 3. Which is smaller: w or q?
q
Let f = 1261.1 + -1261. Which is greater: -4/9 or f?
f
Let o = -2.9 - -3. Let h be (-501)/27 - (1 + -6). Let q = h + 389/36. Are q and o nonequal?
True
Let b = -103 - -109. Does b = 6?
True
Let y(x) = 2*x + 3. Let m be y(-2). Is -1/151 != m?
True
Let i(s) = s**2 + 33*s + 62. Let x be i(-32). Which is bigger: -4/3 or x?
x
Let q = -7.5 - -8. Let p = q - 0.6. Which is smaller: 9/7 or p?
p
Let z(b) = -422*b + 285. Let k be z(4). Is k <= -1403?
True
Suppose -7*z = -2*z - 65. Suppose 0 = 5*c + 54 + 281. Let y = 81 + c. Does z = y?
False
Let t(h) = -3 + 0*h**3 + h**3 + 5*h**2 - 3 - 3*h. Let d be t(-5). Let a = d + -10. Is -1 at most as big as a?
True
Suppose 3*j - j - g - 8 = 0, -5*g - 1 = 3*j. Suppose -5*c = -5*a - c + 1, -j*a = -3*c - 3. Is -3 less than or equal to a?
True
Let f(p) = p - 37. Let y be f(25). Which is bigger: 5 or y?
5
Let q = 0.03 + 8.97. Let u = 9.2 - q. Let t = -319/436 - 2/109. Which is smaller: t or u?
t
Suppose 4*g - 10 = 5*c, -5*c + 2*c = -2*g + 6. Suppose -2*v + 3*v + 3*q + 4 = g, q = 5. Which is smaller: -17 or v?
v
Suppose -14 - 10 = -12*q. Suppose -2*i + 4*i + 2 = 0. Is q equal to i?
False
Let x(w) = -w**2 - 23*w + 61. Let f be x(-21). Which is bigger: f or 2/3?
f
Let i = -115 + 67. Let f be 2/(-7) - i/70. Suppose 12*d = -483 + 471. Which is smaller: f or d?
d
Let x = 128/21 + -10070/1659. Which is bigger: 0 or x?
x
Suppose 4*y - f = -155, 3*y - 4*f = -9*f - 145. Let r be (-2)/(-3) + 125/(-3). Which is bigger: y or r?
y
Let w(f) = -f**3 - 9*f**2 - 8*f + 4. Let a be w(-8). Let i be a + (722/(-362) - (5 - 3)). Which is smaller: 0 or i?
0
Let h = 39/125 - 11084/35125. Which is bigger: 1 or h?
1
Suppose 0 = v - x + 9, 0 = -2*v - 2*x + 3*x - 15. Let i(f) = -2*f + 26. Let l(d) = -1. Let c(b) = -i(b) - 6*l(b). Let a be c(7). Is a less than v?
False
Let j = 30 - 1. Let m = j - 28.9. Which is greater: 1/2 or m?
1/2
Let j = 12 - 11.53. Let g = j + -20.47. Let n = g - -21.3. Is -1 at most n?
True
Let d = -19 - -20.1. Let i = d - 0.4. Let z = i + -0.6. Is -2 less than or equal to z?
True
Let l be 1/2*(1 - 10 - 32). Which is bigger: l or -21?
l
Let n = 112 + -60. Suppose -4*p - n = -4. Let t be (-4)/(-2)*6/p. Is -1 at least t?
True
Let m = 991.011 - 991. Which is greater: m or 4/19?
4/19
Let l(o) = 11*o**3 - 4*o**2 + 6*o - 3. Let v be l(2). Let n = 144 - v. Let y be -4 + 0 - (-294)/n. Which is greater: y or -1?
y
Let t be (-3)/(-15) + 3*(-135)/25. Which is bigger: t or 8?
8
Let t = 28.5 - 27. Let q = -0.5 - t. Does -1/3 = q?
False
Let s = -7.6 + 7.629. Let u = -1.029 + s. Is 5 > u?
True
Let z(v) = -v**3 + 7*v**2 - 5*v - 3. Let b be -4 - -5 - (-10)/2. Let p be z(b). Suppose 3*s = p*d + 13 + 2, 3*d = -s + 5. Is 4/7 at most d?
False
Let p(s) be the second derivative of -s**3/6 - 20*s**2 + 12*s. Let v be p(-13). Do -26 and v have different values?
True
Let g = 517772553/7 - 9322494700243/126035. Let o = -2/1385 + g. Are o and 2 non-equal?
True
Let k be (58/(-4))/(1/2). Let l = 13 + k. Let u(a) = a**3 - 10*a**2 - 18*a - 549. Let t be u(14). Is t greater than l?
False
Let o be (-16 - -20)*42/(-4). Is -40 at least as big as o?
True
Let d = 30 + -28. Let i be (d/(-4))/(-1 + 2/4). Let g = -13 + 4. Which is bigger: i or g?
i
Let d = 2 + 0. Suppose -d*s = 1 - 3. Which is bigger: -1 or s?
s
Suppose -10*x + 2*p = -9*x + 3, -2*x - 7 = -5*p. Is x < -4/49?
True
Let m be 2*(-3)/2*20/(-6). Let c be (0 + m/8)*455/(-175). Are c and -4 non-equal?
True
Let b be (-106)/(-10)*15/6. Let c = -276/65 - -11471/390. Let g = c - b. Is 0 < g?
False
Let c = -2 + -4. Let a = 31 - 16. Let g = c + a. Is g equal to 0.1?
False
Let f = 1 - -1. Let u = 65 + -1. Let c = -65 + u. Which is greater: f 