 j = -0.1 - u. Let t(q) = q**3 - 5*q**2 + q - 5. Let n be t(5). Are j and n non-equal?
True
Suppose 0 = 5*w, -2*w + 15 = 5*g - 0*w. Suppose -g*z = -7*z + 8. Which is smaller: z or 1/2?
1/2
Let g = -7 + 6.4. Let n = 1 + -1.5. Let k = n - g. Is k <= -1/3?
False
Suppose 3*p + 2*h = 39, 4*p + 4*h - 51 = h. Let k be ((-1)/(-2))/(p/18). Is k bigger than 2?
False
Suppose d + 4*d = -15. Let z = -36 + 37. Which is smaller: d or z?
d
Let u(j) = -j**3 + 0*j**3 + 0 - 4 + 0*j - 4*j**2 - 4*j. Let a be u(-3). Which is smaller: 1 or a?
a
Let j be (-28)/6 + 12/6. Which is smaller: 3/4 or j?
j
Let v = 11953/10 - 1194. Let x = 1/5 + v. Is 1 < x?
True
Let r = 0.19 - 0.09. Are 1 and r nonequal?
True
Let p = 0.075 - 0.425. Does p = 1/4?
False
Let d = 104/27 - 1430/189. Which is bigger: d or -3?
-3
Let b be (-5 - (-6)/2) + 21. Do b and 18 have different values?
True
Let i = 7.4 - 7. Which is greater: i or -3?
i
Let q = -15 + 16.2. Let i = 103 + -513/5. Do q and i have the same value?
False
Let z(t) = t**2 + 9*t + 10. Let p be z(-8). Let r be ((-8)/(-3 - -7))/p. Is r smaller than 2/5?
True
Let h(k) = k**2 - k - 1. Let g be h(2). Let o be (-1 + g/2)*2. Let y be (o + 6)/(-3 + 2). Which is smaller: -6 or y?
-6
Let k be (0 + 5)*4/(-90). Let a(q) = -q**3 - 3*q**2 - 2*q - 1. Suppose l + 2*f + 10 = 0, -8*f + 3*f - 20 = 0. Let j be a(l). Is j less than or equal to k?
True
Let c = -1 - 3. Let x be (-2)/(-2)*(-4 - c). Let n be ((-1)/4 - 1) + 1. Is x > n?
True
Let y be -14 - -17 - (0 - -1)*-1. Do -3 and y have different values?
True
Let z = -13 + 16. Suppose -o - z + 4 = 0. Which is greater: 2/7 or o?
o
Let l be 1760/(-64)*(-4)/(-5). Is l < -108/5?
True
Suppose 3*p + 2*p - 10 = 0. Suppose -3*d + p*d = 0. Suppose 0 = -6*m + 11*m. Is d less than m?
False
Let s = 20/3 + -37/6. Is s at least 0?
True
Let l(u) = -6*u - 59. Let h be l(-13). Is h at most as big as 19?
True
Let o = 0 + -1. Suppose -2*m = -4, 2*t + 3*t = 4*m - 18. Is t at most as big as o?
True
Let v = 0.2 + -0.3. Let q = 1 - 1. Let f = v - q. Is f greater than or equal to 2?
False
Let x = 391 - 381.91. Let m = -9 + x. Is 0 bigger than m?
False
Let y = 1734/5 + -350. Is -3 > y?
True
Let b(s) = 14 + s - 5*s + 3*s. Let j be b(8). Suppose j = 3*y - f - 0, -f = 5*y - 10. Is 2 > y?
False
Let h = -0.078 - -0.678. Is -11 less than h?
True
Let n = 5818/15 + -388. Is n <= -1?
False
Let j = -2.2 - -1.2. Do j and -0.3 have the same value?
False
Let k be 1/(-3) + (-4)/(-8). Suppose -2*z + 6*q - q - 12 = 0, 0 = 5*q - 10. Which is smaller: z or k?
z
Let c(p) = p + 3. Let q be c(2). Is q at least as big as 7?
False
Let t = 4 + -9. Let s(q) = 7*q**3 + 12*q**2 + 15*q - 5. Let v(o) = -3*o**3 - 6*o**2 - 7*o + 2. Let f(j) = 2*s(j) + 5*v(j). Let h be f(t). Is h <= -2/15?
False
Suppose -7 - 1 = -4*a. Suppose 5*s + 4 = -d - a, 0 = 3*d - 2*s + 1. Which is greater: 0 or d?
0
Suppose -1 = -v + 1. Let m = 50 - 50. Which is smaller: m or v?
m
Let a = 466 - 466. Let j = 1 - 1. Is j bigger than a?
False
Let s = 44 + -265/6. Are s and 0 nonequal?
True
Suppose 3 = 3*j + 5*h + 17, -3*j = -h - 10. Let q(a) = 0*a**j - 1 + 0*a - a + a**2. Let m be q(-1). Which is bigger: -2/7 or m?
m
Let w(m) = 15*m**3 + m**2 - 2*m + 1. Let z be w(1). Let n be 48/z - 2/10. Let t be n/9*30/2. Are t and 4 equal?
False
Suppose -2*h - 5*b + 3*b + 10 = 0, 5*h - 25 = 3*b. Suppose 2*q - 8 = h*j, -4*q - j + 0*j = 6. Is q greater than 1/4?
False
Let x = -601 - -1772/3. Is x greater than or equal to -11?
True
Suppose 0*u - 6 = 3*u. Let g be ((-4)/(-44))/(u/1). Is g equal to -1?
False
Let u(n) = 0*n**2 + 8 - n**2 - 2 + 5*n. Let h be u(5). Suppose -3*o + o = h. Is o at least as big as -2?
False
Suppose 2 = 3*q - 4. Let k(y) = -2*y + 0 - 13*y**q - 4 + 14*y**2. Let c be k(3). Is c not equal to -0.2?
True
Suppose -12*c = -14*c + 52. Is c <= 25?
False
Let z(t) = -2*t - 2. Let m be z(-3). Let h be (-36)/(-60) - m/(-10). Which is smaller: -3 or h?
-3
Let z = 394 - 393.9. Let o = -14.6 + 16. Is o smaller than z?
False
Let v be ((-7)/(-12))/(8/(-32)). Which is greater: v or -2?
-2
Suppose 0 = -4*d + y + 24, 2*y = y - 4. Suppose 7*h = 2*h - d*i + 375, -5*i + 15 = 0. Let k be h/(-130) + 6/15. Is -1 smaller than k?
True
Let u(s) = -s**2 - s - 10. Let i be u(0). Let w be (3/(-27))/(i/12). Which is smaller: -1 or w?
-1
Let k(a) = a**3 + 6*a**2 - 2. Let c be k(-6). Which is greater: -5 or c?
c
Let x(b) = b**2 + 0*b + 1 - 2*b + b. Let o be x(0). Suppose o = u - 0. Are u and -2/9 unequal?
True
Suppose 2*r = -r + 9. Let d(n) = 2 - 2 - 9*n**2 + 8*n + n**3. Let x be d(8). Is x greater than r?
False
Suppose 5*c = 2*j - 14, 0 = -4*j + 5*c + 9 + 9. Is 9/11 != j?
True
Let h(k) be the third derivative of -k**4/24 + k**3 - 3*k**2. Let d be h(6). Which is bigger: 1 or d?
1
Let k = 5167/11792 - 1/1474. Which is greater: k or 0?
k
Let x = 15 + -6. Are x and 10 non-equal?
True
Suppose -14*r + 1 = -15*r. Which is smaller: r or 0?
r
Suppose 26*m + 384 = 20*m. Is m greater than -64?
False
Let k = 5 - 4. Suppose 4*p - 2 = 2*p. Are k and p equal?
True
Let y = -0.3 + -1. Is -1 bigger than y?
True
Let x(v) = 2*v - 3. Let r be x(3). Let t be (0 - 1)/(r/21). Let n = t + 3. Which is greater: -3 or n?
-3
Let j = -17 + 10. Let c be (j/(-21))/(2/(-12)). Is -4 at most as big as c?
True
Let z be -3*3/(9/(-2)). Suppose 11 + 5 = 4*v. Suppose -4 = -v*s - 0*s. Is z greater than s?
True
Suppose -2 + 0 = -f. Let q be (1 + 0 + 0)*f. Which is smaller: 1 or q?
1
Let j = 4.96 + 0.04. Let v = j - 7.4. Let y = v - -0.4. Which is smaller: y or -1/3?
y
Let a(x) = -2*x**3 - 3*x**2 + x. Let d be a(2). Let v = d - -24. Suppose -5*r - 1 = 4. Are v and r nonequal?
True
Let y = -31/117 + 1/9. Which is bigger: y or 0?
0
Let q(a) = -8 + 0 + 1 + 2*a + 0*a. Let c be q(5). Is c at most as big as 3?
True
Let n(s) = -s**3 + 11*s**2 + 13*s - 12. Let b be n(12). Are -2/281 and b equal?
False
Let d = 1402/1765 + 2/353. Is -0.1 greater than d?
False
Let s = 97/2 + -501/10. Which is smaller: s or -1?
s
Let g = 121/7 - 124/7. Suppose 0 = -a - 2. Let v = a + 2. Which is smaller: v or g?
g
Let o = 107/12 - 26/3. Let k be (-40)/(-16) - (-1)/2. Let y be (k/9*0)/2. Is y != o?
True
Let b(i) = -5*i**2 - 3*i**2 + 2*i - 12*i - 11 + 7*i**2. Let f be b(-9). Is f at least -10/7?
False
Let k = -39 + 86. Is 46 at most as big as k?
True
Suppose 4*r + 18 - 4 = 2*c, 5*r + 4*c = -37. Which is smaller: 0.3 or r?
r
Let b = 2923/13 - 225. Let v = -4 - -4. Which is smaller: v or b?
b
Let x = 11 + -6. Let v = x + -7. Which is greater: -3 or v?
v
Let q = -15.9 + 17. Let y = q - 2.1. Is -10 less than y?
True
Suppose h + 3*h = 20. Let f(g) be the second derivative of -g**4/12 + 2*g**3/3 + 3*g**2 + 2*g. Let o be f(h). Which is greater: o or -2/7?
o
Let i(t) = -t**2 - 10*t + 12. Let l be i(-11). Which is smaller: l or 3/4?
3/4
Let b = -0.048 + 0.148. Is -0.41 at most as big as b?
True
Suppose -3*z = -7 - 17. Suppose -2*o = 2 - 6. Suppose 5*l - 2*j = 2*l, 0 = o*l - 4*j - z. Which is greater: l or -1?
-1
Let a be (6/5)/((-80)/125). Which is smaller: a or -1?
a
Suppose 0 = -2*y - 0*y + 2. Which is bigger: 2/13 or y?
y
Let v(l) = l**3 - 7*l**2 + 6*l. Let w be v(6). Let m = w + 3. Suppose 12 = 5*z - f - m, 0 = -5*z + 2*f + 20. Which is bigger: 1 or z?
z
Let t = 23 + -23. Is 0.06 greater than t?
True
Let j = 17 + -17.2. Is 0.1 at least as big as j?
True
Let c(h) = h + 6. Let f be c(-5). Let l be ((-36)/(-15))/(4/10). Suppose 3*g + 3*u - l*u = 9, 3*g - 15 = 5*u. Which is bigger: g or f?
f
Suppose -59*g = -57*g + 58. Is -29 at most as big as g?
True
Let l be 153/(-255)*(0 - (-2)/(-6)). Let r(d) = d**2 - d + 5. Let k be r(0). Suppose k*s + 7 = u, 2*s + 0 = -5*u + 8. Is s not equal to l?
True
Let w = -1 + 1. Let j = 0.4 - 1. Let k = j + 0.6. Is k greater than or equal to w?
True
Let a(o) = -o**3 - 13*o**2 - 12*o. Let q be a(-12). Let l be 10/(q + (3 - 4)). Which is smaller: l or -9?
l
Let h(k) = 2*k**2 + 4*k + 4. Let t be h(-3). Suppose 0 = -0*c + 2*c - t. Suppose 3*x - 2 = c*x. Which is greater: x or 2/11?
2/11
Let a be 6/(-15) + (-31)/(-90). Let i = a - 4/9. Let u = 7 + -6.6. Which is bigger: i or u?
u
Let v(t) = 2*t + 1. Let m(d) = 2*d. Let g(b) = 4*m(b) - 3*v(b). Let n be g(7). Is n at most as big as 10?
False
Suppose 5*h - 9 = p, 5*h + 2 + 5 = -3*p. Which is smaller: 18/17 or h?
h
Let f 