 not equal to j?
True
Let j = 19 - 14. Which is smaller: 4 or j?
4
Let b = 17 + -16. Is 7/3 > b?
True
Let k(v) = v**2 - 4*v + 13. Let g be k(0). Which is smaller: g or 10?
10
Let m(o) = 4*o**3. Let d be m(1). Let p = 6 - d. Is 6/5 at most p?
True
Suppose 4*v = 6*v - 16. Is -5 >= v?
False
Let f = 5 + -3. Let x = -1.7 + 0.7. Let c = x - f. Which is smaller: c or -0.1?
c
Let h be (18 + -16)/(2/15). Do h and 15 have the same value?
True
Suppose 52 = 3*z + z. Suppose f = -4*h + z, -f + 4*h + 2 = 13. Which is greater: -1 or f?
f
Let u be 3 + 0/1 + -3. Which is bigger: -6/11 or u?
u
Let f(x) = 4*x**3 - 4*x**2 - 2*x + 3. Let y(t) = 3*t**3 - 4*t**2 - 2*t + 4. Let n(b) = -2*f(b) + 3*y(b). Let z be n(4). Is z at most -9/4?
False
Let r = -0.62 - 0.08. Which is greater: -5 or r?
r
Let m(j) = -j**3 - 5*j**2 + 4*j - 8. Let l be m(-6). Let r(a) = -a - 4. Let n be r(l). Which is greater: -7 or n?
-7
Let d = 0.23 - -0.07. Let l = d + -0.8. Let n = l - 1.5. Are -3 and n non-equal?
True
Let d = 1 + -5.1. Let n = -4.09 + 0.09. Let x = n - d. Is -0.4 at least x?
False
Let d(j) = 2*j**3 + 9 + 3 + 9*j**2 + 9*j - 5*j**3 + 2*j**3. Let y be d(10). Let b be y/9 + (-8)/(-18). Which is bigger: b or 0.1?
b
Let f be 18/(-48)*(-2 - (-56)/(-6)). Which is smaller: 5 or f?
f
Let w be (-1)/2*(3 + -1). Let i be ((-3 + 1)/1)/7. Is i at most as big as w?
False
Let j(r) = r**2 - 3*r - 10. Let i be j(5). Which is greater: 2 or i?
2
Let r(p) = p**2 - 9*p + 7. Let t be r(8). Let k be 1/9*9/60. Let b = k - 4/15. Which is smaller: t or b?
t
Let w(u) = -u**3 + 8*u**2 - u + 10. Let k be w(8). Suppose -3*y - 3*z = -2*z + 9, 0 = k*y - 4*z + 6. Let s be -1 - 0 - y/2. Is s >= 0?
True
Suppose 0 = 3*d + 2*c + 21, 8 - 2 = -3*d + 3*c. Are d and -1 non-equal?
True
Suppose 5*p + 33 = 4*c, 2*p - 3*p - c - 3 = 0. Let v be -1*5*(-3 + 8/4). Let q = v + p. Is -2/3 != q?
True
Let y = -3 + 3. Suppose -5*x = u + 61, -4*x + 86 = -2*u - 5*x. Let t = -124/3 - u. Are t and y non-equal?
True
Let g(o) = -o**2 - 5*o + 3. Let a = 2 - 7. Let s be g(a). Suppose s*x - 8 = -5*m, 3*x - x + 4*m - 6 = 0. Is 1 smaller than x?
False
Let c(f) = 2*f + 9. Let v be c(-6). Let q = v + 2. Is 2/9 smaller than q?
False
Let a(k) = k**2 - 9*k - 25. Let z be a(14). Is 44 > z?
False
Let y be 135*4/(-1456) + 3/7. Is y equal to 1/4?
False
Suppose 3*h + 3 = -3*r - 9, 15 = 5*h - 2*r. Let c be 4/10 + 114/105. Let k = 6/5 - c. Which is smaller: h or k?
k
Suppose 45 = 5*l + 5. Let f = 7 - l. Let z = f + -2. Which is greater: 0 or z?
0
Suppose 0 - 7 = -d. Let f be (5 - d)*(-2)/(-50). Is f at most 0?
True
Let u = 4 + -2. Let s be 0*u/4 - -1. Which is bigger: 0 or s?
s
Let c = -11.4 - -8.4. Is c > -12?
True
Let x = 4.4 - 4. Let u = 5 + -9. Let w = -3 - u. Which is smaller: w or x?
x
Suppose q - 4*q + 1 = -z, -5*q - 2*z + 20 = 0. Let f = 0.01 + 0. Is f at least q?
False
Suppose 0*k + 3*z - 25 = 2*k, 0 = 3*k - 5*z + 39. Let w be ((-4)/(-32))/(6/k). Is w != 1?
True
Let k = 0.01 + 0.09. Let o = k - 4.1. Which is smaller: o or -0.1?
o
Suppose 99 = -2*g - 5*v, -3*g - 158 = -0*g - 2*v. Are g and -52 non-equal?
False
Let k = -2 + 1.95. Let t = k + 0.09. Let g = 0.06 + t. Which is smaller: -3 or g?
-3
Let w = -5 - -8. Let c = -2 + w. Which is bigger: 2/7 or c?
c
Suppose 0 = -2*l - 0*l. Which is bigger: l or 3/7?
3/7
Let p be 6/(-9)*18/(-12). Which is greater: -1/18 or p?
p
Let y be 2/(-4)*28/(-7). Suppose -2*p = 3*p - 160. Let a = p - 125/4. Which is bigger: y or a?
y
Let y(n) = -n**3 - n**2 + n - 1. Let p = 3 + -5. Let l be y(p). Let d = 11 - 8. Which is bigger: l or d?
d
Let u(m) = m**3 - m**2 + 1. Let t be u(0). Let x(i) = 2*i**2 - 7*i - 3. Let w be x(8). Let f = w - 273/4. Is t > f?
True
Suppose -4*x + 2 = -2*x. Is x > -20?
True
Let v = -10 + 11. Which is bigger: v or 2/27?
v
Let q be -3 - (2 - 220/24). Which is bigger: 3 or q?
q
Suppose 2*l = y + 5, -l = y + 3*y + 20. Suppose -v - k + 5 = l, -v + k = -4*k + 25. Which is bigger: v or -2?
v
Suppose 2*b = -4*p + 146, -92 = -3*p + 3*b - b. Suppose -3*u - 2*q - 4 = -3*q, 5*q + p = -3*u. Let o be 0/(0 - (u + 2)). Is o >= -1?
True
Let r = 1.7 + -4.7. Which is bigger: r or -0.4?
-0.4
Let d be 535/(-13) - (-10)/65. Is -40 smaller than d?
False
Let p = -70.92 - -74. Let h = p - 3. Which is greater: h or -1?
h
Let u be (-4)/(-5) - 6/15. Is u >= -1/7?
True
Let v(q) = -q**2 - 5*q - 3. Let r be v(-5). Let d be -1*(-1)/r - 1. Which is bigger: 0 or d?
0
Let c be 2/(-11)*268/24. Let q = 5/3 + c. Which is greater: 0 or q?
0
Let a(c) = -c**2 + 4*c - 3. Let s be a(3). Let y be 2 - (s + 0) - 0. Is y greater than 2?
False
Let q be 21/9*(-1)/(-5). Are q and 0 equal?
False
Let t = 1/43 - -202/559. Is -1 at least as big as t?
False
Let i be 4/18 + 14/18. Let j(t) = -2 - 3*t**2 + 3 - t**2. Let g be j(i). Which is smaller: g or -2?
g
Suppose -2*q = -q + 9. Let n be 0/(-2) + (-3)/q. Let o be (3/(3/2))/(-2). Is n smaller than o?
False
Let i = -945/11 + 86. Let x = 6 + -6. Is i greater than x?
True
Let p be 2114/3490 + (-39)/65. Are -1 and p equal?
False
Let f(y) = -y**3 + 4*y**2 + 5*y. Suppose -16 = -4*g, 0*g = 5*i + g - 29. Let n be f(i). Let j = n + 2. Is j at most as big as 3/2?
False
Let r = -22299/196 + 455/4. Let z = r - -248/147. Which is smaller: z or 2?
z
Let q(s) = -2*s - 19. Let p be q(-9). Is -7/3 >= p?
False
Let i = 5 - 2. Let q = -1646/5 - -332. Which is greater: i or q?
i
Suppose -t + 6 = -0*t. Let n = t - 5. Let u be 0 + (-4)/30 + 0. Is u at least as big as n?
False
Let q be 3/(-5)*(-1)/2. Which is bigger: q or 2/5?
2/5
Let a(n) = n**2 - 10*n - 5. Let t be a(-4). Which is smaller: 49 or t?
49
Let o = -6 + 12. Let d be -3 + o/(-1 + 3). Is d greater than or equal to -1/2?
True
Suppose 2*k = -2*u + 4, 10 + 0 = 4*u + 5*k. Suppose 0 = -u*l + l. Which is bigger: -3/4 or l?
l
Let p be 2/(-6) - 1401/765. Let c = p - -30/17. Let j(f) = f**2 + 7*f + 5. Let a be j(-6). Which is bigger: c or a?
c
Let c = 3 - 0. Suppose -b - 6 = -c. Let r be 2/(-6)*b/(-2). Which is smaller: -2 or r?
-2
Let y = -1 + 0. Let w be -4 + 0/y - 0. Are w and -4 non-equal?
False
Let p be ((-4)/6)/(2/3). Let o be -1 + -1 + -1*7. Let j be 2*1/o*1. Which is bigger: j or p?
j
Let o = 6 + -23/4. Let v = -6 + 6. Suppose 3*n + 2*p - 5 = v, 0*n = 2*n + p - 2. Do o and n have the same value?
False
Let v = 10 - 10. Which is greater: v or 1/13?
1/13
Let l = -12.3 - -18.2. Let y = l - 6. Which is smaller: y or -1?
-1
Let u(n) = n + 6. Let a be u(0). Let m(f) = f**3 - 6*f**2 + f - 7. Let v be m(a). Which is smaller: v or -2?
-2
Let f = -0.17 - 1.23. Let k = 0.6 - 0. Let o = k - f. Is o greater than 1?
True
Let x = 383/510 - -5/102. Suppose -u - 4*u = -5*p + 30, 5 = -u. Is p > x?
True
Suppose 0 = 3*l + 2*l + 15, 5*l = -t - 16. Is t not equal to -3/7?
True
Suppose -c + 2*g = 7, -4*c = 3*g - g + 8. Let m(u) = u**3 + 3*u**2 - u. Let f be m(c). Suppose 2*p + f*p + 2 = 4*n, p - 2*n = 2. Is p at most 2/3?
True
Suppose -15 = -5*j - 0. Let i = -2 + 6. Suppose 0 = 6*m - 4*m - 4*f, -3*m + 4 = -i*f. Is j <= m?
True
Let b = -1.03 - 0.27. Let v = 0.7 + b. Is v smaller than -0.1?
True
Let o = 2 + -1. Which is greater: o or 10/11?
o
Let g(z) = -z**2 - 13*z - 13. Suppose 7 = 4*x - 1, -5*p - 54 = 3*x. Let a be g(p). Which is bigger: -4/21 or a?
-4/21
Let z = -2.02 - -2. Let l = z + 0.02. Let f = 10.7 + -11. Which is smaller: f or l?
f
Let q = 1 - -22. Is 2/7 smaller than q?
True
Let z = -0.3 + 0.1. Let a = 8 - 8.1. Let v = z - a. Is 5 < v?
False
Let x(h) = -h**2 + 2*h - 1. Let w be x(2). Which is smaller: 1/131 or w?
w
Let r = 0.84 + 0.06. Let t = -0.1 - r. Let w = 71 - 283/4. Is w at least t?
True
Suppose -9*p = -5*p. Is p at least -1/15?
True
Suppose 0 = -2*i - 3*o + 4, 2*o = -0*i + 5*i + 9. Let k(w) = -3*w**2 + 2*w + 1. Let r be k(-5). Let z be 2/(-7) + 18/r. Is z at least as big as i?
True
Let f = 19 - 21. Is f > 2/5?
False
Suppose -5 = 4*a + 27. Do -9 and a have different values?
True
Let z = 84/235 + 2/47. Let h be 2/4 - 1462/180. Let a = h + 37/5. Which is bigger: z or a?
z
Let d be (-14)/(-10) + (-6)/(-10). Let b(x) = 3*x**d - 4*x**2 - 3*x + 2*x. Let c be b(1). Which is greater: 1 or c?
1
Let q = 1/502 - 585/41666. Let i be ((-15)/(-70))/(249/318). Let s = i - q. Is s greater than or equal to -1?
True
Let v(o) = -o**2 - 2*o. Let c be v(-1). Let s be ((-2)/(-4))/((-3)/(