x = 10 - 25. Do x and -15 have the same value?
True
Suppose 4*b - 13 + 0 = q, b - 22 = 4*q. Let l = 29 - b. Which is smaller: 0.2 or l?
0.2
Let k = 333.41 - 333. Is k > 2?
False
Let m = -162728/15 + 10848. Suppose 1 = -2*n - 1. Is m at least as big as n?
True
Suppose -1375*a + 8 = -1383*a. Is -33/46 bigger than a?
True
Let z = -747699 + 12634988/17. Let v = z - -4463. Which is bigger: v or -2?
v
Let s = 53043/2 - 30816791/1162. Let c be 12/(-2)*14/498. Let w = s + c. Is 2 greater than w?
True
Let m be (-2 - 0)/(-2) - 1. Which is greater: m or 2/59?
2/59
Let q be (-340)/30 - -12 - 4/6. Is -8/17 greater than q?
False
Let u be (6/4)/((-2)/(-8)). Suppose -4*q + c = 11 + 1, -q - 12 = 2*c. Let g(p) = p**3 + 4*p**2 - p + 2. Let s be g(q). Is u < s?
False
Let z be (-178)/979 + 558/3553. Is 1 bigger than z?
True
Let d = -581 + 581. Which is greater: -1/2 or d?
d
Suppose 0*a - 3*a = -4*i + 7, 2 = 2*i. Let p = 113978/5 + -22895. Let x = -99 - p. Which is smaller: x or a?
a
Let r be 8/(-4) + 2*1. Let l = 5137.81 - 5138. Do r and l have different values?
True
Let n(x) = 69*x - 553. Let y be n(8). Which is smaller: 14/85 or y?
y
Let z = 793 + -793. Which is bigger: 153 or z?
153
Let u(z) = 5*z**2 - 2*z - 2. Let x be u(-1). Suppose -2*g - g = 2*d + 17, x*g = -3*d - 28. Is 2/17 at most as big as d?
False
Let n be (1/((-6)/15))/(-5)*14. Suppose -2*g = 5*a - 6, 2*a + 3*a + 42 = 4*g. Let h be 1/((2/g)/1). Which is smaller: h or n?
h
Suppose -43*i - c = -39*i - 719, 0 = 3*i + c - 540. Which is bigger: 180 or i?
180
Let h = 1470 + -1473. Is h at least -202?
True
Let f = -1.04 + 0.04. Let a = 59.73 - 60. Let k = -0.73 + a. Is k less than or equal to f?
True
Suppose 23 - 3 = 2*z + 2*n, 0 = 2*z - 3*n. Let q be -14*(63/14 + -1 + -4). Which is smaller: z or q?
z
Suppose 12*r + 6 = 9*r. Let o = -10 - -2. Let f be o/20*-2 - 2. Is r at most f?
True
Let c(b) = -2*b + 50. Let p be c(10). Let w = -21 + 35. Suppose -2*f + p = -w. Which is smaller: f or 21?
21
Let q = 2/1201 + 1197/2402. Do -1/22 and q have the same value?
False
Suppose -o + 35 = 31. Let g be ((-21)/(-98))/(14/o). Are g and 1 non-equal?
True
Let c = 224.07 + -225. Let b = 1.13 + c. Let o be (-8)/6*(1 + -4). Does o = b?
False
Let p = 41/125 - -2/375. Which is bigger: -1/37 or p?
p
Let b(i) be the second derivative of i**4/12 + 4*i**3/3 - 12*i**2 - 11*i. Let d be b(-10). Let v = d - -4. Is 3 less than v?
False
Let y = -0.0445 - 23.0555. Is 1 at least as big as y?
True
Let y be 10*((-2)/(-10)*-88 + -6). Does y = -236?
True
Let a = -2 - -2.1. Let y = 731 + -28511/39. Does y = a?
False
Suppose 139 = -9*y - 176. Let h be 11/y - (-36)/60. Which is smaller: -1 or h?
-1
Let i = -9 + 4. Let c be -2*(20/(-8))/i. Let f be c/2 - (-44)/40. Is f at least 2?
False
Let t be -2 + (-92)/(-88) - (-6)/4. Let u(q) = -19*q**2 - 2*q. Let k be u(1). Let n = -20 - k. Is t bigger than n?
False
Let z be (-4 - -6)*(-1 - 26/4). Let s be (-109)/(-7) + z/(-35). Are 16 and s nonequal?
False
Let v = -1752 - -797221/455. Let a = -7193/5460 + v. Let w = -3/20 + a. Which is greater: w or 0?
0
Let m(r) = r**3 + 3*r**2 + 7*r - 7. Let d be m(-6). Is 1/4 != d?
True
Suppose 2*f + 5*p = 418, f + 85 = -p + 294. Which is greater: 210 or f?
210
Let u = -298 - -178. Let w = u - -110. Let m = -16/15 - -2/5. Which is smaller: m or w?
w
Let q be -6*(-7 + 10) + 0. Suppose -f + m = 23, 2*m + 49 = -3*f + m. Is q less than or equal to f?
True
Let j(w) = 3*w**3 + 5*w**2 + 3*w. Let l be j(-1). Which is smaller: -6/5 or l?
-6/5
Suppose 0 = 4*y - 251 - 149. Suppose -y = 2*l + 2*l + 2*i, -5*l - 123 = 2*i. Which is smaller: -1 or l?
l
Let y be 11*(-14)/385 - (-4)/10. Which is smaller: y or 335?
y
Let x(m) = m**2 + 9*m - 8. Let s be x(-6). Let u(k) be the first derivative of -k**2 + 7*k + 4. Let l be u(16). Is l less than or equal to s?
False
Suppose 0 = -2*t + 15*t + 4*t. Which is smaller: -2/165 or t?
-2/165
Let s = 401071285/351 + -1142648. Let i = s - 69/13. Suppose 4 = 2*x - 4*y, -29*x + 3*y + 3 = -24*x. Is x smaller than i?
False
Suppose -s = -5*n - 58, -5*n = s - 1 - 17. Which is greater: s or 36?
s
Let a = -10 - -9.7. Let f = 26 - 50. Let w be 4/(-6) + 2/f. Is a smaller than w?
False
Let b be 46/6 + (-3)/(-9). Let s be b - 5 - (-88)/2. Which is greater: s or 46?
s
Suppose -3*u - 54 = -12*u. Suppose u*i + 18 = 12. Let k = -2/9 + 5/9. Which is smaller: k or i?
i
Let b(j) = -12*j - 467. Let v be b(-38). Is v less than -189/19?
True
Let f = 16.1 + -16.3. Which is greater: -29 or f?
f
Let s(g) = 12*g - 3. Let x be s(4). Let b be x/(-6) + (-6)/12. Are b and -8 unequal?
False
Let f = 773/207 + -34/9. Suppose 0 = 4*x - 4 - 8. Suppose 0 = -x*w - 0. Which is smaller: w or f?
f
Let o be (7677/(-639) - -6) + 6. Let j(t) = t**3 - t**2 - 2*t - 1. Let h be j(-1). Which is smaller: h or o?
h
Let r = -884 - -958. Is 218/3 greater than r?
False
Suppose -4*s + 3*v = s - 13, 2*v = 3*s - 8. Let w be (-3 - (-2 - -1)) + s. Is 2/15 < w?
False
Let x = -0.087 + 0.287. Which is greater: x or -46?
x
Let l be -6*(1 + 8/(-6)). Suppose l*d - 7 = -5. Let p be 4*((-1)/14)/1. Which is smaller: p or d?
p
Let d = 453.01 + -453. Let l = 1 - 2. Which is bigger: d or l?
d
Let y = 9 + -16. Let t = y - -9. Which is smaller: 1.1 or t?
1.1
Let p(k) = k - 2. Suppose 3*y = 2*b - 10, b = -3*y - 2 - 11. Let x be p(y). Let q be 28/168 + (-148)/24. Is q less than x?
False
Suppose 0 = -2*r + s + 4*s - 14, 7 = r + s. Suppose -5*q - 4*p - 7 = -2, -3*p = -r*q - 3. Is 5/11 equal to q?
False
Let a = 16 - 7. Let i = -7 + a. Let n = -2.1 + i. Are -21 and n equal?
False
Let l = 82 - 169/2. Let s(k) = -k**3 + 6*k**2 + 5. Let f be s(6). Suppose f*t + 6 = -4. Is t != l?
True
Let q be (-2)/((7 - 1)/(-3)). Suppose 0 = 2*z - h - 1, -4*z = 2*h - 5*h - q. Which is smaller: -2/17 or z?
-2/17
Suppose 50 = -d + 3*d. Let m be (12/14)/(9/42). Let y = m - d. Which is greater: -22 or y?
y
Suppose 2 = 4*n + 10. Let w be 154/42 + 1 + (-1)/n. Is w <= 4?
False
Let l = -409 - -24126/59. Let n = l - -664/177. Is 2/5 <= n?
True
Let s be ((-16)/(-6))/(8/108). Let r be -8*(1 - s/44). Which is bigger: 0 or r?
0
Let g(x) = -4*x - 85. Let r be g(18). Which is bigger: -156 or r?
-156
Let l = -318.016 - -318. Which is greater: 0 or l?
0
Let t = -23/30 - -1/10. Let l = 1253 - 2365/2. Let n = -72 + l. Which is greater: t or n?
t
Let v(m) = m - 32. Let g be 8/(-6)*(-357)/28. Let t be v(g). Is t bigger than -14?
False
Let h be 11/(22/188) + 2. Is h at most as big as 96?
True
Let a = 283/1014 - -1/338. Which is greater: a or -1?
a
Suppose -2*p = 4*b + 10 + 40, -5*b = -2*p + 76. Let s = -14 - b. Let u be 33/15 + 10/(-5). Which is greater: u or s?
u
Let t be (-81)/(-18) - 7 - (-215)/(-2). Is t equal to -2?
False
Let d(w) = 7*w + 4. Let q be d(3). Let y(l) = l**2 + 2*l - 10. Let s be y(5). Is q at least as big as s?
True
Let w = -32 - -18. Let u = -0.012 + -14.888. Let y = w - u. Is 0 smaller than y?
True
Let h = -20218/5 - -4085. Suppose 68*g - 73*g = -205. Let f = h - g. Is f at most as big as 1?
True
Let t = -7.31 - -7. Let l = t - 1.09. Let y be 18/45*(-5)/6. Is l smaller than y?
True
Let f = -431 - -431.038. Does -8 = f?
False
Let j be -10*(-1)/8 + (-1)/4. Let c be 18/((3/(-6) - -1) + j). Let a = -18 + 30. Is a <= c?
True
Suppose 4*i + l = 3*l + 30, -5*i - 3*l + 21 = 0. Let g = i + -6. Suppose g = -3*w - w - 4. Is -2/49 smaller than w?
False
Suppose -9*b + 450 = 1962. Let t be ((-1)/(-4))/(1 + 177/b). Are -6 and t unequal?
True
Let z be (-223)/(-2) + (-8)/(-16). Suppose 102 = -2*l + z. Which is smaller: 19/3 or l?
l
Let v = 5 + -78. Let l = -76 - v. Which is smaller: l or 3/10?
l
Let p = 156 + -174. Is p greater than -15?
False
Let g = -1.63 - -1.76. Is -22 at least as big as g?
False
Suppose -30 = -6*z - 0*z. Let q be 0/(4 - 0 - z). Is q greater than -2/29?
True
Let d = -21.3 + 22.2. Is d greater than or equal to 44?
False
Let n be (-10)/(-6) - (-3 + 4). Let t(c) = c + 31. Let b be t(-17). Let v be (-1*b)/(6 + -4). Is v greater than n?
False
Let b be -3*2/3 - -6. Suppose 0 = -2*n + b, 5*o - 3*n + 1 = -0*o. Is 23 >= o?
True
Let z = 1907 - 1906. Which is greater: 20/59 or z?
z
Suppose -w - 4*j + 80 = w, -3*w + 5*j + 98 = 0. Let b = 25 - w. Let m(k) = k**2 + 8*k + 2. Let d be m(-6). Which is greater: d or b?
d
Suppose 0 = d - 4*i + 4, -2*d + 3*i -