= 3*x - 9. Let a be g(4). Suppose -w = 6 + a. Is w less than or equal to -10?
False
Let p be (-1641)/525 + 2 - -1. Let j = -1/213 - 827/5325. Let q = p + j. Which is bigger: 0 or q?
0
Let j = -13 + 2. Let q be -24*(2 - j/(-9)). Let f = 386/21 + q. Do f and 0.2 have different values?
True
Let z(m) = m**3 - 7*m**2 + 6*m - 1. Let g be 12/5*35/14. Let s be z(g). Let n = -44/135 - 2/27. Is n at least as big as s?
True
Suppose -2 = 4*l - 6. Let f be (-1020)/(-16) + l*-1. Let n = f + -62. Which is greater: n or 0?
n
Let t = 0.03 + 0. Let j = t + 4.97. Let i = j + -3. Which is greater: i or -2?
i
Let m(v) = -4*v. Let j be m(2). Let c = -8 - j. Let d be (-28)/(-45) - (-6)/(-27). Which is bigger: c or d?
d
Let w be (4/42)/(1/(-408)). Let r be (-15292)/364 + 0 + 3. Let q = r - w. Is q greater than 0?
False
Let j = -2 - -4. Let o = -2 - j. Is -4 != o?
False
Let j = -10 - -8. Let v be j/20 + (-8)/(-16). Do -3/7 and v have the same value?
False
Let g = -3 + 4. Suppose 4*x + b = -31, 5*x - 6*b + 70 = -b. Is x less than g?
True
Let d = 0.6 + 1.3. Let w = d + -0.9. Is w less than -5?
False
Let r(h) = -h**2 + h - 1. Let a be r(0). Let l = 9/5 + -5/3. Are a and l equal?
False
Let j = -13 - -9. Let r be (2/j)/(-10 + 11). Which is greater: -0.07 or r?
-0.07
Let s = 6.7 - 7. Let r = -7 - -33/5. Which is greater: r or s?
s
Suppose -3 = -3*q + 3*b, b + 7 = 3*q + q. Let c = 4 - 1. Suppose -3*i + 21 = 2*d, 4 = c*d + 3*i - 20. Which is bigger: d or q?
d
Let i(x) = 8*x + 89. Let r be i(-11). Let u = 127/4 - 30. Which is bigger: r or u?
u
Let o = 45/47 - 937/1175. Are o and 0 unequal?
True
Let v be (-3)/26*8/(-6). Let d be 3/(-108)*-9 - 6/(-8). Are d and v non-equal?
True
Suppose 5*j + 9 + 1 = 0. Let l be (4/7)/(j/(-7)). Which is bigger: l or 4?
4
Let f = 4 - 3. Suppose -9 = -3*r + 4*n, -f = r - n - 3. Are -0.1 and r equal?
False
Let z be ((-2)/4 - -1)*-1*-2. Is z at most 1/21?
False
Suppose 0 = -2*z - 3*z. Suppose z = -2*q + 5*r - r + 24, 5*q - 32 = 3*r. Suppose k - 2*k = t - 1, q*t - 2*k - 10 = 0. Is 1/3 at most as big as t?
True
Suppose -3*u - 12 = -2*b - 2*u, 40 = 5*b - 5*u. Suppose -3*y = -y - b. Which is smaller: y or 3?
y
Suppose -9*t - 2 = -8*t. Which is smaller: t or 5?
t
Let p = 0 + -6. Which is greater: p or 0.2?
0.2
Let o be (-1)/(-3) + 20/(-6). Let q be 2/o + (-28)/(-6). Does q = 5?
False
Let k = -0.12 + 0.32. Let q = -0.1 + k. Which is smaller: q or 0.4?
q
Let x(c) = -c**3 - 4*c**2 - 2. Let w be x(-4). Let t be (-2)/w*(-1 - -1). Are 1 and t unequal?
True
Let j = 20 - 27. Let g = -8 - j. Is -0.1 less than g?
False
Let v(g) = g**2 - 2*g - 1. Let d be v(3). Let u be ((-4)/6)/(d/(-18)). Let y be (4/u)/((-6)/(-9)). Is y > 0.1?
True
Suppose 3*x - 5*x - 4 = a, -a = -4*x - 2. Which is greater: -2/21 or x?
-2/21
Let z be ((-9)/2)/((-3)/6). Is z > 9?
False
Suppose 3*w + 0*h - 84 = -3*h, -161 = -5*w + 2*h. Which is smaller: w or 32?
w
Let p be (0*5/(-30))/(-2). Which is smaller: p or 2/61?
p
Let j be 4/(-24)*(-16)/(-12). Let a = -0.3 + 0.4. Which is greater: a or j?
a
Suppose 0*y = 5*y + 150. Let l be (-32)/y - (-6)/(-15). Is 5 at most as big as l?
False
Let k = 84 + -30. Which is bigger: k or 0?
k
Let f(g) = 5*g**2 + g. Let n be f(-1). Suppose -n*b + 25 = b. Suppose 3*r - 5*o + 5 = 2*r, 3*r - 4*o - 7 = 0. Is b equal to r?
True
Suppose -2*v = -1 + 5. Which is bigger: v or -5/6?
-5/6
Suppose -5 + 2 = 3*i. Let p be (8/(-6) - i)*33. Is p at most -11?
True
Suppose 1 = -3*b + 4*b. Let v be (-7 - -3)*(-1)/2. Suppose -v = -2*f - 0. Is f smaller than b?
False
Let s(l) = l**3 + 4*l**2 + 3*l. Let i = -18 + 15. Let g be s(i). Let d = 298/3 - 98. Which is greater: g or d?
d
Let j = 496/21 - 184/7. Does -4 = j?
False
Suppose 4*u + 0*u - 12 = 0. Suppose 2*o + 22 = j - 3*o, -2*j = -5*o - 24. Suppose -c = -3*g + 8, 0 = -2*g - j*c + c - u. Is g not equal to -2/7?
True
Let h be -29 - 6/2 - -1. Is -32 greater than h?
False
Let z be 4/16*(-8)/33. Suppose -5*h - 20 = -15. Which is bigger: h or z?
z
Let x be 4*(2/1)/4. Let c(i) = 2*i**2 - 2*i - 2. Let s be c(x). Let r = 1 - -2. Which is smaller: s or r?
s
Let y(h) = -h**2 - h - 1. Let v be y(0). Is v at least as big as 2?
False
Let a be (3 + 34/4)/((-4)/8). Which is greater: -25 or a?
a
Suppose -2*y = -9 - 21. Let w = 9 - y. Which is greater: -22/3 or w?
w
Let j(c) = -3*c**2 - 10*c - 10. Let a be j(-2). Are a and 0 equal?
False
Suppose 2*q + 3*b = 11, 2*q = 3*q - b - 3. Suppose 224 = -q*x + u, 33 = -x - 4*u - 6. Let j be ((-20)/x)/(-1 + -1). Which is smaller: j or 0?
j
Suppose -18 = 4*w - 10. Are w and -8/5 non-equal?
True
Suppose 7*m - 6*m = 0. Are -2/9 and m equal?
False
Let o = 2 - 1. Let h be 1/15*27/3. Which is greater: h or o?
o
Let x be 2 - ((-92)/5)/(-4). Let f = x + 11/5. Is f greater than -2/9?
False
Suppose -3*c - 3*w = -0*c + 6, c + 10 = -3*w. Let g(l) = l + c - 4*l + 2*l. Let f be g(3). Which is greater: f or 0?
0
Let y = 0 + -1. Let q be (y - -4)*(-4)/(-3). Suppose -q*w + 4 = -0. Which is smaller: w or 2?
w
Let n = 0 + 1. Let x be (-8)/6*n*3. Suppose -2*w + 1 - 7 = 0. Is w not equal to x?
True
Let s = -4.1 - -1.1. Is s greater than -0.4?
False
Let k(r) = -2*r + 2. Let m be k(3). Let z be 2*(-6 - (-12)/3). Is z bigger than m?
False
Let m be ((-30)/25)/((-6)/10). Is 4 greater than m?
True
Let k(l) = -4*l + 4. Let i be k(3). Let u be (-2)/i + (-84)/16. Let h be ((-6)/20)/(6/u). Are h and 1 non-equal?
True
Let z be 56/26 + -5 + 3. Suppose -16 = 4*d, 3*d = -j - j - 2. Suppose 2*x - j = -3*x. Which is bigger: x or z?
x
Suppose 2*x = 7*x - 70. Are 15 and x unequal?
True
Let m = 0 + 1.8. Let i = m - 2. Which is greater: i or 3?
3
Suppose 5 = 5*d - 5. Which is smaller: 9/7 or d?
9/7
Let v = -11 + 10. Let h = 245/2 - 4169/34. Which is greater: h or v?
h
Suppose -3*u - 3*f = -0*u, 3 = 4*u + f. Suppose 0*v = -v + u. Let z = 385 - 384. Is v at least as big as z?
True
Let o = 1 - -3. Suppose -5*y - 20 = -2*u + 3*u, u + y + o = 0. Which is smaller: u or -1/4?
-1/4
Suppose 0 = 3*m + 2*m + 5. Is m greater than 1/45?
False
Suppose 8 = -5*f + 23. Suppose -y + 0*y + f = 0. Suppose -2*r + 0*r = -a + 6, 5*a + y*r = -9. Is -1/3 greater than a?
False
Let f be 1/91 + 6/(-39). Is 0.1 less than f?
False
Let a = -13.2 + 13. Let z = -21 + 15. Which is smaller: z or a?
z
Let f = -14 - -29. Let n be (f/(-10))/(63/12). Which is greater: 0 or n?
0
Let t(s) = 3*s**2 - 17*s + 10. Let r be t(5). Let m be 3/6*8/26. Which is greater: r or m?
m
Suppose -p + 2*d - 46 = -4*p, -5*p - 3*d + 76 = 0. Which is greater: -0.2 or p?
p
Let v(y) = -3*y - 12. Let b be v(-9). Suppose 3*z + 25 = -2*r + 8*z, 3*z - b = 0. Suppose r*w = -w. Which is smaller: w or 3?
w
Suppose -h = -2 + 4. Does h = -3?
False
Let k(g) = -g**2 + 7*g - 2. Let w be k(6). Suppose -w*d = -3*i + 1, 4*d + 3*i + 7 = 24. Which is greater: d or 0?
d
Let z = -126 - -113. Is -14 < z?
True
Let d = -2 - 21. Let w = d + -17. Let u be (-34)/w + (-7)/28. Is u at least 0?
True
Let n = 5.8 + -5.9. Which is bigger: n or 0.3?
0.3
Let m be 4/26 + 96/(-117). Let a(l) = -l**2 - 5*l + 6. Let w be a(-6). Is w at least m?
True
Let h be (-3*4/540)/((-8)/100). Which is bigger: h or 1?
1
Let c be 1 + 76/(-36) - -1. Which is greater: c or -1?
c
Let t = 9.12 + -0.12. Which is bigger: t or -1?
t
Let m(h) = -10*h**2 + 5*h - 2. Let g be m(2). Which is greater: g or -31?
-31
Let h be (-8 - -8)*(-1)/(-2). Let a(o) = o**3 - 7*o**2 + 5*o + 8. Let i be a(6). Let d = h - i. Is d smaller than -2?
False
Let a = -15 + 14.9. Let r = -5 + 4.7. Let g = a - r. Is 0.2 > g?
False
Let q be 15/5*5/(-8). Let j be ((-1)/20)/(18/(-915)). Let l = q + j. Which is bigger: 2 or l?
2
Let u(h) = h**3 + 9*h**2 + h + 8. Let d be u(-9). Which is smaller: 2/67 or d?
d
Let l(o) = -o**3 - 3*o**2 + 6*o + 7. Let t be l(-4). Suppose 0*c = 3*c. Let u = 0 - c. Is t != u?
True
Let d be (-4)/(-18) - 512/36. Suppose 5*k - 197 + 262 = 0. Which is smaller: d or k?
d
Let g = 118 - 128.2. Let p = 10 + g. Is p equal to 3?
False
Let c(r) = -r - 1. Let n be c(-2). Let u(h) = 3*h**3 - 2*h**2 + h. Let a be u(n). Are a and 3 unequal?
True
Let b = 198 - 187. Which is bigger: b or 10?
b
Let p = -5 + 7. Suppose -2*v + 5 = 2*q - 7, 2*q = p*v. Which is greater: q or 5?
5
Let r be (-1)/6 - (-52)/24. Let x be r/(-4) - 4/(-8). Suppose -m - 1 = -x. Is m at least -1?
True
Let c = 52.71 - -