 w/(-6))*-3. Is z not equal to -9/5?
True
Let h be (5 - 8/(-12)) + -4. Is h bigger than -8?
True
Suppose 14*m - 9*m + 110 = 5*j, 2*m = -4*j + 76. Which is smaller: j or 11?
11
Let y = -1079 - -1079. Which is bigger: 11/101 or y?
11/101
Let i = 5.51 + -5.41. Let l = -54 + 102. Is l at most i?
False
Let i = 0.21 - 23.21. Let p = 20 + i. Let t = 1 + p. Which is greater: 1 or t?
1
Let f be 22/(-18) + 16/72. Is 12/133 at most as big as f?
False
Suppose 0 = h + 4, c - 3*c + h = 1562. Let p be 3/2*(-12)/c. Is p at least 1?
False
Suppose 5*j = -36 - 14. Let m be 2/(28/6) + 4660/(-420). Which is bigger: j or m?
j
Let u be 9/(-147)*1*49/(-14). Is u != 0?
True
Let i = 0.03 + -112.03. Let y = i + 111.4. Is y bigger than -2?
True
Let w(p) = -3*p**3 + 108*p**2 - 7*p - 27. Let j be w(36). Is -280 < j?
True
Let h = -33 + -10. Let i = -42.7 - h. Which is smaller: i or 12?
i
Let p = -554/105 - -16/3. Are 0.06 and p non-equal?
True
Suppose 1 + 1 = 2*i. Suppose 0 = 2*a + a - 3*h - 15, h + 2 = 0. Suppose -2*n + 0*j + 5 = -a*j, 0 = -n - j - 5. Is n greater than i?
False
Let w = 78 + -85.7. Let p = w + 5. Let m = p - -3. Which is greater: -1/5 or m?
m
Let c be 1/(-5) + -874*(-5)/(-25). Let n be ((-10)/c)/(2/100). Is 4 at least as big as n?
True
Let d be ((-5)/(-10))/((-2)/(-16)). Suppose h - 2*h = -5*y - 1, -5*h = d*y - 34. Suppose 0 = -z - 5*b - 7, h = -4*b + b. Which is bigger: z or 6?
6
Let a be (-4)/14 + -6 + 1593/252. Are -1 and a non-equal?
True
Suppose 45*p - 35*p + 55*p = 0. Let z be (-2)/(-8) - 9/4. Which is bigger: p or z?
p
Let s be -1 + -196 + (-3 + 9)/(-1). Is -205 > s?
False
Let y(t) = 5*t - 5. Let b(g) = -g. Let c(a) = 4*b(a) + 2*y(a). Let f be c(4). Is 15 greater than f?
True
Let h = -4/103 + 570/9373. Let p = -124 - -239. Let k = 116 - p. Is h > k?
False
Let k = 0.75 - -39.25. Is 0.5 equal to k?
False
Let g = -388 - -389. Which is smaller: -5/14 or g?
-5/14
Suppose -21*h = -9*h + 912. Is h greater than or equal to 4?
False
Suppose -33 = -15*c + 57. Suppose -5*m + 69 = 4*q - c, 35 = 2*q + 3*m. Which is smaller: q or 24?
24
Suppose 2*l + 2*j + 2 + 16 = 0, 7 = 2*l - 3*j. Let t = l - -3. Let b be ((-18)/30 - (-18)/80) + 0. Is b at least t?
True
Let z = 421 + -421.1. Which is greater: -25/18 or z?
z
Suppose 2 + 0 = -b. Let o(n) = 8 - 3*n + n**3 - 18 + 14 + 4*n**2 + 4*n. Let i be o(-4). Is b <= i?
True
Suppose -1 = 3*y + 8. Let b be ((-2)/y)/(-2*1). Let w be (((-165)/(-21))/(-5))/((-12)/42). Is w at least as big as b?
True
Let a be (-2327)/140 + 12/15. Let f = -88/7 - a. Are f and 3 non-equal?
True
Suppose -f + 6 = 18. Do -99/8 and f have different values?
True
Let i = 4 + -4. Is -0.0649 at most as big as i?
True
Let m = -0.12 - -0.72. Let n = m + -0.8. Are -3 and n non-equal?
True
Let i be (48/8)/(6/27). Which is smaller: 24 or i?
24
Let v(w) = -8 + 7*w + 17 + w**2 - 2*w**2 - 13. Let r be v(8). Which is bigger: -15 or r?
r
Let i = -505/7 + 72. Let h = i - 11/21. Is 2 <= h?
False
Let l = -4/101 - -335/808. Suppose 4*o - o = -2*r, 0 = 5*o - r. Which is smaller: l or o?
o
Let w be (-2)/(-10) + (-273)/15. Let v(s) = 2*s**2 - 3*s. Let m be v(4). Let n be (6/m)/(w/48). Is 0 less than n?
False
Let u = 0.371 - 0.471. Let v = -399/775 + 11/31. Which is greater: v or u?
u
Let s = -39/5 - -1906/245. Let q = -916 + 916. Is s at least q?
False
Let h(z) = -15*z**2 + 32*z - 9. Let i be h(3). Let w = -59 + 10. Is i at most as big as w?
False
Let k(j) = 4 - 21*j**2 - j**3 + 15*j**2 + 4*j + 3*j. Let t be k(-7). Let p(c) = 3*c**3 - 2*c**2 + c. Let v be p(1). Is v less than or equal to t?
True
Let p be -44*(-4)/(-20)*(1 + -8). Let y = p + -11391/185. Which is smaller: y or 0?
0
Let y = -129 + 137. Suppose -g - y = -t + 9, -g - 13 = t. Which is smaller: -16 or g?
-16
Let m(n) = -n**3 - 7*n**2 - 13*n - 5. Let k be m(-5). Suppose 0 = -4*f + k*f - 12. Let p be (10/(-27))/(f/(-3)). Is 1 at least as big as p?
True
Suppose 6*a + 45 = 3. Let n(b) = b**2 + 7*b - 14. Let f be n(a). Which is bigger: f or -3?
-3
Let t be (-2)/(-22) + (-250900)/(-2288). Is 111 greater than t?
True
Let r = -7 + 15. Let g be (-6)/r - (-19)/4. Suppose -5*o + 135 = -10*o + g*w, 5*w = 4*o + 108. Which is bigger: o or -28?
o
Let b = 1124 - 1086. Is 40 < b?
False
Let m = -222 + 1099. Which is smaller: 878 or m?
m
Let r = 1378 - 811. Is r != 566?
True
Let b be (-697)/205*10/4. Which is bigger: -8 or b?
-8
Suppose 0 = -x - 4*u - 14, -6*u - 10 = 2*x - 4*u. Let a = -498 - -499. Let k = a + x. Which is smaller: -2/11 or k?
k
Let u = -55.514 + 0.414. Let f = -55 - u. Which is greater: f or 2/39?
f
Let p = -0.08 - 0.92. Let r = -25.954 + -0.046. Let s = r - -26.14. Which is smaller: s or p?
p
Let d(y) = 17*y - 398. Let k be d(-40). Is k > -1078?
False
Suppose 9*r - 69 = 12. Let l(m) = -m**3 + 9*m**2 - 2*m + 19. Let i be l(r). Let f be -1 + 3*(-1 + 2). Which is smaller: f or i?
i
Suppose -10*y = 9 + 21. Let f = 0.046 - 2.346. Let b = 0.3 + f. Which is bigger: b or y?
b
Let z = -283 + 33. Are z and -252 nonequal?
True
Let g = 716 + -623. Which is greater: 90 or g?
g
Let t be 20/(-3)*(-120)/32. Let f = -22 + t. Suppose 0 = -o - 5*l + 25, 0 = -3*o - f*l - 0 + 15. Which is bigger: -0.1 or o?
o
Let t = -35 + 40. Suppose -z + 2*z = t*m, -5*z + 5*m = 60. Is z less than or equal to -15?
True
Let r = 75 + -39. Let n = r + -67. Is n less than -30?
True
Suppose 5*u + 18 = -7. Let g be 7/u - 1 - -2. Let p = 65 - 60. Is g smaller than p?
True
Let q = -1 + 1.04. Let r be ((-54)/243 - (-4 - 0)) + -4. Is r greater than q?
False
Let x be ((-16)/(-48))/((-3)/1719). Is -191 <= x?
True
Suppose f = 2, 4*y + 11 + 7 = -5*f. Let p(t) = -t**2 - 7. Suppose s = 2, -2*s = -h + 2*s - 8. Let b be p(h). Do b and y have different values?
False
Let l = 0.13 - 0.13. Is -2/35 less than l?
True
Let w be ((-124)/(-36) + -3)/(50/(-15)). Suppose 2*q + 2*q = -4. Which is smaller: w or q?
q
Let l = -0.304 - -0.004. Let n = 0.1 + l. Do n and -1 have the same value?
False
Let g be (-34)/(-4) + -2 + -1. Let z = -5 + g. Let y = 71/5 + -553/40. Which is bigger: y or z?
z
Let r = 78334/7 - 11161. Which is greater: 29 or r?
r
Let s(k) = k - 13. Let t be s(12). Let m = 42 - 37. Let x = m - 7. Which is smaller: t or x?
x
Let z be -9*(-2)/3897*3. Is -1 <= z?
True
Let c be ((-2)/(-7))/(1/7). Suppose 0*j - c*j = -2*q, 4*j = 2*q - 2. Which is bigger: q or 7/5?
7/5
Let r = 14/137 - 1195/7672. Do r and -1 have different values?
True
Suppose -8 = i - 6. Let j = -55/27 - i. Is 1 >= j?
True
Let y = 894 - 893. Which is bigger: y or 5/8?
y
Let d = -33 + 87. Suppose -4*a + 72 = 3*q, -d = -3*q + a + a. Suppose -5*c = 4*w + q, -3*c = -5*c + 2*w + 10. Is -1 > c?
False
Let v = -7 - -7.6. Let w = -55.1 - -54.9. Let q = w + v. Which is bigger: 2 or q?
2
Let t(z) = -2*z**3 + 62*z**2 - 57*z - 89. Let x be t(30). Suppose 0 = -5*l - 5*n - 25, 5*n - 2 = 4*l - 0. Which is smaller: x or l?
l
Let f(z) = 2*z + 31. Let s be f(-28). Which is bigger: s or -27?
s
Suppose -9*b - 2 = -11*b - 2*x, -3*b + 2 = 2*x. Is 180 bigger than b?
True
Let v = -1529 + 1993. Is v at least as big as -1?
True
Let g be (-1 - -2) + 140/(-130). Which is smaller: -1/7 or g?
-1/7
Let m = 18 + -17.974. Let c = -0.026 + m. Is 60 at least as big as c?
True
Suppose -3*u = -3*z + 63, -5*z + 76 - 231 = 5*u. Let n = 1 - u. Suppose b = 2*k - 56, 0 = 5*k - b - 2*b - 140. Is n less than or equal to k?
True
Let g = -2315 + 2315.1. Do g and -0.1454 have the same value?
False
Let n be (1 - 221) + 42/7. Which is smaller: n or -213?
n
Let s(b) = b**3 - 10 - 1 + 10*b**2 + 31*b - 17*b. Let y be s(-8). Suppose 14 = 5*j - 16. Which is smaller: y or j?
y
Suppose -3*k + k = 94. Is k at least as big as -47?
True
Suppose a + 5 = -2*x - 0, 0 = x - a - 5. Let c(t) = -t**3 - 2*t**2 - 3*t - 3. Let n be c(x). Is -2 greater than n?
True
Suppose -2*b - 5*n = -15, 0 = -4*b - 2*n + 35 + 3. Let i be (-30)/8*4/b. Let x = -18 + 17. Is i < x?
True
Suppose 0 = t + 5*n + 16, 6*t + n + 8 = t. Let y be 2 - 3*(-4 + 3)*t. Are 50 and y equal?
False
Suppose 45 = 3*u + 2*u. Let k = -45/2 - -311/14. Which is bigger: u or k?
u
Let j = -32.75 + 32. Let l = j + -29.25. Let i = -29.8 - l. Is i != -17?
True
Suppose 13*q - 18*q + 140 = 0. Let f = -35 + q. Let d = -3.9 + 4. Which is greater: f or d?
d
Let u = 575 - 566. Let n = -35/107 - -7307/749. Which is smaller: n