n). Is 1 less than d?
False
Suppose 4 = 2*w + 6. Which is bigger: -20/9 or w?
w
Let i(p) = p + 1. Let q be i(0). Let d = -1.599 - 0.331. Let r = -0.07 + d. Which is smaller: q or r?
r
Let y be (16/(-6))/(6/27). Let v be ((-6)/(-8))/(3/y). Let w be -1 - 1*v/(-12). Which is smaller: w or -1?
w
Let v = 325 + -462. Which is greater: v or -138?
v
Let p = -6 - -4.5. Let h = -1 - p. Let z = h + -0.3. Are 1/4 and z nonequal?
True
Let j be 0 + -1 - 3/(-2). Suppose t - 6 = -2*t. Suppose 0 = -w + 3*w - t. Which is smaller: j or w?
j
Let w = -2.5 - -5.1. Which is greater: w or 0.1?
w
Let f be 4 + -3 - (174/93 + -1). Which is greater: 0 or f?
f
Let n be (40/12 - 2)/((-2)/(-93)). Is 62 at least as big as n?
True
Suppose 4*k = -2*p + 26, -3*p + 2*k + 11 = -28. Let g = 14 - p. Is 1/8 at least g?
False
Let d be (-2 + -99)/(1311/(-21)). Let s = d - 36/23. Which is greater: s or 0?
s
Let w = -7 - -17. Is 11 greater than w?
True
Let m(a) be the second derivative of -a**4/12 - 5*a**3/6 + 3*a**2 + 2*a. Let k be m(-6). Is -1/5 at most k?
True
Let i = -1 - -4. Suppose -4*u = -26 + 10. Suppose 21 = 5*f - 2*c, i*c - c = u. Are 5 and f nonequal?
False
Let v be 1/3*(-1 - -1). Let n be 2*-2 - (-2 - v). Which is greater: n or -3?
n
Let z = -1 - -4. Let j = -1 - -0.7. Let f = -0.4 - j. Which is smaller: z or f?
f
Suppose -3*k = 5*h + 55, 2*h - 4*k + 20 = -28. Let b be 60/63*h/(-12). Let a = b + -68/45. Which is smaller: 0.4 or a?
a
Suppose -4*v - 675 = 5*m, 2*v + 339 = -7*m + 4*m. Which is greater: v or -166?
v
Let n = 7 - 7. Let p be 1/(5/(-2) - 0). Do p and n have the same value?
False
Suppose 23*d + 3 = 26*d. Is -1/15 at most d?
True
Let a be -5*(-1 - (-8)/20). Let z be 0 + 1 + 1 + 0. Suppose -q - a = z*q. Which is greater: -2 or q?
q
Let h = -19/2 + 175/18. Let g = 1/6 - -1/3. Which is bigger: g or h?
g
Let x = 53 - 25. Suppose -4*b = 4 - x. Suppose -10 = 5*t, 2*j - j - b = 5*t. Which is bigger: j or -3?
-3
Let q(u) = -u**2 - u + 9. Let j be q(3). Is j less than or equal to -8/5?
True
Suppose 4*r + 0*r = 4. Is 3/8 greater than or equal to r?
False
Let c be (10/25)/((-154)/35). Which is greater: -1 or c?
c
Let g = -0.5 + 0.6. Which is smaller: 5.1 or g?
g
Let o(j) = 10*j - 4*j - 13*j + 9 + j**2. Let w be o(4). Is -4 > w?
False
Let m(k) = k**3 - 5*k**2 + 2*k + 1. Let s be m(4). Let t(f) = f**3 + 8*f**2 + 8*f + 6. Let o be t(s). Let h be 4/(-6) + (-8)/(-9). Which is bigger: h or o?
h
Let o be (13/(-10)*4)/(2 + -1). Is o <= -6?
False
Let x = -6 + 3. Let h be 2/2 + x + 1. Which is smaller: h or 1/6?
h
Let s(y) = -y**3 - 3*y**2 + 2. Let g be s(-4). Suppose 3*v = 2*v - 3*r + 13, -4*v = -2*r + g. Is v at most -2?
True
Let f be ((2 - 1)*0)/(-2). Suppose -3*m = -f*m - 12. Let i be 14/3 - (2/3 - 1). Is m at most as big as i?
True
Let x be (-74)/40 - (-2)/8. Let q = 70 + -72. Is x > q?
True
Let p = 46 + -44. Which is smaller: 31 or p?
p
Let u(p) = -9*p + 3. Let s be u(-8). Are 75 and s nonequal?
False
Let p(w) = 3*w - 71. Let f be p(24). Let s be (-2)/2 - 55/1. Let z = s + 225/4. Do z and f have the same value?
False
Let n = 375 - 26623/71. Which is bigger: -1 or n?
n
Suppose -2*s + 0*s - 5*q - 27 = 0, -4*s - 14 = 2*q. Let o(h) = -3*h**2 + 2*h + 2. Let a be o(2). Let t = -6 - a. Is s != t?
True
Suppose 2*d = -3*f - 74, 7*f + 2*d = 2*f - 130. Let g be (-3)/6 - 2/f. Which is greater: g or 1?
1
Suppose -3*j = -3*r - 1 + 10, -8 = -4*j. Let m = 3 - r. Let v be (-27)/(-105) - m/(-5). Which is greater: 0 or v?
0
Suppose 12 = 2*i + 8. Which is smaller: i or -8?
-8
Suppose 2*j - 4*i = -54, -3*j - 2*j + i - 108 = 0. Let q be ((-1)/12)/(j/(-56)). Which is greater: q or 0.3?
0.3
Suppose 0 = -h - 4*w, h + w - 21 = 6*h. Let t be ((-1)/22)/(h/16). Which is bigger: t or 0?
t
Let b = -4 - -18. Suppose 9*x = b*x. Is x < 1/27?
True
Let x(s) = 2*s - 37. Let a be x(20). Is 1 at least a?
False
Let x = 23 - 34. Is x bigger than -9?
False
Let z = -205/2 + 105. Which is bigger: 3 or z?
3
Let z = 0 + -1. Which is bigger: z or -1/4?
-1/4
Let z = -0.06 + -0.04. Which is bigger: 0.009 or z?
0.009
Let x = 57/10 - 11/2. Which is greater: x or -0.1?
x
Let c = -23 - -9. Let v be 1/5 + (-105)/25. Let j be 24/14 + v/c. Does j = 1?
False
Let x = 0.01 + -0.11. Suppose 5*f = f - 132. Let z = f + 497/15. Is x equal to z?
False
Let y be ((-3)/15)/((-6)/10). Let i(p) = p**2 + 7*p - 7. Let l be i(-8). Which is smaller: l or y?
y
Let k be (2/6)/((-6)/18). Is k >= -19?
True
Let s(j) = -2*j + 18. Let n(h) = -3*h + 27. Let g(d) = -5*n(d) + 8*s(d). Let k be g(9). Let b be (0 - 0)/(k - 1). Is b greater than 2/3?
False
Suppose -7*q + 2*q = -45. Let z = q + -9. Which is bigger: 3/7 or z?
3/7
Suppose -5*q + 3 = -2. Which is bigger: q or -2?
q
Let g = -1 + 5. Which is greater: -3 or g?
g
Let m = 16 + -9. Which is smaller: m or 1?
1
Let g be 8*(-1)/2*1. Is g != -6?
True
Let p(k) = 17*k**3 + 4*k + 3 + 4*k**2 + 0*k**2 - 16*k**3. Let s be p(-3). Is s less than 1/5?
True
Let b = -9 - -5. Let k be 11 + 6 + b + 1. Suppose k = -5*c - 1. Is -4 smaller than c?
True
Suppose -3*s = -2*x - 9, -2*s - 3 = s. Let n be 17/(-14) + (-9)/x. Which is bigger: n or 0.02?
n
Let y(w) = 2*w + 4. Let l be y(-3). Let g be 11/(-9) - (-12)/18. Are g and l non-equal?
True
Let b(y) = -2*y + 4. Let j be b(-7). Is 17 at least as big as j?
False
Let o = 14 - 6. Which is smaller: 0.3 or o?
0.3
Let v be (4 - 5 - -6) + -4. Let r be 1*-2 - (1 + v). Let i be (2 - 0)*(0 - 2). Is i greater than r?
False
Let l = -0.2 - -4.2. Which is smaller: l or 0?
0
Let u be -4 - (-12)/(-4)*1. Is u at most as big as -6?
True
Suppose -y + 7 = 3. Let q be ((-2)/y)/(4 - 3). Let g = 0.7 + -1.7. Which is bigger: g or q?
q
Let c = 110 - 112. Let s(m) = -m**2 - 2*m. Let y be s(-2). Suppose -4*h + h = y. Which is bigger: c or h?
h
Suppose -n + 286 = -3*f, 6*n - n + 316 = -3*f. Let t = 8920517/91755 + 12/10195. Let y = t + f. Which is greater: y or 1?
1
Let h = -662/5 + 132. Suppose 2*o = -o. Suppose o*t = -t. Which is bigger: t or h?
t
Let x be (-5)/(-1917)*(-6)/4. Let l = -81143/2556 + x. Let r = l - -31. Is -2 greater than r?
False
Let w = -0.05 - 0.05. Which is smaller: 5 or w?
w
Let l be 1 + -3 + -2 + 1. Let o = -3 - l. Suppose o = -2*t - 6 - 6. Which is smaller: -1 or t?
t
Let y(b) = 3*b + 5. Let c be y(-4). Let t = -4 - c. Is 3 at most as big as t?
True
Let z be (-760)/(-14) - (-4)/(-14). Let b be z/4 - 2/4. Suppose -b = 3*w - 4*r, 2*w + r = 4*r - 10. Is -1 greater than w?
False
Let s(j) = -j - 1. Let y be s(2). Let o be 11/(-24) - 1/y. Which is bigger: o or 0?
0
Let c(u) = u**2 - 11*u + 7. Let v be c(9). Do v and -11 have the same value?
True
Let l = 6 - 5. Let a = l + 3. Is -0.1 <= a?
True
Let n be 3/12 - (-8)/(-36). Which is smaller: 0 or n?
0
Let f = 2 - 3. Let d be 1 + f + (-2)/(-6). Which is greater: d or -0.2?
d
Suppose 3*m + 89 = 4*y, -2*y + 3*m + m = -32. Let n be 6/39 - (-178)/y. Which is smaller: n or 8?
n
Suppose 5*s = 41 + 19. Let x = s + -13. Which is greater: x or 3?
3
Let q(f) = f**2 + 2*f + 5. Let z be q(-4). Is 14 not equal to z?
True
Let u = -27 - -18. Let c be u/(-12) + 2/8. Let h be (-2)/9 + c/45. Which is bigger: h or -2/3?
h
Let h(y) = -y**2 + 23*y - 7. Let x be h(10). Are x and 122 nonequal?
True
Let h = -265 - -8225/31. Is h not equal to 0?
True
Let f be 16/4 - (0 + 0). Let h = f + -3. Which is smaller: h or -2/17?
-2/17
Suppose 2*s = -0*l - l + 3, -12 = -4*l. Let a(y) = y + 6. Let q be a(-6). Is s > q?
False
Let x be (-156)/(-4) + 0 + 3 + 0. Which is greater: 43 or x?
43
Suppose x - 5 = 0, 0*x + 17 = -4*v - 3*x. Let n be (v/84)/(1/(-6)). Which is smaller: 2 or n?
n
Suppose -d - 4*o + 54 + 7 = 0, -3*d = -2*o - 155. Is 54 at most d?
False
Let a be -2 - (-3 + 3 + -4). Let w be 5/((-15)/18) + a. Which is smaller: w or -8/3?
w
Let d be 3 + -2*(-2)/(-4). Suppose -3*t = 4*r - 5, t - d = -2*r - 1. Is 0.06 >= r?
True
Let l be -1 - (47/(-7) - -1). Is l greater than or equal to 5?
False
Let v be 72/5 + (-6)/(-10). Let j = v - 14. Do 3/2 and j have the same value?
False
Let z be ((-9)/(-54))/((-4)/(-18)). Which is bigger: 1 or z?
1
Suppose -2 = -5*y + 3*y - 4*w, -4*y + 3*w = -26. Let i = -8 + y. Let q be (-1 - 48/(-9)) + i. Which is bigger: 2 or q?
2
Let c be (-1 - -2)/(-3 + 2). Let q = c + 2. Suppose 4*f = -q - 7. Do f and -2 have different values?
False
Let r = -21 + 21