 x*s = -4*y - 2. Is s less than or equal to 60/13?
False
Let p(o) = -53*o. Let y be p(0). Let m be ((-3)/(-4))/((-1)/4). Let d be m/(-6) + (-18)/32. Which is smaller: d or y?
d
Suppose -2 = x + 2. Let p be (-3 + -1)*6/x. Let s be ((-40)/p)/((-10)/15). Which is smaller: 9 or s?
9
Suppose -178*j + 177*j = -185. Is 184 <= j?
True
Let f(b) = 7*b - 44. Let l be f(8). Suppose -4*c - 8*c + l = 0. Let q be 1/(-4) - 1/(-5). Which is greater: c or q?
c
Suppose f = -4*k - 221 - 220, 4*f - 106 = k. Which is smaller: k or -112?
-112
Let n = 586 + -654. Are 3 and n non-equal?
True
Let c = -214/8533 - -1/53. Which is smaller: c or -1?
-1
Suppose 0 = -120*h + 109*h + 11. Which is smaller: h or -7/27?
-7/27
Let o be (2/56)/((-4)/(-2096)). Which is bigger: o or 20?
20
Let c(i) = i**2 - 15*i + 3. Let s be c(15). Let v be -2*(-20*1/11 + s). Are v and -3 non-equal?
True
Let y be 3 - ((-1167)/(-378))/(4/6). Let c = y + 8/21. Is c greater than or equal to -1?
False
Let c = 13 - -2. Let p be c/95*8/(-12). Is 1 at most p?
False
Let x = 25 + -24. Let w be (5*-3)/(-3) + -2. Suppose -2*f - w*f + 10 = 0. Is f at most x?
False
Let w = -140 + 126.7. Let c = w - -1.3. Which is bigger: -2 or c?
-2
Let h = 0 + 1/42. Suppose c + 2 = 2*j, 3*j = 5*c - 3 + 13. Is j <= h?
True
Let r = 337 - 336.5. Which is greater: r or 12?
12
Suppose -5*f = -0*f. Let d = -177 - -175. Which is greater: f or d?
f
Let v = 7.2 - 9. Let r = 3.924 + -3.824. Which is bigger: r or v?
r
Suppose z + 0*f = -2*f + 6, 3*z + 9 = 3*f. Suppose 2*l + 8 - 2 = z. Let n be (-34)/l - 8/6. Is n bigger than 26/3?
True
Let q be ((2 - 4) + 76)*(-18)/(-12). Are 110 and q equal?
False
Let r = -78 + 63.65. Let z = r - -0.35. Let u = z - -16. Are -2/11 and u unequal?
True
Let h(k) = -970*k + 14. Let d be h(7). Let q = -20839/3 - d. Let p = q + 172. Which is bigger: 2 or p?
2
Let u = 380 + -395. Which is greater: u or -0.08?
-0.08
Suppose -2*o + 4 = -2*x, -21*x + 18*x = -5*o + 10. Which is greater: -11 or x?
x
Let o be -9 + 12 + 423/(-139). Which is greater: 0 or o?
0
Let y(r) = -r**3 - 17*r**2 + 24*r + 32. Let z be y(-16). Which is bigger: -0.1 or z?
-0.1
Suppose 3*m = 3*p + 45, -5*m - 2*p = -22 - 32. Suppose 2*l + m = 6. Is l bigger than -3?
False
Suppose -5*b = 2*b + 8*b. Let l be (-30)/161*3/6. Let r = 773/11753 + l. Are b and r non-equal?
True
Let q = -0.61 + 5.51. Which is greater: q or -2/3?
q
Let v = -372/209 + 58/19. Is v equal to 2?
False
Let p = -12 - -13. Let w = 3 - p. Is w greater than or equal to 2?
True
Suppose 207 = 10*c + 37. Is 12 <= c?
True
Let f = -21 - -21. Suppose w + 4*p - 130 = f, 164 = 4*w + p - 386. Let s = w - 1244/9. Is -3 bigger than s?
False
Let l = 219/5 - 2534/55. Which is smaller: l or -1?
l
Let u = 2 - 0. Let m = 2 - u. Let p = 2242 + -15700/7. Which is smaller: p or m?
p
Let c = 24 + 15. Let g = c - 39. Which is bigger: g or 39?
39
Let a be 56/(-6) + (-32)/(-24). Let y be (a/(-4))/(-4 - -6). Which is greater: y or 0.01?
y
Let b be 4/(-26) + (-1434)/(-26). Suppose -2*u = 5*o - b, -o + 11 = u + u. Is 12 < o?
False
Let y be 84/(-423) - -3*(-8)/18. Which is bigger: -1 or y?
-1
Let d = -2.9 + 6.9. Are -23 and d equal?
False
Let w be (2 + (-9)/6)*112/(-12040). Is -1 at most as big as w?
True
Let h(s) = -s**2 + 3*s - 2. Let c be h(3). Does c = -0.1?
False
Let v = 0.46 - -0.34. Let a = v + 0.1. Is -1 at least as big as a?
False
Let a be (-5 + 17)*(-4 - -2). Which is smaller: a or -7?
a
Let s = 0.3 - 0.4. Let u = -779/2 + 390. Is u bigger than s?
True
Let n = 0.0074 - 3.0074. Which is smaller: n or -13?
-13
Let o = -304 - -293. Let n be (0 + 2)*1 + -2. Let p be 11/1*(-1 - n). Is p >= o?
True
Let q be (3*(-2)/(-60))/(4/20). Is q < 2?
True
Let a be -162 + 157 - (-1 - 28/6). Are a and 1 non-equal?
True
Let w(p) = -p**2 - p + 64. Let g be w(-10). Suppose -4*k - 76 = 3*y, -2*y - k = k + 48. Let t = g - y. Which is greater: t or 0?
0
Suppose -4 = 2*x + 2. Let m be ((-4)/(-6))/(2/x). Let s be ((-15)/9)/(m/(-3)). Is -5 < s?
False
Let d = -0.12 - -0.3. Let m = 363 + -362.7. Is d at most m?
True
Let u = -68 - -69. Is u not equal to 0.244?
True
Let x = -25.46 - -0.46. Let l = 1.2 - 20.2. Let y = x - l. Which is greater: y or 1/2?
1/2
Suppose -3 + 3 = -7*o. Do o and 3/152 have different values?
True
Let q(o) = o**2 - 3*o + 3. Let y be q(2). Is y at most 1/394?
False
Let i(u) = u**3 + u**2 - 1. Let f be i(-2). Let z = 7 + f. Let r be (-258)/(-168) + 4/(-14). Do r and z have the same value?
False
Let a be (-15)/(-2635)*(0 - (-8)/12). Is a at least as big as 1?
False
Let q = 24 + -11. Let w = q + -7. Let d = 12 - w. Which is bigger: d or 7?
7
Suppose 651 = -2*o - 3*a, 0*o + 1308 = -4*o - 4*a. Is -330 >= o?
True
Suppose l + 2*l - 3 = -5*i, -5*l = -2*i - 36. Suppose -f = 3*y - 19, -3*y - 6*f + 9 = -3*f. Let w be y/12*l/(-4). Which is smaller: w or -2/59?
w
Suppose 0 = -3*s + 3*i + 39, -3*i + 19 = s - 2*i. Let n = s + -64/3. Which is smaller: -2/7 or n?
n
Let o = 212.6 + -313.6. Which is greater: -0.07 or o?
-0.07
Let a be ((-80)/(-25))/(4/(-30)). Is a at most -24?
True
Let f = -13 + 19. Let g(l) = 3*l - 13. Let s = 48 - 42. Let x be g(s). Which is smaller: f or x?
x
Let j be 1*((14 - 5) + -8). Which is bigger: j or -1/430?
j
Let r(j) = j**3 - j**2 - 5*j + 2. Let t be r(3). Suppose -3*s + 1 = 3*b + s, 0 = -t*b - 4*s + 15. Let w be ((-1)/2)/(b + -8). Is 0.2 at least w?
False
Let f be 3 + (-4 + 5)*-27. Which is greater: -60 or f?
f
Let j = -522 - -591. Which is smaller: j or 70?
j
Suppose 0 = 3*n + 11 - 14. Let s = 2 + n. Suppose -3*m = -0*m + s. Do m and 3/10 have different values?
True
Suppose -5*l + 9 = -s - s, -3*l = -9. Let g be (-26)/(-12) + (13 - 474/36). Does g = s?
False
Let i be 29/87 + (-26)/6. Let q be 1/2 + (-4)/(-8). Which is smaller: i or q?
i
Let p(b) = b**3 + 6*b**2 - 23*b + 21. Let m be p(-8). Which is smaller: 76 or m?
76
Let m = 4 + -2.9. Let k = 5.3 - 3.6. Let w = m - k. Do -0.1 and w have the same value?
False
Let o = -96 - -18.9. Let v = o + 71. Let d = 6 + v. Which is smaller: -6 or d?
-6
Suppose 3*u + 34 - 31 = 0. Are -2/55 and u equal?
False
Let z = -56 + 56. Let v = -1078/1107 - -46/41. Does v = z?
False
Suppose 15 = -3*h + 3*l + 78, 5 = l. Let b = 357 - 767/2. Let w = h + b. Which is greater: w or 4?
4
Let t = 5 - -64. Suppose 3*p - 3*c + 4*c = -43, 4*p = c - t. Let r = 17 + p. Which is smaller: 3 or r?
r
Let f = -895.105 - -897. Let j = f + 0.105. Which is smaller: 13 or j?
j
Let o(f) = -f**3 + f**2 + f + 2. Let m be o(2). Let k = 260/43 + -1386/215. Is k > m?
False
Let n be 3/(-4) - 1/4. Let l be 897/(-24) - 0/1. Let m = l - -37. Which is greater: m or n?
m
Let k(b) = b**2 - 3*b - 150. Let t be k(0). Let u = -5101/34 - t. Is u > 0?
False
Let i(y) = -y**2 - 9*y - 3. Let z be i(-8). Suppose 4*b = z - 1. Let r be 72/(-56) - -1*1. Which is greater: b or r?
b
Let s = 1.2 + -1.1. Let w = -4.68 - -1.68. Does w = s?
False
Suppose 5*u - 2*v - 104 = 63, u - 32 = -v. Suppose -28*s + u*s + 20 = 0. Which is smaller: s or -0.4?
s
Suppose 878*k - 444 = 881*k. Do -148 and k have the same value?
True
Let u = -1/66 + -31/132. Are -3 and u unequal?
True
Suppose 13*w = -3*w + 432. Suppose i = 6*i + o - 140, 5*i - 2*o - 125 = 0. Is i at least w?
True
Suppose -5*j = 3*n + 329, j + 5 = 1. Are -102 and n equal?
False
Suppose -m - m + 12 = 3*q, -2*m = -5*q - 44. Let z(k) = -92*k + 467. Let u be z(5). Which is bigger: u or m?
m
Suppose -2*s - 7 = 3. Let a be s/2*17/85. Which is smaller: -1/9 or a?
a
Suppose 0 = -27*z + 6 - 33. Is z equal to 7/43?
False
Suppose -k + 29 = -52. Are k and 82 non-equal?
True
Let q = -1.2 + 1.32. Let l = q + -13.12. Let h = 13.3 + l. Is h at least as big as 0.4?
False
Let d be -2*((-3)/(-2))/(-1). Suppose i - 5*r = 16, i - 3*r = d*i + 7. Let m be (-6)/60 - (1967/280 - 7). Is i <= m?
False
Let s be 141/12 + (-3)/(-12). Let p(r) = -r**3 + 12*r**2 + 3. Let j be p(s). Let g = 2.1 + 0.9. Is g >= j?
True
Let m be 20/6*12/(-70). Suppose -5*l + 7*l = 6. Suppose -2*v = l*g + 3*v - 14, -3*g - 18 = -3*v. Is m less than g?
False
Let n = -181 - -172. Let z = 4 + n. Suppose -o - 4 = -3*o. Which is bigger: o or z?
o
Let u(m) = m**3 + 10*m**2 - 9*m + 9. Suppose 4*t + 5*c + 48 - 9 = 0, -4*c + 4 = 0. Let o be u(t). Which is smaller: -14 or o?
-14
Let w = 19 - 19. Let i be (44/24 - -1) + (1 - w). Is 5 