 z be j/(-8) - 9/12. Let t be ((-15)/z + -2)*0. Does 3 = t?
False
Let u be (1/(-12))/(5 - 348/54). Which is bigger: u or 0?
u
Let s be -3*1 + (4 - 3). Let p be (-5)/(-75)*(-18)/s. Let c = 0.68 - -0.32. Which is smaller: c or p?
p
Suppose -15*u + 11*u - 4*q - 36 = 0, 4*u - 2*q = -6. Which is bigger: -7 or u?
u
Suppose 0 = 50*k - 88*k - 1216. Is k < -15?
True
Suppose 0 = 6*i - 9*i - w + 132, 0 = 5*i - 2*w - 209. Is i less than 43?
False
Suppose -g + 4*a = 17, 0*g + 5*g - 5*a = -10. Suppose -5*u - 2 = -h, g*h = -u + 4 + 2. Let t be ((-9)/(-69))/((-6)/(-4)). Which is bigger: t or u?
t
Suppose 0 = 5*v + 5, -5*t + 11*v = 6*v + 1005. Is -202 less than or equal to t?
True
Suppose 0 = -4*f + 6*f + 2. Let v be 2/8 + (-54)/(-8). Suppose v*s + 7 = -0*s. Is f at least s?
True
Suppose 45 - 5 = 5*o. Suppose 0 + 16 = o*q. Which is smaller: q or 0.8?
0.8
Let v = -107.5 - -106. Let h = 7 + -6. Which is smaller: h or v?
v
Let u be ((-54)/(-24))/((-22)/(-24)). Is 3 bigger than u?
True
Let z = 598 + -605. Do -0.19 and z have the same value?
False
Let f(v) = -22*v**2 - 2*v + 2. Let a be f(1). Let l = 31 + a. Which is smaller: l or 6?
6
Let u(j) = -j**2 - 4*j + 22. Let q be u(-7). Is 1/259 >= q?
False
Let d(i) = i + 21. Let f be d(-18). Suppose 0 = 8*l - f*l + 5. Is l bigger than -2/3?
False
Let y be (-2)/(64/(-232)) - 2/8. Which is greater: 20 or y?
20
Suppose -4 + 13 = -4*m - p, -2*p - 12 = 5*m. Let j be m/(-4) + 99/(-126). Are 3 and j non-equal?
True
Let g = -262 - -261.9. Which is smaller: g or 186?
g
Let s = 86 - 83. Let w(k) = -k**3 + 13*k**2 - 12*k + 3. Let h be w(12). Is s at most as big as h?
True
Suppose -11 = v - 4. Let j be 2/v - (-2)/7. Suppose 0 = 4*p - x + 3 - 0, -2*x = 5*p + 7. Is p <= j?
True
Let m be 16/(-104) - (-696)/(-39). Is -18 >= m?
True
Suppose -11*v + 6*v = 235. Let b = v + 83. Let a be 2/b*9/6. Is 0 != a?
True
Let i = 4 + -4.02. Let n = i - -0.04. Let r = -65/42 + 17/14. Which is smaller: r or n?
r
Suppose h - 19 = -12. Suppose 4*p - 11*p = -h. Which is bigger: -1 or p?
p
Let x(h) = h**3 + 6*h**2 + 1. Let o be x(-6). Let v = 716/9 - 80890/1017. Is v at least as big as o?
False
Let k be 3*2/6*8. Suppose -k*h = -7*h. Which is bigger: h or -1/5?
h
Let v(w) be the first derivative of -w**4/4 - w**3 - 3*w**2 + 9*w + 26. Let n be v(2). Are -21 and n non-equal?
True
Let y = 472 + -450.9. Let l = y - 23. Let t = -2.1 + l. Which is greater: t or -1/3?
-1/3
Suppose 3*j - 64 - 17 = 0. Is -8 != j?
True
Suppose 3*b - 1141 = 3*j - 136, 8 = -4*j. Let l = b - 8328/25. Which is smaller: l or 1?
l
Let p = 74 - 104. Let m = 30 + p. Is m smaller than 3/16?
True
Let k be 35/15 - (-2)/(-1). Let b = 18 + -22. Let d be b/14 + 24/(-112). Are k and d equal?
False
Suppose 4*w = 165 + 103. Let c = w + -194/3. Which is smaller: c or 1?
1
Let t = -23 - -23.6. Let z = 2.6 - t. Let x = -1.9 + z. Which is greater: 11 or x?
11
Let i be 39/4 + 21/(-28). Let h be i/(-27) + (-1 - -1). Which is smaller: -25 or h?
-25
Let r = -67966725 - -5913038000/87. Let a = r - -771. Which is greater: a or 1?
1
Suppose 0 = -c - 3*c. Let d(b) = b**2 + 5*b - 5. Let o(r) = -3*r**2 - 16*r + 16. Let v(h) = -7*d(h) - 2*o(h). Let f be v(-4). Is f at most c?
True
Let j be (-27)/(-45) - 14/20. Which is smaller: 2/5 or j?
j
Let v(h) = -h**3 + 3*h**2 + h - 3. Let m be v(3). Let x = m + 17. Suppose 342 = 24*q - 5*q. Is x less than q?
True
Let g = -69487/1260 + 2322/35. Let i = -43/4 + g. Are i and 0 nonequal?
True
Let u = 18 - 16.9. Let a = 0.9 - u. Is 0 less than or equal to a?
False
Let r be (-21)/6*(-2 - (-92)/(-14)). Is 125/4 at most as big as r?
False
Let j(s) = -s**3 + 6*s**2 - 6*s + 6. Let k be j(5). Let c = 153/26 - 57/13. Which is greater: c or k?
c
Suppose -3*y + 223 = t - 2*y, -2*y + 4 = 0. Suppose -5*m - t = 8*m. Is m at most as big as -21?
False
Let q(z) = -z**2 - 5*z + 2. Let f be q(-6). Let a(u) = u**2 + 5*u + 2. Let h be a(f). Suppose -42*i = 33 + 9. Is h greater than or equal to i?
False
Let c be (-150)/9 + 8/12. Let u be (-4)/c + (-22)/(-8). Suppose -3*k - 8 = y, 2*k + 28 = -2*k + u*y. Which is smaller: -3 or k?
k
Let r be (5/30)/((-43879)/(-132)). Which is bigger: 0 or r?
r
Suppose 3*c - 7*m = -3*m - 159, 159 = -3*c - 5*m. Which is greater: c or -55?
c
Let d be (2 - (-24)/(-9))*-6. Let j(u) = -u**2 + 5*u - 4. Let o be j(d). Suppose 24 = -4*r - o*r + 2*z, 2*r + 18 = -2*z. Is r smaller than -5?
True
Let h = -881 + 894. Is h at most 0.06?
False
Let l = 1214 + -1214.25. Which is smaller: 27 or l?
l
Let j(m) = -m - 3. Let u be j(-5). Let h be u/(-13) - 54/(-13). Let g be 2/(-6) - h/(-36). Which is smaller: g or -1?
-1
Let f be (3 - (-14)/(-4))/((-3)/(-18)). Which is smaller: f or -22/7?
-22/7
Let f = 706/15 - -8/5. Which is smaller: 50 or f?
f
Let f = -94 + 197. Which is smaller: 101 or f?
101
Let a(b) = b**3 - 9*b**2 + b. Let p be a(9). Let w be (p/(-6))/((-2)/4). Let n be ((-1)/26)/(w/(-24)). Is 0 equal to n?
False
Let o = -207/7 - -2477/84. Let m(a) = a**3 + 6*a**2 - a - 2. Let n be m(-6). Is n >= o?
True
Let o(s) = -s**2 - 6*s - 8. Let l be o(-2). Does 2/461 = l?
False
Let v(c) = c + 418. Let d be v(-36). Is 382 > d?
False
Let x be (-40)/(-100)*(-3)/(3/(-55)). Which is smaller: 19 or x?
19
Let l be (-3230)/40*2*2. Is -323 smaller than l?
False
Let k = 79.85 - 80. Let w = -0.15 - k. Is w < 0.1?
True
Let l(b) = -68*b + 124. Let v be l(2). Which is bigger: -3/5 or v?
-3/5
Let r = 188953/85 + -2223. Let b(h) = -3*h**3 - 2*h**2 + h + 1. Let o be b(-2). Suppose -18*c = -o*c - 3. Which is greater: c or r?
c
Let v(p) = -p**2 + 4*p + 5 - 2*p + 0*p. Let o be v(0). Suppose -2*z + 2*g = 10, o*z = 5*g - 2*g - 23. Which is bigger: 0.1 or z?
0.1
Suppose 4*g - 3*h - 22 + 8 = 0, 0 = 4*h + 8. Let p(s) = s - 1. Let y be p(g). Is -6 smaller than y?
True
Let n = -2.01 - -0.01. Let q = 2 + n. Let s = 285.24 + -285.3. Is q greater than or equal to s?
True
Let a = -24497/8 + 3071. Is a < 9?
True
Let p be 5 + 2/(-3) + 16/(-12). Which is smaller: p or 20?
p
Let l = 2/113 + -918/791. Suppose -60 = -2090*k + 2120*k. Which is greater: l or k?
l
Suppose -19*n = -0*n - 1615. Is n <= 85?
True
Suppose 17*y + 14 = 3*y. Which is smaller: y or 4/25?
y
Let f = 6074/13 - 468. Suppose 0 = -4*v + 4*b - 20, 3*b + 2 - 17 = -5*v. Is f > v?
False
Let k be 46/10 + 16/40. Let f(p) = p**2 - 3*p. Let z be f(k). Is z at least 11?
False
Let n = 15 - 9. Suppose 0 = 2*s - n*s + 108. Let z be -1 + 3 + s/(-15). Is 1 greater than z?
True
Suppose 3*a + 2410 = 3*m - 923, 0 = -4*m - 5*a + 4489. Which is smaller: 1115 or m?
1115
Let x = 62 + -57. Suppose -2*q + 0 = 2*n + 8, -x = -4*n + 3*q. Which is smaller: -2/271 or n?
n
Let y = 627 - 628.7. Is y at least 1/16?
False
Let h = 11 - 16. Let n = 33 - 38. Is n > h?
False
Let j = 82.9 - 39.9. Do j and 3 have different values?
True
Suppose 0 = -4*u + 392 + 244. Suppose -6*l + 9 = u. Let t = l - -24. Which is smaller: t or -6?
-6
Let c(h) = 25*h + 2. Let p be c(1). Let d = p - 53. Let g be 6/4*(5 + -23). Which is smaller: d or g?
g
Let q = -0.313 - -3.313. Which is smaller: 0.21 or q?
0.21
Let v be -2*1 + 4 + 0. Let i(c) = -c**3 + 3*c**2 - 2*c. Let u be i(v). Which is smaller: u or 4/35?
u
Suppose 7*m = -53*m + 1380. Which is smaller: -7 or m?
-7
Let x = 0 + -2. Let r = -1617/2 - -806. Which is smaller: r or x?
r
Let m(q) = 2*q**2 + 8*q - 3. Let t be m(-6). Let u(w) = w**3 - 8*w**2 + 11*w - 10. Let y be u(7). Let i be (-12)/y*t/(-2). Is 7 greater than i?
False
Let g = -457 - -457.4. Is -20/7 not equal to g?
True
Let z(g) = g**3 - 17*g + 2. Let l be z(-5). Is -39 at most l?
True
Let y(n) = n**2 + 7*n + 1. Let k be y(-3). Suppose -3*f + 0*l - l + 4 = 0, -3*f = -2*l - 1. Are k and f non-equal?
True
Let o(i) = 25*i**3 - i**2 + 3*i - 2. Let f be o(1). Suppose -23 = 6*w + f. Which is greater: w or -15/2?
-15/2
Let g be 82/(-8) + (-2)/(-8). Suppose 0 = 5*m + 4*y + 40, 3*m + 5*y + 5 + 6 = 0. Which is greater: m or g?
g
Let l(g) = -g**2 + g + 7. Let s(w) = -w - 1. Let x(v) = l(v) + 4*s(v). Let p be x(-4). Let q be (p + -56)*1/(-9). Is q less than or equal to 7?
True
Suppose 0 = 2*t - 238 - 50. Suppose 2*h - t = -110. Does h = 22?
False
Let h = -26.82 + 27. Let v = 0.82 + h. Which is greater: v or -2.9?
v
Let f = 72 + -72. Does 1.72 = f?
False
Let p be ((-228)/(-8) - 1)*2. Suppose u + 4*u = p. Suppose 2