= 2*d, 0 = d - 3*s - 15 - 0. Which is smaller: f or d?
d
Let o = 7 - 15. Let x be o/(-2) - (14 - 14). Are x and 4 unequal?
False
Suppose 0 = m - 2*c - 25, -3*m - 4*c + 2*c + 43 = 0. Let n be (-1 - 0 - 2) + 5. Suppose 5*k = -m + n. Which is smaller: 1 or k?
k
Let x be ((-91)/(-28))/((-3)/12). Is -13 >= x?
True
Let j be 1/2*100/2. Suppose -4*h + j = 1. Suppose a + 4*n - 4 = h, 4*a + 2*n + 30 = 0. Is -8 not equal to a?
True
Let g = -331 - -334. Are g and 0.52 equal?
False
Suppose 3*o + 0*o - 48 = 0. Let d = o + -16. Let u be -1 + d + (-60)/4. Is -17 less than u?
True
Suppose 280 = -7*q - 21*q. Is q <= -114/11?
False
Let l(i) = -i**3 + 6*i**2 + 15*i - 45. Let k be l(6). Let v(m) = m**3 + 8*m**2 - m - 10. Let z be v(-7). Which is bigger: z or k?
z
Suppose -15*x = -22*x + 602. Which is bigger: x or 608/7?
608/7
Let w be (-2)/(-6*2/(-1824)). Which is greater: w or -305?
w
Let m = 150 - 326. Is m greater than -176?
False
Let j(x) = 7*x + 54. Let g be j(-9). Suppose -l = -1 - 4. Suppose -3*b + 50 = -5*p + 2*b, -14 = 3*p + l*b. Does g = p?
False
Let b = -6 + 9. Suppose 3*y - a = -2*a + 3, 0 = -4*y - b*a + 9. Suppose y = 5*r + 4*h - 57, -3*h + h - 30 = -4*r. Is r at least 9?
True
Suppose -2*v + 0*l = 3*l - 6, v - 4*l + 19 = 0. Let a be (v/2)/(6/(-36)). Suppose -3*k = -a*k - 66. Is k less than -11?
False
Let y = -44 - 15. Which is smaller: y or -62?
-62
Let c = 27 - 18. Suppose 0 = -c*v + 5*v - 40. Let a be ((-12)/(-30))/(8/v). Which is bigger: a or 0.2?
0.2
Let s be (-13)/84 + (-18)/(-72). Let d = 2 - 1. Which is bigger: s or d?
d
Let z(f) = 6*f - 67. Let n be z(11). Is n greater than -2/145?
False
Suppose -4*p = -2*b - 10, p + 0*b + b = 4. Suppose -5*m + 4*q = 0, -p*m - 3*q = 2*m. Which is bigger: m or 1/2?
1/2
Let i(k) = -k. Let a = -2 - -5. Let w be (-2)/(-3) - a/(-9). Let u be i(w). Which is smaller: -2/15 or u?
u
Let j = -3.1 + 3. Let m = 248 + -256. Which is smaller: m or j?
m
Let s(y) = -y - 4. Let a(x) = -x**2 - 6*x + 10. Let l = 15 + -22. Let c be a(l). Let g be s(c). Is -5 at most as big as g?
False
Let b = 0.9 + -0.18. Let f = b - 0.42. Is 1 greater than f?
True
Suppose -2*l - 3*l - 3*g = 0, 0 = -2*l + 2*g. Let y be 3/3 - 667/455. Let m = y + 6/91. Is l < m?
False
Let r = -172 - -172. Is 1 at least as big as r?
True
Let g(q) = 10*q**2 - 116*q - 15. Let f be g(12). Is f greater than 30?
True
Let g be 4/168*-3*2. Let f = 1 + -2. Let s = 0 - f. Is s not equal to g?
True
Let c = -183 - -174. Is c at least as big as -1?
False
Let m(i) = -i - 6. Let f be m(-6). Suppose 2*h - 146 = -44. Let q = h + -154/3. Which is greater: f or q?
f
Let d = -405 - -284. Let n be (-13)/4*88/d. Which is bigger: 3 or n?
3
Let a = -880 + 772. Does a = -108?
True
Let c(t) = -t**3 + 14*t**2 + 31*t + 16. Let m be c(16). Is m >= 19/74?
False
Let q(p) = 10*p - 292. Let n be q(53). Is n at most as big as 238?
True
Let a = -2605 - -2600. Is a greater than or equal to -152/31?
False
Let o = -2.99 - -3.1. Which is greater: 3/7 or o?
3/7
Let u(w) = -2*w**2 - 16*w + 3. Let i be u(-8). Suppose 0 = 2*f - 3*o + 4, -11 = i*f + o - 3*o. Is -1 less than f?
False
Let j be ((-10)/(-10))/(41/11). Which is greater: 1 or j?
1
Let z be (-310)/15*(-9)/6. Is z >= 29?
True
Let l be 5/3 - 30/45. Let s be (4 - 4 - -5)*l. Let i be (-3)/s*5/(-7). Which is bigger: 0 or i?
i
Let d(a) = -a**2 + 9*a + 6. Let g be d(8). Suppose -2*y - y - m = -g, -m = y - 8. Suppose 0 = -3*f + y. Which is smaller: f or -0.2?
-0.2
Let q = 0.18 - 1.78. Let u = -10.6 - q. Is 1/3 less than u?
False
Suppose -5 = -2*g - 0*g + v, -5*g = -5*v - 10. Suppose -g*m + h = 101, 34 = -m - 4*h - 4. Is -33 <= m?
False
Suppose -29*w = -25*w - 4. Which is smaller: w or -2/547?
-2/547
Let p = 7827/10997 + 4/1571. Suppose -2*b + 15 = -5*b. Let k(r) = r**2 + 5*r + 1. Let z be k(b). Is p greater than or equal to z?
False
Suppose -g - 10 = 10. Suppose -22*f + 6*f = 320. Is f at least g?
True
Let p = 5/343 - 711/1715. Which is bigger: p or 1392?
1392
Let p = 5 - 1. Let d = p - 3. Let c = 0.101 - 0.151. Is d at least as big as c?
True
Let h be (3/9)/(3/36) - 0. Let o be 3*1 + 6 + 205. Let l be h + o/(-36) + 2. Which is bigger: 0 or l?
l
Let u = 76 + -75.96. Is -0.2 bigger than u?
False
Let s = -104 + 1558/15. Let z = -1.2 - -1.6. Which is smaller: z or s?
s
Let r = -24/611 - -21470/17719. Do r and 0 have different values?
True
Suppose -2*o = -0*o + s - 2, 0 = -3*o + 5*s + 16. Suppose 2*h = -2*t + 8, 2*h + h = -o*t + 11. Is h less than or equal to 8?
True
Let p be -1*12*(-8)/(-6). Let z = -1 + p. Let k(l) = -l - 13. Let q be k(5). Which is smaller: z or q?
q
Let v be (8/257)/(-4)*(-3)/(-6). Is 0 bigger than v?
True
Let o(r) = 17*r**2 - r. Let i be o(1). Suppose -6*d = -i + 58. Which is bigger: -8 or d?
d
Let c be (-1 - (1 - 2)) + 6 - 1. Let p be 5/c*(-12 + -1). Which is bigger: p or -14?
p
Let h = -221.77 + -4.23. Which is bigger: h or -0.1?
-0.1
Let n = -636 + 1028. Is n bigger than 392?
False
Let v be (-392 + 382)/(2*1). Let j = 10/13 + -111/26. Is v <= j?
True
Let z be (-3)/(-12) + 195/20. Suppose -1 + z = x. Let g be (78/x)/2 + -2. Does 3 = g?
False
Suppose -4*o + 16 = -0*r - 5*r, -r = -4*o + 16. Suppose 25*v - 19*v - 6 = r. Which is smaller: 0 or v?
0
Let o = -14412/25 + 576. Which is smaller: o or 1?
o
Let k = 0.1 + -1.1. Let j = 10.0517 - -0.0283. Let g = -0.08 + j. Which is greater: g or k?
g
Let l be (-2)/(-4) + (-6)/(-4). Suppose 0*h - l = 2*h. Let c = -13.1 - -13. Which is smaller: c or h?
h
Let c be ((-2984)/2)/(-2*(7 - 6)). Which is smaller: c or 747?
c
Let s be 0 + 0 + -1*1. Let r = -364 + 250. Let b = r - -111. Which is smaller: s or b?
b
Let j be 5 + (-6)/(-90)*-73. Is 2/7 equal to j?
False
Let u(i) = i + 3. Let l be u(-6). Let r be l/20 + (-2)/8. Is 1/5 != r?
True
Let b be (-2)/(-4) + 15/2. Let h be 60/(-9)*((-1)/5 - 1). Is b not equal to h?
False
Let a be 91/42 + 2/(-12). Suppose -2*g = -3*q - 0*q + 47, -2*g - 42 = -a*q. Is g at most as big as -14?
True
Let z(t) = 34*t - 486. Let l be z(9). Is l at least -173?
False
Suppose -10*i + 13*i = -78. Let g be (24/i)/(-6) - (-41)/(-13). Is g < -1?
True
Suppose 2*t - 6 = -0*t. Let g = 0 + t. Suppose -4 = -4*h - 4*o - 12, -h = g*o - 8. Are h and -8 equal?
False
Let p = 868 + -867. Let u = 162 - 8749/54. Is p greater than or equal to u?
True
Let u = -141/8 - -18. Suppose 3*c = 5 + 7. Suppose 2 = -2*t + c*t. Which is bigger: u or t?
t
Let s = -6 + -5. Let g = -11 - s. Let r = g + 15. Is r greater than or equal to 2/5?
True
Let d be 35/84*-3 - 1187/(-950). Which is bigger: -1 or d?
d
Let n be 6/4*(-6 + (-144)/(-27)). Which is greater: -16/13 or n?
n
Let h be ((-19)/38)/((-1)/(-8)). Let w(t) = -t**2 - 5*t - 3. Let i be w(h). Which is bigger: 2/9 or i?
i
Let w = 1409 + -1395. Suppose 5*l - 3 = 2. Is w greater than l?
True
Let t be (-2 - 7)*3/(-9). Let d(a) = -a**3 + 2*a**2 + 5*a - 2. Let l be d(t). Suppose -1 = -2*y - 4*p - 21, -3*y - 20 = l*p. Is y > 1?
False
Let m be (-2940)/14931 - (-2)/9. Let q = 91/474 - m. Is q less than or equal to 1?
True
Let u be (56 + 1)*1/1. Suppose 0 = 4*a + u - 45. Which is bigger: -6 or a?
a
Let t = -6 - -19. Suppose -2*x = 3 - t. Is 8 at most as big as x?
False
Let f = 991 - 129. Suppose 16*n = 174 - f. Is n smaller than -43?
False
Suppose -z = 2 + 26. Let i be -2*(3 - (-60)/z). Suppose -5*o + 24 = -13*o. Is o >= i?
False
Let n(y) = 10 + 3*y - 4*y - 2. Let l be n(6). Suppose -5*f + 0*f = 0. Is l greater than or equal to f?
True
Let p = -1371 - -23315/17. Is p bigger than 0?
True
Let n = 194 + -193. Do 1/4 and n have different values?
True
Let i = 119 - 120. Is i > 178?
False
Let k = 20.51 + 0.49. Let p = k + -23. Which is smaller: p or -0.16?
p
Let f be -4 - (-9)/(27/12). Suppose 2*q = 5*k - q - 15, -3*q = f. Which is smaller: 0 or k?
0
Let k be -30*(63/(-28))/9. Which is smaller: 9 or k?
k
Let t(v) = -344*v - 343. Let i be t(-1). Let x be (8/10)/(6/15). Let y be (-64)/78 - x/(-3). Is y smaller than i?
True
Suppose 0 = -2*j + 4*j. Let u(m) = -m**2. Let t be u(-2). Let l be (t/(-87))/(20/30). Is j less than or equal to l?
True
Suppose -1028 - 15217 = 95*p. Is p smaller than -171?
False
Suppose -14 = q + 4*h, -3*q + 4*h - h + 18 = 0. Suppose -3*v = -1 - q, -3 = -4*n - 3*v. Let m be (-2)/(-11) + 585/(-2310). Which is smaller: m or n?
m
Let w be (-146)/(-365)*(-