
s
Let a = -26/115 + -4/23. Let m = 0.11 - 0.07. Let k = m - -0.16. Are a and k unequal?
True
Let f(i) = 90*i**2 + 3*i. Let s be f(-2). Let q = s + -7432/21. Which is greater: q or 1?
1
Let g = 0.8 - -7.2. Which is smaller: g or 1/3?
1/3
Let g(v) = v**2 - 9. Let i be g(-5). Which is smaller: 17 or i?
i
Let s(w) = -2*w**2 + w + 6. Let b be s(-3). Which is greater: -14 or b?
-14
Let k = 51/2 + -26. Which is smaller: -1.9 or k?
-1.9
Let k = 0.2 + -6.2. Let x = 20685 + -1427297/69. Let r = 3/23 + x. Is r at least as big as k?
True
Suppose 3*m - 5 = 7. Suppose c = -s + 2, s + 3*c - 2 = m. Are s and 1/17 unequal?
True
Let k = 1.6 + -2.6. Let n be 3/(-9)*(-3 + 2). Which is smaller: k or n?
k
Let a be -2*3/(-12)*1. Let h = 0.1 - 0.2. Is a <= h?
False
Let a = -34 + 24. Let p = -92/9 - a. Let l = 6 + -6. Which is greater: l or p?
l
Let x(u) = u**3 + 5*u**2 + 5*u + 4. Let o be x(-4). Let b = -2 - o. Let m = b - -1. Is m smaller than -1?
False
Suppose -3*s + 10 = -5*j, j + 3*j + 4*s - 24 = 0. Let z be (-3)/((-2)/j - -3). Let i = 0.2 + 0.8. Is z at least i?
False
Let c(x) = x**2 + 4*x + 5. Let s be c(-3). Suppose d - 3 = -s*p + 3, 0 = 4*p - d. Which is bigger: -2/25 or p?
p
Let c = -10427 + 41957/4. Let s = c + -63. Which is bigger: 0 or s?
0
Let t = 88/3 - 30. Which is bigger: -23 or t?
t
Let u be 20/(-7 + 3) + -3. Which is bigger: -7 or u?
-7
Suppose -21*h + 6*h = 75. Which is smaller: h or 7?
h
Let k(p) = p + 1. Let i be k(-6). Let w = -2 - i. Does w = 3?
True
Let n = 0.05 - -4.95. Let x = -5.3 + n. Let g = x + 0.1. Are g and 0 nonequal?
True
Let y(s) = s**2 + s - 3. Let p be y(-3). Let b = 7 - p. Suppose 2*j + j - 23 = 5*u, -b*u = 3*j + 13. Which is bigger: j or 1/4?
j
Suppose 0 = 4*d - 3 - 1. Let z be d*(3 + 0 + -1). Let r be (27/(-9))/((-3)/2). Is z at least r?
True
Let t(j) be the second derivative of -j**3/6 - j**2 + 2*j. Let c be t(-1). Let k = -29 - -27. Which is bigger: k or c?
c
Let s(g) = g - 4. Let o be s(5). Is -2/29 smaller than o?
True
Let a be 37/(-7) + 2/7. Let y be a/1 - (0 + -2). Suppose -91*h - 80 = -75*h. Which is smaller: h or y?
h
Suppose -10*j + 6*j = -5*l + 152, 3*l = 0. Is j > -38?
False
Let p(c) = 3*c + 23. Let k be p(-13). Is -15 less than k?
False
Let z be (2 - (-58462)/(-15428)) + 2. Let t = z + 2/551. Let q = 1/28 + t. Is q equal to 1?
False
Let q(v) = v**2 - 7*v + 6. Let w be q(5). Let o be 1 + (-2)/(w/(-6)). Let z = o + -3. Does -5 = z?
True
Let m = -130/11 + 1053/77. Which is bigger: 2 or m?
2
Let j be (-3 - -4)/(3/21). Let w = j + -67/10. Is w < -1?
False
Let x be -4 + -5 - (5 - 4). Which is bigger: x or -8?
-8
Let g = 0.2 + 0. Let f = -0.5 + g. Let i = 0.4 + f. Which is smaller: -0.1 or i?
-0.1
Let n = 87.06 + -87. Which is bigger: n or 2/3?
2/3
Let m = 7 + -7.28. Let i = 0.5 + m. Let b = i + -0.02. Which is smaller: -2 or b?
-2
Let b(u) = u**2 + 6*u - 7. Let n be b(-7). Let r(k) = k**3 + 7*k**2 + 5*k - 2. Let m be r(-6). Suppose a + 4 = 2*g, m*a + 7*g - 10 = 2*g. Are n and a equal?
True
Let i be (-8)/(-6)*(-2 - -20). Let c be 1*4/i*2. Let u(z) = z**3 + z - 1. Let g be u(1). Is c smaller than g?
True
Let z = 3.8 - 13.6. Let b = 20 + z. Let j = 10 - b. Which is smaller: -1/4 or j?
-1/4
Let c be 56302/1530 + (-4)/18. Let v = 1231/34 - c. Let s = -1/34 + v. Which is smaller: -1 or s?
-1
Let k = 3 + -2. Let p = 4 - 8. Let t(q) = -q - 4. Let b be t(p). Which is bigger: b or k?
k
Let z be 548/38*14/(-91). Let r = 48/19 + z. Which is bigger: r or -1?
r
Let k(j) = -j**3 + 6*j**2 + 8*j - 9. Let w be k(7). Let y be (-1)/6*w/(-1). Which is smaller: -1 or y?
-1
Let c(m) = -m**2 + 5*m + 4. Let v be c(5). Let h = -7 - -4. Let u be (h/(-18))/(2/v). Which is greater: 0 or u?
u
Suppose g + 6 = -3*m - 1, -4*g = -m + 15. Let s be -7 + 9 - (-9)/g. Which is smaller: s or 0?
s
Let r = -841 - -1715/2. Let f = 67/4 - r. Are 0 and f unequal?
True
Let x = 206 - 3500/17. Let i = 1 - 1. Is i < x?
True
Suppose 2*z - 2 = -0*z. Let k be (-8)/(-18) - (-14)/(-63). Which is bigger: k or z?
z
Let u = -88 - -99. Which is smaller: -2 or u?
-2
Let w = 5 + -14. Let x = w + 11. Which is greater: x or -2/5?
x
Let y be (-2)/6 + 3 + (-56)/(-6). Which is bigger: y or 14?
14
Let y = -3710 + 55558/15. Let p = y + 29/5. Are 0 and p equal?
False
Let h = 0.6 + -0.5. Let g = 2 - 1. Let x = g - 2. Which is smaller: h or x?
x
Let s = -0.031 + -0.069. Which is greater: -2.7 or s?
s
Suppose 5*y - 17 = 2*a, 2*y - 9 - 21 = -5*a. Let k be (9/(-6))/(-3)*0. Which is greater: a or k?
a
Let i(y) = y + 5. Let d be i(-5). Which is smaller: d or 9/7?
d
Let y = 53 - 18. Let m = y - 16. Let g = -55/3 + m. Which is smaller: g or 4?
g
Let k = 82 - 82.1. Is -0.23 less than k?
True
Let l = 88 - 78. Which is smaller: l or 2/19?
2/19
Suppose -2*t + 1 + 7 = 0, -5*h + 2*t - 3 = 0. Which is smaller: -5/34 or h?
-5/34
Let r = 66 - 67. Which is smaller: 2/9 or r?
r
Let c(p) = p**3 - 7*p**2 + 11*p - 29. Let b be c(6). Which is smaller: 2/225 or b?
2/225
Let m = -28.8 - -34. Let a = m + -5. Which is smaller: a or -0.2?
-0.2
Suppose 0 = 3*l - 5*l + 30. Suppose -3*s + w + 41 = 0, 48 = 4*s + 5*w - 32. Are l and s unequal?
False
Suppose 3 = -4*u - 5. Let m be u + 3 - 1 - 2. Is m at most as big as -1?
True
Let u = 520 - 28601/55. Does 0 = u?
False
Let y = 82/3 + -248/9. Is y not equal to -1?
True
Suppose -3 = -r + 1. Which is smaller: r or 5?
r
Let o = -37 - -39.5. Are o and -0.1 equal?
False
Let x = -5896546397 - -577997167478187/98023. Let r = x + -4/1181. Let o = r - -138/581. Which is greater: o or -3?
o
Let g = -1.99 - -1.9. Let f = 4.09 + g. Which is bigger: 0.1 or f?
f
Suppose -292 = 11*j - 15*j. Is j greater than 73?
False
Let o(c) = c**3 + 6*c**2 + 5*c - 3. Let i be o(-5). Let a be 2*1 - 8/5. Is i <= a?
True
Let z(h) = -4*h - 4. Let x(c) = 9*c + 8. Let f(a) = 2*x(a) + 5*z(a). Let l be f(-3). Let o = 1 - 1. Is o greater than or equal to l?
False
Let s(x) = x + 6. Suppose 0 = 4*t - 20, j + 3*t = 2*t - 1. Let z be s(j). Suppose -v + z*v = 0. Which is greater: v or 3/5?
3/5
Let t = -25 + 24.91. Is t > -0.1?
True
Let x = 185 + -199. Which is smaller: x or -16?
-16
Let w = -0.46 - -3.46. Let t = -2 + 4. Which is bigger: t or w?
w
Let s be ((-3)/(-4))/((-1)/4). Let f = s - -1. Let m = -33 - -33. Is f != m?
True
Suppose 5*m - 90 = -0*m. Let y be (-4)/m - 184/(-180). Let h = 5 - 3. Which is greater: h or y?
h
Let r be -3*(-3)/(-9)*-4. Suppose -2*l = -i + 2 + 1, 3 = r*i + l. Which is smaller: i or 2?
i
Let b = 0.09 - -0.91. Let z = -691/7 + 99. Which is greater: b or z?
b
Let z = -4.65 + 4.7. Which is smaller: z or 0?
0
Suppose q - 6*q = 4*m - 190, 77 = 3*q - 5*m. Is q <= 33?
False
Let k = 16 + -13.6. Let r = 1.1 - k. Let m = r + 0.3. Which is smaller: -0.1 or m?
m
Let n be (-4)/(-6) + 42/(-9). Are n and -4 equal?
True
Let s = -197 - -4335/22. Suppose 0*v = v. Which is smaller: v or s?
v
Let k(y) = -y - 1. Let h be k(-6). Suppose 1 = -h*x + 11. Suppose -u = -3*u + x. Is u <= -2/7?
False
Suppose 2*u = -2*u. Suppose u = 2*d, -5*c = -2*c + 2*d + 9. Which is greater: c or -4?
c
Let n = 214.98 - 213. Let h = n - -0.02. Is 0.2 <= h?
True
Suppose w + 5*u = -8, -u = -5*w - 13 - 1. Is w < -7?
False
Let m(i) = 10*i + 6. Let a be m(-1). Which is smaller: -5 or a?
-5
Let q be (1 - -1)*155/10. Suppose 0 = -4*d + 3*w + q, 3*d - w + 6 = 4*d. Let c = d + -2. Is c less than 4?
False
Suppose 3 = h + 2*g, -2*h + 6*h - 3*g + 21 = 0. Do -1 and h have the same value?
False
Let j be (-3476)/231 - (-4)/(-14). Is j < -15?
True
Let b(v) = v**2 - 17*v - 13. Let t be b(18). Which is greater: 7 or t?
7
Let l = -2 + 0. Let t = -2.03 - l. Are t and -0.1 equal?
False
Let l = -0.2 - -0.1. Let i = -3.1 - 0.9. Let k = -5 - i. Is l at most as big as k?
False
Let z = 4.03 + 0.47. Is z greater than 1?
True
Let u be 2/(2 - 0)*6. Let l = 6 + -4. Suppose u = l*q - 4. Which is smaller: 1 or q?
1
Let j = 0 - -0.1. Let u be (-15)/(-4) - (5 + -4). Let a = 9/4 - u. Which is smaller: j or a?
a
Let n = 4 - 2. Let t be (n/(-3))/((-4)/(-6)). Let v(z) = -2*z**3. Let b be v(1). Is b at least t?
False
Let r = -144 + 712/5. Which is smaller: r or -3?
-3
Let y be (-263)/2 + (-2)/(-4). Let b = 11277/2 - 55079/10. Let p = b + y. Is -1 greater than or equal to p?
False
Suppose 4*d + 0*d + 24 = 0. Let y = 40 + -48. Is y greater than or equal to d?
False
L