 9 = -k - 5*j + j. Suppose x - 4*n - k = -2*x, -4*x = 4*n + 24. Which is smaller: x or -4?
-4
Let v = 5 + -4.7. Let o = v - -0.7. Is o at least as big as -1?
True
Let j = 1.5 - 1.68. Let b = j - -0.08. Is b greater than or equal to 6?
False
Let b be 0/(1*(0 - 1)). Suppose 0 = -0*y - 3*y - 2*p - 278, -2*y = 4*p + 188. Let a = 647/7 + y. Which is greater: a or b?
a
Let g = 0.6 - 2.1. Let h = g + 1. Let y = -0.4 - h. Is y at most as big as -0.1?
False
Let k = 12/5 + -99/35. Which is greater: k or 1?
1
Let p = -43 - -49. Is 8 > p?
True
Suppose 0*w - 3*w = 15. Suppose -34 = 4*u - 2. Let j = u - w. Does -3 = j?
True
Let w be (-2 + 0)*(-5)/10. Let f be (w - 2)/(12/(-24)). Let u = 6/7 + -4/21. Which is greater: f or u?
f
Let n = -3 + 13. Which is greater: -1/5 or n?
n
Let z be (6/140)/(27/(-12) + 3). Is z != -1?
True
Let c(o) = o**2 - 14*o - 12. Let f be c(15). Which is bigger: 13 or f?
13
Let t be 4 - (3 + 3/3). Let q be -6 + 5 - 78/(-74). Which is smaller: t or q?
t
Let r = 2.5 - 2.38. Which is greater: r or -2/7?
r
Let s = 32 + -21. Let l = s - 17. Let m be (-25)/(-63) + l/21. Is m greater than -1?
True
Suppose 0 = -4*z + 15 + 1. Let y be (6/12)/(2/z). Let t = -58/3 - -19. Which is smaller: y or t?
t
Let g(j) = j**3 - 7*j**2 + 2*j - 5. Let m(w) = w**2 + 3*w - 3. Let k be m(-5). Let p be g(k). Let r = -8 + p. Which is greater: -2/5 or r?
r
Let w = 2 - 3. Let u = 7 - 10. Let h = 3 + u. Which is smaller: h or w?
w
Let s = -0.19 + -5.81. Let a = s + 9. Does 0.1 = a?
False
Let c be ((-4)/(-12))/((-3)/((-27)/6)). Which is bigger: c or -2/15?
c
Let f be -19 - (3 - 4)/(-1). Let r be (3/2)/(45/f). Are r and -1/7 nonequal?
True
Let c be (3/(945/12))/((-6)/(-5)). Which is smaller: -1 or c?
-1
Suppose i + i - 26 = 0. Let g = i + -13. Is g at most as big as 3?
True
Suppose i = 3*i. Let w be 30/(-39) + (i - -1). Let r = w - 2/65. Which is smaller: 1 or r?
r
Suppose 6*b - 12 = 3*b. Suppose -13 = 3*c - m, 17 = -b*c + 4*m - 3*m. Let h be c/22 - (-51)/99. Which is smaller: 0 or h?
0
Suppose -9 + 8 = l. Is l > -1/4?
False
Let i = 813080/239 - 3402. Is 0 >= i?
False
Suppose f + 53 = 5*o, -3*o + 21 + 21 = -4*f. Which is bigger: o or 21/2?
21/2
Let m = 0.32 + -0.02. Which is greater: m or 0.08?
m
Let y = 0.029 + 0.271. Which is greater: y or -10?
y
Let p(w) = 5*w**2 - w. Let l be p(2). Suppose -48 + l = 5*h. Let n be 3/(-2 - 3/h). Which is smaller: n or -3?
-3
Let c be 1*(-21)/(-1)*-1. Let u be 3/1 - (-65)/c. Which is smaller: u or 1?
u
Suppose 5*b - 12 = b + 4*g, -5*g - 5 = 5*b. Let j be (b/9)/((-9)/(-27)). Which is smaller: 0 or j?
0
Let b(g) = g**3 - 12*g**2 + 10*g + 10. Let y be b(11). Let u be y - 0 - (11 + -11). Is u bigger than -6/5?
True
Let l = -0.23 + -1.47. Let m = 0.3 - l. Is -0.02 < m?
True
Let h(j) = -j**3 + 13*j**2 - 17*j + 15. Let a be h(12). Which is bigger: a or -46?
a
Suppose -8 + 0 = -4*v. Suppose -4*j = -v*j + 28. Let m be (j/(-21))/(4 + -1). Do m and -1 have the same value?
False
Let l = 0.55 - 0.05. Let x = -0.7 + l. Let d = -3.1 + 3. Is x greater than d?
False
Suppose -2*a + 0*a = 2*b - 230, -5*b - a = -559. Let g be (-6)/(-8) + b/12. Is g greater than or equal to 10?
True
Suppose 2*p - 33 - 15 = 0. Let q be 0/2 + (-9)/p. Let u be (-6)/15 - 6/(-15). Is u at least as big as q?
True
Let c = -2.7 + -0.3. Let a = c - -1. Is a greater than or equal to -2/3?
False
Let f be -1 - ((-74)/164)/1. Let u = f - -2/41. Let i = -5 + 4. Is i bigger than u?
False
Let o be (-10)/(-10) + (-1 - -21). Suppose -3*i + 2*x = o, -4 = 3*i + 4*x - 1. Suppose -3 = k + 3. Which is greater: i or k?
i
Suppose -a - v = -0*a - 21, -a + 39 = -5*v. Suppose 5*l = 15, 5*t - 2*l - a = -0*l. Let f(o) = 3*o + 1. Let i be f(2). Which is greater: t or i?
i
Let c = -46 - -91/2. Which is smaller: c or 4?
c
Suppose -2*p - 1 = -3*p. Does 4/11 = p?
False
Suppose -3*t = -4*f - 50, -35 = -5*t + 3*f - 6*f. Let i be ((-6)/t)/((-2)/(-5)). Which is bigger: -1 or i?
-1
Let a(k) = k**2 - 5*k + 2. Let l be a(4). Let n be (-3)/(2 - (-25)/l). Let q = -345 - -343. Which is greater: q or n?
n
Let h be (0 + 1)*14/(-26). Is 0 at most h?
False
Let w be -6*(-3)/(198/(-933)). Let k = w + 85. Is k less than 1?
True
Let o(k) = -8*k**3 + k**2 - 1. Let x be o(-1). Let j be (-4)/x - 81/(-28). Let h = -15/7 + j. Is -0.1 less than h?
True
Let i = 1 + -1.04. Let w = 0.2 - 0.16. Let v = w + i. Which is smaller: v or 0.2?
v
Let b be 1 + 2 + 1/(-1). Let k be b/4 + 19/(-2). Let c be -2 + (-6)/k*6. Which is bigger: 3 or c?
3
Let b = 0 + 3. Let h be 3/12 + (-33)/(-12). Let j be (8/(-6))/((-2)/h). Which is smaller: j or b?
j
Let a(l) = 5*l**2. Let q be a(1). Suppose 3*i + 26 = -4*s, -5*i + q = -0*i - 3*s. Suppose -5 = -6*x + 11*x. Is i bigger than x?
False
Let p(f) = f**2 - 3*f + 1. Let t be p(3). Is 2/9 smaller than t?
True
Suppose 3*z = -s + 34, -5*s + 69 = -4*z - 44. Which is smaller: s or 27?
s
Let r be ((-134)/(-6))/(4/(-96)*-4). Is 134 less than or equal to r?
True
Suppose -25 = -5*r - 4*c, r + 4*r - 3*c - 60 = 0. Suppose -3*d + r + 3 = 0. Is 3 smaller than d?
True
Let q(j) = -j + 23. Let b be q(13). Let f = -8 + b. Which is bigger: 1/5 or f?
f
Let u = -3 + 3.2. Let t = -2.34 - -2.54. Are t and u non-equal?
False
Suppose 0 = r - 5 + 4. Which is greater: r or -3/14?
r
Let m be (2/(-25))/((-5)/25). Do m and 0 have different values?
True
Let j = 19 + -21. Let g = -15121135/129 - -117217. Let f = g - 10/43. Which is smaller: j or f?
j
Let u(d) = -d**3 + 5*d**2 + 6*d + 2. Let r be u(6). Suppose -5 = -r*x - 13. Which is smaller: -2 or x?
x
Let g be 4*(-5)/((-20)/3). Let h(r) = -r**2 + 8*r + 13. Let w be h(9). Suppose -2*t + w*t = 8. Which is greater: g or t?
t
Let x = 22 + -40. Which is greater: -0.2 or x?
-0.2
Let m = 51/32 + -3/32. Let p be (2/3)/(2/(-6)). Let v be (-1)/(p/(-4)*-1). Which is greater: v or m?
v
Suppose 11*c + 484 = -0*c. Is c at least -43?
False
Let g = 1.9 + -2. Let u = -0.1 - g. Suppose -17*j + 14 = -3*j. Is u >= j?
False
Let c = -14 - -14. Which is bigger: -0.06 or c?
c
Let k(y) = y**3 + 8*y**2 - 9*y. Let v be k(-9). Let q be -3 - v - -2 - -2. Is q at least 12/7?
False
Let c be (0 + -1)*(4 + 1). Suppose 0 = 29*s - 33*s - 20. Let d = c - s. Are -2/13 and d unequal?
True
Let y = 4 + -1. Let t = 3.1 - y. Does t = -2/5?
False
Suppose 2*r + 0*r = 0. Suppose r = 3*f - 4 - 5. Suppose 4*y - f = y. Which is greater: y or 3/4?
y
Let g be (5 - 1)*(-20)/16. Let c be (-1 + -2 - -2) + g. Is c at least as big as -6?
True
Let u(j) = -3*j + 1. Let n be u(-1). Suppose 0 = 2*f + q + 4, -2*f - q = -5*f + n. Is f at most as big as -1/4?
False
Let w = -4 - 5. Let o be 2 - w/(-24)*6. Is o at least 7?
False
Let c = -7 + 12. Is c greater than 0?
True
Let p = 7363/17 - 433. Which is greater: p or 1?
1
Let c(q) = -6*q - 19. Let p be c(-9). Let v be (-2)/4 + p/126. Which is smaller: v or -2?
-2
Let r be 10/9 + 5/(-45). Are r and 3/16 nonequal?
True
Suppose h = -2*h - 6. Is 0 <= h?
False
Let c(r) = r + 14. Let k be c(-14). Is 5/6 <= k?
False
Let p be 330/12*8/(-10). Which is smaller: p or -24?
-24
Let c be (-20)/75*10/(-4). Let r(h) = 3*h**2 - h + 1. Let f be r(1). Let y be 0 - (1 + f/(-6)). Is c at most as big as y?
False
Let x = -12.051 + -0.149. Let v = x + 12. Is -1/4 at most v?
True
Let x(u) = u**3 + 13*u**2 + 11*u - 26. Let f be x(-12). Is -0.2 at most f?
False
Suppose 2*u - x - 3*x = 18, 4*u = -2*x - 4. Let o = -2/33 + 92/429. Which is smaller: u or o?
o
Let q = -1 - -2. Suppose -4*k - 14 + 6 = 0. Let b be ((-16)/(-10) + -2)/k. Which is smaller: q or b?
b
Let p = -0.03 + -0.97. Let k = 0.09 + -6.09. Let q = -7 - k. Is q <= p?
True
Suppose 15*q = 18*q + 99. Let u = 32 + q. Let m be (4/(-10))/((-6)/(-10)). Which is smaller: u or m?
u
Suppose 0 = j - 4*j - 33. Let b = j + 9. Which is smaller: b or -1?
b
Suppose 0 = -t + 4 - 5, 0 = -5*p - 5*t + 5. Let d be (-2 + 1)*(-5 + p). Is -2 != d?
True
Suppose w + a - 4 = -0*a, -3*w + 3*a - 6 = 0. Is w greater than or equal to 1?
True
Let a = 13 - 12.9. Let p = 0.5 - 1.5. Is a != p?
True
Let m = 39 - 22. Suppose 0 = -y - 2*w - 9, 3*y - 3*w - m = y. Let f = 227/126 - 19/14. Which is bigger: f or y?
y
Let b(z) = -z**3 + 4*z**2 + 5*z + 1. Let k be b(5). Suppose -2 = -s - k. Let h be ((-1)/(-4)*0)/3. Is s less than or equal to h?
False
Let j = 3 + -2. Suppose -h = 3*x + 3*h - 5, x + h = j.