alse
Suppose -7*q + 3*q = 28. Is q greater than or equal to -11/2?
False
Let s = 18 + -8. Which is bigger: s or -1?
s
Suppose -r - r - 4 = 2*o, -3*o - 2 = 5*r. Let y(h) = h + 0 + 0. Let t be y(2). Is r less than t?
False
Let m = -21 + 22. Is 1/13 < m?
True
Suppose 5*z + 16 - 6 = 0. Let t = 1/159 + -55/318. Is t != z?
True
Let s = -82901/30 + 2764. Let y = 5/6 - s. Which is bigger: -1 or y?
y
Let l be 1 - 3 - -1 - -1. Which is smaller: 1/95 or l?
l
Let d be (-3)/(-7)*12/9. Suppose -4*s - 8 = 0, o + 3*s + 8 = -2*s. Is d bigger than o?
False
Suppose 0 = 4*q - 13 + 5. Let h be (-1)/2*(q + 0). Let u be (2 - (-1 + 1))*h. Is -1 bigger than u?
True
Let w = -5/41 + 317/246. Let s(b) = -b**3 - 8*b**2 - 8*b - 6. Let h be s(-7). Which is smaller: w or h?
h
Let k be ((-2)/(-3))/(2/(-6)). Let p be 3/(-15) - k - 1. Let z be ((-1 - 0) + 1)/1. Which is smaller: z or p?
z
Let m = 1 + -24. Let h be 65/(-3) + (-216)/162. Is m at least as big as h?
True
Suppose 3*s = -7*s - 2*s. Is -0.3 at least s?
False
Let y = 8 - 7.97. Let l = -183.97 - -182. Let a = l - y. Is a not equal to -0.2?
True
Let k = 27 - 57. Let w be (-4)/(-10) - (-32)/k. Suppose -5*x - 5*b - 10 = 0, 0 = 3*x - 2*b + 3 + 3. Which is bigger: w or x?
w
Suppose 13 = 8*w + 5*w. Let d be (-16)/(-15) + 1/3. Do w and d have the same value?
False
Let d = 0.52 + -0.52. Is d equal to -1/16?
False
Let q(r) = r**2 + 2*r - 5. Let z be q(-5). Suppose 5*a - 5 - z = 0. Is 5/2 >= a?
False
Suppose -4 = 4*q - 4*c, -4*q = -2*c + 4*c - 26. Let a = q - 0. Let j be 3 - (-1 - (-1 - 2)). Are a and j nonequal?
True
Let r = 6 + -4. Let c be ((-3)/(-9)*r)/4. Let g be 1/(-1 + -2 + 2). Is c at most as big as g?
False
Let s = -0.2 - 0.1. Let z = -1 + 0.8. Let i = z - s. Which is bigger: i or -3?
i
Let c = -34 + 33.89. Is c >= 0.1?
False
Suppose -13*v = -7*v + 6. Which is smaller: -1/11 or v?
v
Let f = -6358/19 - -334. Which is bigger: 0 or f?
0
Let x be -1 + (-152)/32 + 7. Let k(j) be the first derivative of -j**2/2 - 4*j - 1. Let v be k(-4). Which is bigger: x or v?
x
Let q be 122/15*(-80)/12. Let f = q - -54. Is -1 != f?
True
Let v be (1/9)/(1/(-3))*-3. Suppose 0 = 3*r + 4*s - 26, 0 = r + 5*s - 18 - 9. Are v and r unequal?
True
Let w = -8180 - -40528/5. Let k = w + 74. Is k >= -1?
True
Let x = 6 - 4. Let o = -1.9 + x. Which is greater: o or -2?
o
Let k = -3/2 - -7/6. Is k bigger than -12?
True
Let f = 0.1 - -0.4. Let o = f - 0.3. Let j = o - 0.2. Do 2 and j have different values?
True
Suppose 8 = -4*c - 140. Are -37 and c non-equal?
False
Let l = -5.7 - -1.7. Is -2 <= l?
False
Let m = -7.8 - -0.8. Let h = m + 3. Which is bigger: h or 1?
1
Let k = -3.35 - -1.29. Let h = k + 0.06. Suppose i + 14 = -5*j + 2, 6 = -2*i - 4*j. Are i and h equal?
False
Suppose -5*x = 10, 0 = -7*k + 2*k - 5*x - 245. Which is smaller: -48 or k?
-48
Let o = -136 + 135.2. Is -11 less than or equal to o?
True
Let w = 0.3 - 1. Let p = -1 - w. Let u be (-4)/14 + (-2)/(-7). Is u at most as big as p?
False
Let t be 4/(-15)*35/(-42). Which is smaller: t or -5?
-5
Let j be 1 - (-81)/(-3 + 6). Let m be 178/(-6) + 2 + 0. Let f = m + j. Which is greater: f or 2?
2
Let g be 64/6 - (-16)/(-24). Is g greater than 10?
False
Let h be -6*((-10)/(-4) - 0). Let u be (h/10)/((-2)/4). Is 3 greater than u?
False
Suppose 3*q + 7 = 4. Is 1/12 <= q?
False
Suppose -5*j + 46 + 84 = 0. Suppose b + 2 = 2*x - 0, 0 = b + 5*x - j. Let p be (-96)/18 - 4/b. Which is bigger: -5 or p?
-5
Let c(h) = h**2 + 5*h + 1. Let n be c(-4). Which is greater: -11/5 or n?
-11/5
Let d = 4 - 4.4. Let g = 0.11 - 4.11. Let t = g + 5. Which is smaller: t or d?
d
Let t(l) = l**3 + 7*l**2 + 4*l - 8. Let b be t(-6). Suppose -5*v - 7 - 3 = -5*p, 4*p + v = 23. Is p <= b?
False
Let q = -77978/57 - -1368. Is q less than or equal to -1?
False
Let m be (0*(-1 + 0))/2. Let h = 0.08 - 0.18. Which is bigger: m or h?
m
Suppose -3*o = 49 - 46. Is 1/68 smaller than o?
False
Let r = -40 + 151. Suppose 2*y - 5*c = -y + r, 0 = -2*y + 2*c + 70. Suppose -5*b = -3*z - 13, 2*z + y = 4*b + 5*z. Which is smaller: b or 4?
4
Suppose -k + 4*k = -4*a - 2, 8 = -k - 5*a. Suppose 5*r + 20 - 1 = j, -5*j = -k*r - 3. Is -3 equal to r?
False
Let i(u) = u**2 + 7*u + 6. Let g be i(-6). Suppose g*n = -5*n. Let a = 28 - 29. Does a = n?
False
Suppose -q - 1 + 9 = 0. Which is smaller: 7 or q?
7
Let o(a) = -a + 2. Let i be o(2). Let m = -176 + 1061/6. Let s = m - 1/2. Is s not equal to i?
True
Let j = -7.04 + 7. Let p = 0.36 - j. Let s = -0.4 + p. Which is smaller: s or -0.3?
-0.3
Suppose 1 = 2*c - 7*x + 2*x, -31 = -2*c - 5*x. Let h be 3*c/42 - 0. Let r = h - 6/7. Is 0 >= r?
True
Suppose -3*b = 4*z - 88, -b - 3*z - 18 = -49. Is 27 smaller than b?
True
Suppose -2*y = -0*y - 2. Is 1 not equal to y?
False
Let c = 6.1 + 1.9. Let r = c - 7.4. Which is smaller: r or 0.1?
0.1
Let l(q) = -2*q - 5. Let f be l(-7). Let r be f/(-15) - (-160)/(-25). Is r <= -6?
True
Let l be (-185)/(-4)*4/10. Let j = l + -18. Let y = 4 + -4. Which is smaller: j or y?
y
Let t = 231 - 17786/77. Which is bigger: 0 or t?
t
Suppose 0 = 4*u - 29 - 15. Is u smaller than 16?
True
Let h be 2/(-6) - 5381/120. Let p = h - -224/5. Does 0 = p?
False
Let k = -55 - -46. Which is bigger: -26/3 or k?
-26/3
Suppose -t + 8 = -3*t. Let p = -10 - -7. Is p > t?
True
Suppose 0 = -9*p + 4*p. Suppose -3*u = -4*a + 25, a - 4*u + 3*u - 7 = p. Let i be 7/28 - 17/a. Is -5 less than i?
True
Let l be (1/(-5))/(2/6). Let k be 2 + 1 + -4 - 0. Let r be (k - (-6)/4)*-4. Which is greater: l or r?
l
Suppose f + 3 = -5*m + 5, -6 = 2*m - 3*f. Suppose 4*t - r + 20 = 0, 2*t - 5*r = t + 14. Let g be ((-13)/(91/t))/(-2). Which is bigger: m or g?
m
Let b = -0.16 - -0.06. Is b < -3?
False
Let u = -199 - -2589/13. Which is smaller: u or -1?
-1
Suppose -186*a - 222 = -188*a. Is 110 at least a?
False
Suppose 3 - 7 = -n. Suppose 2*b + c = 1, 0 = -3*b - 5*c + n*c + 4. Let m be b/(-7) - (-3)/9. Which is greater: m or 0?
0
Suppose -2*d = -f + 3*d - 1, f - d - 15 = 0. Which is greater: f or 18?
f
Let n be (6/21)/((-6)/(-14)). Which is bigger: n or 2/5?
n
Let o be 28820/84 - 1/(-3). Let k = o + -344. Are -1 and k nonequal?
True
Let v = -2609 - -1814. Let b = v + 11921/15. Let w = b + 1/60. Which is smaller: 0.1 or w?
w
Let f be (16/288)/((-3)/8). Which is smaller: 1 or f?
f
Let j be ((-2)/3)/((-5)/(-30)). Are j and 16 non-equal?
True
Let l = 4.9 - 5.21. Let r = l + 3.51. Let o = -3 + r. Which is greater: -1/5 or o?
o
Let k be ((-4)/160)/(8/(-10)). Which is smaller: k or -1?
-1
Let y = -0.4 + 11.4. Let a = 10.7 - y. Which is smaller: -1 or a?
-1
Let c(h) = -h**2 - h + 1. Let o(s) = s**3 + 5*s**2 + 5*s - 6. Let y(m) = 6*c(m) + o(m). Let f be y(2). Is f < 10/7?
False
Let w be 5/(-4) + 1 + 0. Let a be 1/(-3) + (-99)/(-135). Is a >= w?
True
Let l = -191/306 - 9/34. Is l at least -1?
True
Let y be (-2)/(-18)*(3 + -1). Let t(f) = -9*f**3 - f**2. Let a be t(-1). Let l be 4/a*(-3 + 5). Is l < y?
False
Suppose -52 = -4*k - 4*c, -3*k + 5*c = -12 + 13. Which is smaller: k or 2?
2
Let o be ((-2)/3)/(14/(-6)). Suppose 0*s - 4 = s. Let a = -3 - s. Is a bigger than o?
True
Let u be (-2)/((-136)/(-212)) + 3. Which is greater: 1/3 or u?
1/3
Let u = -5 + 10. Suppose -8 = 4*b + 3*c - u*c, 2*b + 12 = 3*c. Let l be 4/(-10)*(10 + b). Is l < -4?
False
Suppose -3*z - 8 + 2 = -4*h, 2*h = 3*z. Suppose o + z*o = 0. Let v be (2 + 6/(-4))*o. Is v <= -1?
False
Let j = -3.9 + 3.6. Is -0.2 < j?
False
Let b = -21 - -31. Let r = b - 14. Are r and -5 non-equal?
True
Suppose 2*c - 13 = -1. Let g be (-2)/(((-15)/c)/(-5)). Which is smaller: g or -1?
g
Let m(q) = -3*q**2 + 8*q. Let c be m(6). Let b be 3 - (1 + 123/c). Let y = 19/5 - b. Which is smaller: y or 0.2?
y
Let r be (-4)/3 + (-329)/21. Which is smaller: -16 or r?
r
Suppose 0 + 3 = -3*x. Let g = 0 + x. Suppose -m = m + 2. Are m and g non-equal?
False
Let q = -0.9 + -0.1. Let d = -10 + 12. Are d and q unequal?
True
Let s be (-3)/(-18)*-2 - (-82)/120. Is s > 1?
False
Let x = 13.3 - 15.36. Let m = -0.05 - 0.01. Let p = x - m. Which is greater: p or -1?
-1
Suppose -c - 31 = -5*b, 2*c = -3*b + 4 + 12. Let i = b + -8. Suppose a = -5*s + 4, -a + 6 = 2*s - 5*a. Is i greater than or equal to s?
False
Let x = 0.15 - 2.45. Let r = x - 0.7. Is r < -2?
True
Let h be (-2)/16 - ((-2261)/(-1512))/(-17). Which is smaller: -1 