)/33). Are p and o unequal?
True
Let t be (-5 - 0)*(-16)/20. Suppose -1 = -3*d - 7. Let g = 0 - d. Which is smaller: t or g?
g
Let p be 9205/255*(-2)/4. Let v = 33689/6 + -5633. Let u = p - v. Which is greater: u or 1?
1
Let b be (237/(-14))/((-36)/70). Let i = b + -33. Suppose 0*g = 4*g + 4, -2*z - 5 = 3*g. Does i = z?
False
Let q = -7 - -12. Let i = 1 + -2. Let v = -1.1 - i. Which is greater: q or v?
q
Suppose d - 3*d + 8 = 0. Let o = d - 5. Let c be (1 - (1 - 1))*o. Do c and 2 have different values?
True
Let g(b) = -b**2 + 4*b + 1. Let f be g(3). Suppose 11 = -2*y - 5*w, 3*y - 2 = -y - 2*w. Suppose 2 = -y*i + 4*i. Is i equal to f?
False
Let b be 16/(-8)*(-1)/(-5). Is 1 bigger than b?
True
Suppose 36 = -4*m - 0*m. Let w(h) = -h - 9. Let i be w(m). Let j be i - 2/1 - -4. Is j >= 2?
True
Suppose -y = -3*v + 230, -2*v + 3*y - 90 = -3*v. Let c be 2 + (3 - v/15). Are c and 1 non-equal?
True
Let i = 30 - 31. Which is greater: -10/11 or i?
-10/11
Let c = -15 + 18. Is 7/4 >= c?
False
Let g(m) = -2*m - 6. Let n be g(-6). Let u be ((-2)/n)/((-4)/(-12)). Are -4/3 and u non-equal?
True
Let a be 9/(-36) - (-2)/8. Let y be 7/(-3) + 0 - -2. Is a not equal to y?
True
Let g = -246 + 230. Which is smaller: g or -11?
g
Let a be (14/(-35))/(1 - 6/5). Which is smaller: 7/3 or a?
a
Let q(v) = 6*v + 53. Let r be q(-8). Let w = 10 + -4. Is r != w?
True
Suppose 6 = 11*g - 13*g. Is g smaller than -28/9?
False
Let g be 2/5 + 9/15. Let s = -582/5 + 116. Is s <= g?
True
Suppose 0 = q - 2*f + 9, 3*f = 12 - 0. Let v be 3/(-4) - (-3)/(-12). Let r be ((-2)/10)/(v + 2). Which is bigger: q or r?
r
Let o be (-3092)/(-560)*(-1)/(-13). Let v = -3518 - -914681/260. Let j = o + v. Is -1 greater than or equal to j?
False
Let j(v) = v**3 + 2*v**2 + v + 1. Suppose 4 + 18 = -5*w - 3*g, 3*w = 3*g + 6. Let a be j(w). Which is smaller: -4 or a?
-4
Let p = 20 + -19. Is -4/7 < p?
True
Let i(h) = -h**2 - 3*h + 6. Let q(k) = k**2 + 4*k - 7. Let l(v) = 3*i(v) + 4*q(v). Let f be l(-8). Which is greater: 0 or f?
0
Let s = -1.6 - -0.8. Let v = -20 + 19.8. Let p = s + v. Which is bigger: -1/2 or p?
-1/2
Let h(u) = -u + 1. Let d be h(1). Suppose r + 0*r = d. Which is greater: 1 or r?
1
Let m = -41 - -29. Let g be (-1)/(-4) + 147/m. Let z(h) = -h - 20. Let u be z(g). Is u != -8?
False
Let s be 9 + (-6)/(0 - 3). Suppose -2*l - 4*g = l - s, 4*g - 32 = 4*l. Which is bigger: -9/4 or l?
-9/4
Let v = 11 + -10.9. Which is bigger: 2 or v?
2
Let a be (-654)/(-1155) - 4/7. Which is smaller: 1 or a?
a
Let g be -3 + (-5)/20*-12*1. Which is smaller: g or 11?
g
Let o = 152 + -179. Which is greater: -29 or o?
o
Let g be (-2)/4 - 7545/(-9). Let t = 836 - g. Let y = 5/2 + t. Is 0.1 at least y?
False
Suppose -k + 2*k = 0. Suppose 1 = -u - k*u. Which is greater: u or 2/25?
2/25
Let x be (-6)/(-4)*(-4)/(-6). Let z = x + 4. Suppose 2*r - 9 = -a, 4 = -5*a - 1. Do r and z have different values?
False
Suppose -13*k + 3*k + 30 = 0. Which is smaller: k or 1?
1
Let r = 91 + -75. Suppose 4*z = -0*z - 5*l + 84, 0 = z - 4*l. Is z at most as big as r?
True
Let a = 10 - 6. Suppose 4*b - 4*k = -36, -2*b = -a*k + 8*k - 12. Is -4 < b?
False
Let t(j) = -j**3 + 2*j**2 + j + 1. Let i be t(2). Let w = -11 + 15. Does w = i?
False
Let h = 77.7 + -78. Is -1 at least as big as h?
False
Let b = -7 + 3. Suppose -2*p - 3 = 7. Which is smaller: p or b?
p
Let x be 34/(-6) + 2/(-6). Is x at most as big as -8?
False
Suppose 4*k - 63 = 5*c - 6, 0 = -5*c - 25. Let v be ((-17)/2)/(20/k). Let n = v + 73/20. Do 0 and n have different values?
True
Let k be -15 + -3 + 6/1. Let o be 4/(-18) - k/54. Is o < -2/5?
False
Let n(k) be the third derivative of k**5/60 - k**4/12 - 2*k**3/3 + 34*k**2. Let g be -1*(0 - 1)*3. Let r be n(g). Is -3 greater than or equal to r?
False
Let p be 2/(-20)*(8 + -7). Which is greater: p or -1?
p
Let d be 4/(-16) + (-42)/(-16). Let s = d - 13/8. Let p = 3 - 3. Is p smaller than s?
True
Let h = -57 + 39. Is h at least -16?
False
Suppose 0*u - 3*u - 7*u = 0. Is u at least 3/5?
False
Suppose 10*b = 5*b. Suppose 3*f - 6*f = b. Are 0 and f nonequal?
False
Let z = 78 + 31. Do 109 and z have the same value?
True
Suppose 0 = i - 3*h + 15, 0 = -i - 2*h + 5 - 0. Let m = i - -4. Which is smaller: m or 0?
0
Let q(t) = 2*t - 4. Let p be q(6). Let l = 4 - p. Is l at most -5?
False
Let a = 90/13 + -476/65. Let b be (-1)/(-2)*(16 - 16). Is a greater than or equal to b?
False
Suppose 0 = -d - 0*d + 5. Let p be 1*1*-3 - 0. Let v = p + d. Are v and 2 non-equal?
False
Let i = -72 - -81. Is 10 smaller than i?
False
Let b be (-2)/(-4)*4/(-2). Let v = -8.78 + -0.22. Let r = 9.1 + v. Is b greater than r?
False
Let f = -26 + 26. Let u be 1 + 0 - (1 - 4). Let r be 6/u + (-1)/(-2). Is r < f?
False
Let w(q) = -3*q**2 + 21*q - 2 + q**2 - 18*q. Let m be w(2). Are -2 and m non-equal?
True
Let f = -31 - -156/5. Let l(j) = j - 5. Let g be l(5). Which is smaller: g or f?
g
Let h = -4 + -5. Let p = 1 + h. Which is bigger: p or -9?
p
Suppose 15 = 3*h, 2*o = -0*h + h - 3. Which is greater: 11 or o?
11
Let l = 14 - 13.7. Let s = l - 0.2. Is s bigger than 1?
False
Let c = -4 + 1. Let d = 3 + c. Let i be d - (-1 - 9/(-15)). Which is bigger: 0 or i?
i
Let h be (2/(-24))/((-1)/59). Let d = h + -14/3. Let a(i) = i**3 - 13*i**2 + 13*i - 12. Let p be a(12). Which is smaller: d or p?
p
Suppose -3*s = 5*o + 50, 3*o = 3*s + s + 86. Is -20 at least s?
True
Let b = 7 - 5. Let w(a) = 3*a + 5*a + 0*a - a - 1 - a**b. Let x be w(7). Is x > -1?
False
Let v be (-48)/(-9) + 2/(-6). Let t(a) = a**3 + 3*a**2 + 2*a + 3. Let y be t(-2). Suppose g = -y*g. Which is bigger: v or g?
v
Let d = -1 - 0. Is d at most as big as -5/6?
True
Suppose 0 = -2*t - 0*t. Suppose -r - 2*r = t. Is r greater than -4/9?
True
Suppose 94 = d + 23. Suppose -4*s + d = 5*z, -3*z - s + 2*s + 46 = 0. Suppose 6 = -2*g - 3*x, 5*g + 5*x + z = 4*x. Is g at least as big as -5/2?
False
Let u(w) = w**3 + 6*w**2 - 5*w + 12. Let j be u(-7). Is j <= -14/11?
True
Let b = 1 + -2. Let c(g) = -90*g + 3. Let d be c(-3). Let y = -3005/11 + d. Is y less than b?
False
Let z(h) = 7*h**2 + 5*h + 5. Let x be z(-1). Let j be (-2 + 0)/((-3)/9). Is x <= j?
False
Let u be 26/39*(-3)/10. Which is greater: 0 or u?
0
Suppose -2*j - 2 = 2*p - 0, -4*j + 2 = -2*p. Let w be 1*3 + 72/(-42). Is j > w?
False
Suppose -2*i = -5*u - 6, -4*i - 2*u - 10 = -u. Let o be i/8 + (-1 - -1). Let y be 8/7 + (-8)/56. Which is smaller: y or o?
o
Suppose a = -a + 6. Suppose a*b = -15, -2*w + 35 = -3*w - 5*b. Is w != -11?
True
Let q = -41 + 61. Which is bigger: q or -2?
q
Let r be (-35)/(-14)*(-7)/5. Which is smaller: r or -4?
-4
Let t = 24 + -12. Let r be (-2)/(-10) + t/(-10). Is r >= 0?
False
Let s be 12/10*10/(-3). Is s greater than -16?
True
Let z(c) = c**3 - 14*c**2 - 2*c + 21. Let h be z(14). Let i = -3.9 + 4. Which is greater: h or i?
i
Suppose 0 = 2*r + 2. Do r and -1 have the same value?
True
Let i = -6.257 - -0.057. Let d = -6 - i. Is d smaller than 3?
True
Suppose 5*r - 22 = 13. Let u be 73/7 - 3/r. Is 10 != u?
False
Suppose 0 = p - j - 12, 2*p - 39 = -2*p + j. Which is greater: p or 10?
10
Let f be 4/3*(-15)/10. Let q be 14/(-3) - (-6)/9. Is q >= f?
False
Suppose 2*h = h + 3. Let g be h - (-1 + 0)*1. Let v be 19/4 - 70/40. Is v greater than g?
False
Let b be -1 + (-1 - 3)*-2. Is b != 8?
True
Let c = 77 + -75. Do c and 5/9 have different values?
True
Let k be -12*((-420)/(-16))/(-7) + -1. Is k > 45?
False
Let s be (-14)/35*(-7)/2 + -1. Which is greater: s or -0.026?
s
Suppose -12 - 3 = r + 3*z, -80 = 3*r + 2*z. Is -30 bigger than r?
False
Let w(p) = -7 - 3*p**3 + p**3 + p**3 + 11*p**2 - 9*p. Let c be w(10). Let v be (2 - 2) + c + -3. Is -1/2 < v?
True
Suppose -y - 8*u = -3*u - 56, 3*u - 3 = 0. Is 51 equal to y?
True
Let t(d) = 6*d - 4*d + 7*d + d**3 + 8*d**2 + 5. Let f be t(-7). Let v be (-9)/(-8)*6/f. Which is smaller: v or -2?
-2
Let c be -35*-1*(0 - -1). Let q = -103/3 + c. Which is greater: 2 or q?
2
Let p(k) = k + 16. Let t be p(-12). Let a(q) = q**3 - 6*q**2 + 2*q - 9. Let m be a(6). Suppose -10 = 2*o - 4*n, n + t = -m*o - 4*n. Is o bigger than -4?
True
Let l = -8 - -14. Suppose 21 = -4*d - 5*z, 3*d + 0*z - 3*z + 36 = 0. Let t = 16 + d. Which is bigger: l or t?
t
Let d = 820/9 + -91. Is 0 less than or equal to d?
True
Let f = -13/41 - 2/123. Let 