ss than or equal to x?
True
Let n be (8/(-6) + 1)*137. Let b = -46 - n. Which is smaller: -1 or b?
-1
Suppose 0*h - g + 2 = -3*h, 5*h = 3*g + 2. Is h bigger than 3/5?
False
Let h = -12 - -7. Let u = -6 - h. Suppose 3*l + 4*y - 2 = 2*y, 0 = -2*l + 2*y + 8. Are u and l nonequal?
True
Let g = -5.83 - -0.83. Which is bigger: -11 or g?
g
Let v = 7 - 7.1. Is -2/9 != v?
True
Let t(a) = a. Let n be t(4). Suppose -5*x - 1 - n = 0. Which is smaller: -1/6 or x?
x
Suppose 32 = -2*t - 2*t. Let z = 6 + t. Let n be -9*z/(-14) - -1. Is 0 at most n?
False
Suppose 3 = 4*w - j, 0 = -7*w + 4*w - 3*j + 21. Suppose 14 = w*l - 0*l. Let h = l - 4. Is 2 at most h?
True
Suppose 0 = -226*r + 230*r + 4. Let m = 2 + -1.8. Let k = 0.8 - m. Which is smaller: r or k?
r
Suppose 5*z + 15 = 5*q, 3*q + 4 = -3*z + q. Which is bigger: z or -1?
-1
Suppose h - 36 = -2*h. Let k = 11 - h. Which is greater: 2/11 or k?
2/11
Let a be 27/(-8460)*5*8/(-15). Is a > 1?
False
Let c = -2752/21 - -131. Which is bigger: 1 or c?
1
Let v be (-4)/8 + (-18)/(-4). Which is greater: v or 0?
v
Suppose 0 = -d - d + 10. Suppose -d*r - 14 + 4 = 0. Let x be ((0/(-1))/r)/2. Which is greater: -1/6 or x?
x
Let q = 1 - 1. Suppose q = -4*k + 2*k - 4. Let u = -7 - -5. Is k bigger than u?
False
Let o = 697/5 + -139. Suppose -6*n + 0*n - n = 0. Is n smaller than o?
True
Let h be (-4)/2 + (-26)/(-12). Suppose -22 = -5*w + 2*y - 7, 3*w = 3*y + 18. Which is bigger: h or w?
w
Let s be (28/(-21))/((-4)/6). Which is bigger: s or -1?
s
Let v be (-1)/(3 - 44/16). Let t be (2/(-36))/(1/v). Is t less than 4?
True
Let z = -371/3 + 125. Which is bigger: 3/4 or z?
z
Let t(v) be the third derivative of v**5/30 - v**4/24 + 2*v**2. Let f be t(-1). Suppose -6 = -3*r - f. Which is smaller: r or -1?
-1
Let m = 40 + -38. Which is greater: 5/3 or m?
m
Let q be ((2 - 0) + -3)*3. Let u = q + 4. Suppose 3*f + 6 = -3*t + 18, 3*t - 4 = f. Is u > f?
False
Let i = 25 - -19. Are -1/4 and i equal?
False
Let r(n) = -n + 4. Let m be r(5). Let k be (-40)/(-15) + m/(-3). Let w be 2/(-4)*(-6)/k. Is 0 greater than or equal to w?
False
Let o = 1 - 6. Let x be 0/1 + (-2)/o. Which is smaller: x or 1?
x
Let s be (-594)/30 + (-2)/10. Which is smaller: s or -21?
-21
Let h = 4 - 3.9. Let q = h + -3.1. Is -0.1 > q?
True
Let f = -8.5 - 1.5. Let x = f - -9.9. Is 13 not equal to x?
True
Let r = 2 + -8. Let s be 2/r + 5/6. Which is smaller: s or 2?
s
Let w = -25/168 + 1/42. Let q(t) = t**2 - 9*t. Let y be 6/(-9) - 29/(-3). Let x be q(y). Is w greater than x?
False
Suppose 35 = -2*h + 2*z + 11, 0 = -4*h - 5*z - 48. Is h not equal to -12?
False
Let y = 0.14 - -1.86. Let f = 1.2 + 0.6. Let u = y - f. Is 0.2 bigger than u?
False
Let z(t) = t**2 + 6*t - 12. Let s be z(-10). Let f be 16/(-10)*7/s. Which is smaller: 2 or f?
f
Let y = -3 - -23/8. Suppose -9 = -v + 4*r, -3 = 5*v + r + 3*r. Is y <= v?
True
Let n = -5/4 - -49/36. Let o = n + 22/45. Is o > 0?
True
Let u(d) = d**2 + d + 2. Let v be u(-2). Suppose -2*o = -v*o + 2. Suppose -4*c = 3 + o. Is 0 at least as big as c?
True
Suppose -15*b + 24 = -13*b. Let v(o) = -o**2 - 7*o - 3. Let p be v(-6). Suppose -w = -p*w + b. Is w <= 6?
True
Suppose s + 6*o - 3*o = -3, 5*o = 4*s - 5. Suppose -15 = 5*v, 3*a + 2*v + 6 = -s*a. Let f be (0/(-4) + 0)/(-1). Are f and a equal?
True
Let l = -1.47 - 0.03. Let f = -5.5 - l. Which is smaller: -1 or f?
f
Let q = 17/39 - -3/13. Let f = 9 - 6. Let y = -1 + f. Which is bigger: q or y?
y
Let d be (-4)/(-8) + (-3)/(-2). Do d and 14/15 have different values?
True
Suppose 2*w + 3*w + 630 = 0. Let l be (-35)/w + 2/9. Let y = -3 - -2.8. Is l bigger than y?
True
Let i(m) = 3*m + 17. Let l be i(-6). Let b = -3993/13 + 307. Which is smaller: l or b?
l
Let p = -49.8 + 50. Is -9 > p?
False
Suppose 5*b + 21 - 11 = 0. Do b and -11/8 have the same value?
False
Let k be 2/(-4) + 26/36. Let g = -6 + 5. Is k <= g?
False
Let s = 6 + 14. Is s > 21?
False
Suppose -23 = -4*b + 2*b + 5*p, -2*b - p = -5. Suppose 2*h = b*h. Which is bigger: h or -1?
h
Let n = 3 - 4. Is n at least -8/9?
False
Let v(c) = 240*c + 3. Let q be v(3). Let o = -4064/7 + q. Let w = -142 + o. Is -1 smaller than w?
True
Let k = 15/64 - -1/64. Let y(g) = g + 7. Let v be y(-6). Is k > v?
False
Suppose 0 = 2*p - 8, 5*v = 3*v + p + 28. Suppose 0 = 4*z - 4*n - v, -2*n + 6*n - 4 = -z. Suppose -d = z*d + 5. Is d != -1/13?
True
Let c be -1 - (-3 - (-1426)/18). Let u = -77 - c. Let f = 1 - 0.7. Which is bigger: u or f?
f
Let y be (-2)/(-3) + 2875/(-45). Let g = y - -63. Is -1 at least g?
False
Let c = 8 + -3. Is c smaller than 6?
True
Let w = -4.1 + 4. Let s = -0.1 + w. Let g = s - -0.3. Is -0.1 at least g?
False
Let s be 6/30 + 82/40. Is s at least as big as 3?
False
Suppose -c - 3*c - 16 = 0. Let p be (4 - 1) + -2 + 5. Let b be p/4*c/6. Which is smaller: b or 0?
b
Let y = 318 + -9220/29. Which is smaller: -1 or y?
-1
Let y be (-1371)/6*10/25. Let z = y - -91. Is z >= -1?
True
Suppose 5*y + 10 = -2*a, -14 - 6 = 5*y. Suppose -5*s + 16 = -3*v, -2*s = s - a*v. Is s <= 4?
False
Suppose 0 = -w + 6 + 9. Let u be 6*5/(w/(-2)). Let k(j) = -j**2 - 8*j - 10. Let b be k(-7). Which is greater: u or b?
b
Let z(g) = -g**3 - 7*g**2 - 1. Let d be z(-7). Are 1 and d unequal?
True
Let h be 0/((-10 + 2)/(-4)). Suppose 0 = -v - 2*v - 3. Is h less than or equal to v?
False
Let r(t) be the second derivative of -t**5/20 + 7*t**4/12 + t**3/6 - 7*t**2/2 - t. Let q be r(7). Does 2/3 = q?
False
Let t = 4.03 + -4. Let o = t - -0.07. Does -0.2 = o?
False
Let t = 50 - 50. Is t at least as big as -5?
True
Suppose -3*i + 120 = i. Let v be (i - 0)*6/(-15). Let r be ((-4)/(-6))/((-2)/v). Which is smaller: r or 2?
2
Let r = 0.12 - 9.12. Which is bigger: r or 0?
0
Let s = -226/737 - 16/67. Is s not equal to -1?
True
Let v = 2 + -1. Let p be 1/4 + (-1)/(-28). Is p at most v?
True
Let h = 3 + 13. Suppose 5*s - h = s. Let u be 3/(2 + -1 - 0). Is s at least u?
True
Suppose 2*v - 4*s + 4 = 0, -v + 2*s - 50 = -6*v. Let u = v - 6. Let c = 4 - 2. Is c equal to u?
True
Let p = 9 - 5. Let c = -0.368 - -0.068. Which is smaller: c or p?
c
Let l = 18111/19 + -953. Which is greater: -1 or l?
l
Let o(b) = -4*b - 3. Let w be o(-2). Let q be 2 - w/(5/2). Is q bigger than 2/5?
False
Let j be (2 + 0)/(4/6). Suppose 20 = 2*r - 12. Suppose u = -j*u - r. Is -3 less than or equal to u?
False
Let d(m) = m**3 + 2*m**2 - 5*m + 3. Let c be d(3). Let t = c - 46. Does t = -14?
False
Suppose 4*o - 9 + 21 = 0. Let m = -2 - o. Is 1/11 less than or equal to m?
True
Let z = -0.094 - -0.964. Let g = z - 0.17. Let t = -0.3 - g. Which is smaller: t or 0?
t
Let p be 12/(-21) + -1 + (-50)/(-35). Which is smaller: 7 or p?
p
Let i = 1 - -1. Suppose -i - 1 = b. Is b less than -3?
False
Let o be (-3 + -7 + 1)/(2 - 3). Which is bigger: 11 or o?
11
Let q = -5.2 - 19.8. Let v = 25.23 + q. Let l = v + -0.03. Is l bigger than 3?
False
Suppose -3*q = 2*m + 14, m + 0*m + 14 = -5*q. Let n(i) = -i**3 + 4. Let o be n(0). Let x = o + -5. Are x and q equal?
False
Suppose 335 - 131 = 2*d. Let n be 12/d*(1 - 2). Which is smaller: -1 or n?
-1
Let y be ((-15)/(-6))/(-5)*-2. Suppose 0 = 4*a - 3 - y. Let x be 11/(-3) - (-4)/6. Which is smaller: a or x?
x
Let r = 4.4 + -0.4. Let i = r + -3.7. Let z = -9.1 + 8.9. Which is smaller: i or z?
z
Let k(o) = 13*o**2 - 4*o**2 + 2*o - 9 + 3*o + 6*o - o**3. Suppose -30 = -2*y - 10. Let s be k(y). Are 3/7 and s non-equal?
True
Suppose 10*r = 9*r + 19. Which is smaller: 20 or r?
r
Let y = 5/46 + -347/230. Which is smaller: -1 or y?
y
Let g = 65519/6 + -11025. Let i = g - -106. Let j = 5/6 + i. Which is smaller: j or 2?
j
Let b = 2312 + -11499/5. Let v = b + -64/5. Which is smaller: v or 1?
v
Let i = -1 + 1. Let l be 1573/33 - 1/(-3). Let z be (l/(-10))/6 + 1. Are z and i equal?
False
Let o be (-88)/(-24) + (-4)/6. Let i be (-2)/(1 + (4 - o)). Which is smaller: i or 2/17?
i
Suppose 5*m = -1206 - 249. Let b be 4/(-28) - m/(-21). Is -14 bigger than b?
False
Let q(a) = -a**3 + 2*a**2 + a - 3. Let c be q(2). Are -4 and c nonequal?
True
Let r(w) = 5*w + 5. Let i(u) = -u**2 + 4*u - 5. Let s be i(3). Let h be r(s). Which is smaller: h or -3?
h
Let d = -21 - -16. Is 2 not equal to d?
True
Let j = -4 + 9. Suppose -4*z + 3*w - 19 = 0, 2*z + 2*w - 13 = -j. Is z != -1?
False
Let i = 0 + -0.2. Let p = 0 - i. Let a 