1?
True
Let w(g) = -23*g - 461. Let s be w(-18). Does s = -48?
False
Let d = -2/2033 + 42709/16264. Which is bigger: d or 0.1?
d
Let t be -2*7/(-2) - (-6 - -12). Is t equal to 1/753?
False
Let j(n) = -8*n + 44. Let t(a) = -4*a + 22. Let u(l) = -3*j(l) + 7*t(l). Let v be u(12). Which is smaller: -76/3 or v?
v
Let z be (4/(-2))/(2/1). Let r be ((-3)/60)/((-21)/12*1). Is z less than or equal to r?
True
Let h(u) = 5*u**2 - 35*u + 49. Let t be h(5). Which is smaller: t or -6/257?
t
Suppose -2*l + 3*g - 5 = 0, -2*l - 10*g + 1 = -7*g. Is 1/1120 != l?
True
Let p = -23 - -9. Let b be (-4)/(-14) - (-4)/p. Is b < -2?
False
Let z(k) = -17*k**3 + 2*k + 1. Let n be z(-1). Suppose -y = y + n. Let q(j) = -j**2 - 7*j + 1. Let a be q(y). Which is bigger: a or -9?
a
Suppose -3*g + 6*n = 4*n + 5, g = -n + 5. Let x be 2/162*-1*2. Which is smaller: g or x?
x
Let b(n) = 78*n + 8. Let y(r) = -156*r - 17. Let q(x) = 7*b(x) + 3*y(x). Let v be q(-1). Is v less than -73?
False
Let y = -26 + 23. Let o = 1 + -3. Let r = -3 - o. Which is bigger: r or y?
r
Let b = -2467 - -1520. Is b at least -948?
True
Let s = -106 + 108. Which is smaller: s or 1/9?
1/9
Let m = 127/63 - 13/9. Are m and 10 nonequal?
True
Let p be -1*(0 - (4 + 1)). Suppose -k - p = -6. Let x be (3 + 8/(-2))/k. Is x >= -3/2?
True
Let j = 7.76 - 25.76. Which is smaller: j or -1/12?
j
Let d(z) be the first derivative of z**5/20 - z**4/2 - 7*z**3/6 + z - 8. Let t(i) be the first derivative of d(i). Let j be t(7). Are j and -3/14 nonequal?
True
Suppose 3*v - 1378 = r, -16*r + 922 = 2*v - 15*r. Is v greater than 459?
True
Suppose 0*x + 5 = -2*x + g, 0 = -5*x - 2*g + 10. Suppose -q = q + 4. Let z be q/(766/(-22) + (-6)/33). Is z < x?
False
Suppose 0 = -5*y + 5*s - 2 + 162, 2*y + 2*s = 80. Suppose -2*d + 4*d = y. Let p be 20/(-90) + (-14)/d. Is 2/23 bigger than p?
True
Let q(l) = l**2 - 13*l + 14. Let c be q(12). Let a(j) = j**2 - 2*j - 13. Let k be a(5). Are k and c nonequal?
False
Let h = 1.8 + -1.1. Let u = -47.7 - -41. Let x = u + h. Do x and -0.1 have different values?
True
Suppose -4*j = j - 10. Let v be (j/(-8))/(5/(-20) - 1). Which is smaller: v or 10?
v
Let o be ((-1)/(-2))/((-6)/(-4404)). Suppose -2*v + i + o = 2*v, v = 5*i + 68. Let a = 835/9 - v. Which is greater: a or 1?
1
Suppose -4*a = -4*g + 260, 4*g = -10*a + 5*a + 260. Suppose -7*n + 12 = -g. Suppose -8 + n = 3*h. Is 6/11 != h?
True
Let f = 145 - 139. Let a = -9 - -4. Let b = f + a. Which is smaller: 0 or b?
0
Let g = -226 - -230. Is g < -0.14?
False
Let a be 25/20 - 395/380. Which is greater: a or 0?
a
Let t be (2/(-6))/((-4)/(-36)). Let n be 10 + (-6 - -3)/t. Suppose -x + n = 2. Is 7 <= x?
True
Let h = -573 + 835. Are 262 and h nonequal?
False
Let v(k) be the third derivative of k**5/15 - k**4/12 + k**3/6 - 4*k**2. Let i be v(1). Suppose -3*q - 11 - 2 = -2*y, 2*y - q - i = 0. Is -2/9 bigger than y?
True
Let j = -941 - -21649/23. Is j greater than or equal to -1?
True
Let z be 3 + 9/(-3) + 2. Suppose 3*u - 2*u = z*s - 3, -5*s + 21 = 2*u. Let x = -9 + s. Is -0.1 at least x?
True
Let t = -637 + 7005/11. Is 2.1 < t?
False
Let w be 500/100 + (998/14 - -1). Is w less than or equal to 77?
False
Let s be (-6)/3 + (0 - 0). Let k be 76/184 + s/4. Which is greater: k or 1?
1
Let l(x) = -5*x - 282. Let q be l(-42). Which is greater: -5/6 or q?
-5/6
Let n be ((-45)/(-10))/(3/(-504)*-3). Is n < 254?
True
Let c = 0 + 7. Let z be (-5)/2 - 2548/(-1092). Is c >= z?
True
Suppose -15 = -y + 4. Suppose 0 = 3*s + 12, k + 0*s + 5*s = -y. Let l = 6458/9 - 716. Is l not equal to k?
True
Let z be 4/(-6) + 2*7/(-42). Let y = -147/8 + 11629/632. Is z greater than or equal to y?
False
Let m = 24112/3 - 7842. Let a = 192 - m. Is -3 bigger than a?
True
Let h = 248 - 237. Which is greater: h or 54/5?
h
Suppose -23*w + 24*w - 9 = 0. Let m be 1 + (w/(-6) - -1). Let u be ((-8)/(-30))/((-4)/(-6)). Which is smaller: m or u?
u
Suppose -2*z = -3 + 5. Let y be ((-18)/96*4 + (-9)/68)/(-3). Are z and y equal?
False
Let u = 221 + -221.05. Does u = 94?
False
Let c be ((-13448)/(-4020))/(-2) + 40/24. Is -2/5 bigger than c?
False
Let i be ((36/21)/(-1))/((-4)/(-112)). Which is smaller: -97/2 or i?
-97/2
Let z be 0 + 0 + 3 + (-26038)/9010. Let q = z - -2/265. Which is smaller: q or 0?
0
Let f = -4/439 + 24604/2195. Is f not equal to -0.1?
True
Let l be ((-8)/(-24))/(10/4818). Let o = -160 + l. Suppose 2*y - 5*y = -3. Are o and y unequal?
True
Let l = -1668 - -106755/64. Which is greater: l or 0?
l
Let a = 136 + -70. Is a less than 66?
False
Suppose 8*g = -23 + 7. Let n be 8/12 + (-14)/(-6). Which is smaller: n or g?
g
Let l be ((-12)/(-3) - 3)*4/6. Let u = -18.7 - -18. Let p = -0.8 - u. Which is smaller: l or p?
p
Suppose -2*u = -5*d + 15, 0*u + 3*d - 9 = 3*u. Let g be u + 4 + 237/(-63). Let p = -53/42 - g. Which is smaller: -1 or p?
p
Let c = -3.65 + 1.65. Is -2 < c?
False
Let t = 8.222 + -8.3. Let i = 0.022 - t. Which is greater: 29 or i?
29
Let v = -132 - -132. Suppose v = -0*o - o + 2. Suppose -2*f = 2*f - 16. Is o at least as big as f?
False
Let x(j) = j. Let d be x(0). Suppose o - 74 + 10 = 0. Let l = o - 64. Is l not equal to d?
False
Suppose g = 2 - 0. Let o = g - -1. Suppose -6*k + o = -9*k. Is k less than -2/9?
True
Suppose 0 = s + 3*s + 3*i - 140, 0 = 2*i. Which is bigger: 67/2 or s?
s
Suppose -p + 3*p - 96 = 0. Let j = p - 44. Let m be 1/((-2)/(-8)*-2). Is m >= j?
False
Let s be 1/((-2)/(6876/(-43))). Let i = -80 + s. Let y(q) = q + 6. Let u be y(-7). Is i equal to u?
False
Let p be 2 + (2 - 0/(1 + 1)). Suppose -3*k + p*s + 142 = 41, -113 = -4*k + s. Is k less than or equal to 27?
True
Let i(m) = -m + 7. Suppose 2*q - 13 = b, -3*b + 7*b = -4*q + 20. Let l be i(q). Is l at least -2/73?
True
Let n(p) = p**3 - 15*p**2 + 13*p + 14. Let g be n(13). Let z = -97 - g. Which is smaller: z or 57?
57
Let a = -0.0346 - 0.4654. Is 56 smaller than a?
False
Let i be ((-1)/2)/(1/(-2)). Let t = 2/33301 - -26074673/166505. Let h = t - 157. Is h bigger than i?
False
Let y = 27969/11513 + -102/397. Which is greater: 1 or y?
y
Suppose -3*y + 4*o = 18, -2*o - 2 = 5*y + 2. Let m = -2.15 + 13.15. Is m smaller than y?
False
Let u = 4 + -4.4. Let g = 0.23 - 0.236. Let t = g - -0.006. Which is bigger: u or t?
t
Let r(m) = 13*m - 427. Let t be r(38). Which is smaller: 68 or t?
t
Let f be 4/(-6) - 2/(-4). Let r(u) = -u**2 + 11*u - 9. Let m be r(10). Let g = 0 + m. Is f > g?
False
Let d = 1273.96 - 1207. Let k = d + -46.97. Let h = k - 20. Is 0.1 < h?
False
Let b be (8 - 9)*80/1. Let c = 55 + b. Which is greater: c or -26?
c
Let r = 234 + -215. Which is bigger: r or 1?
r
Suppose 54*g = 24*g + 30. Is g greater than or equal to 2/139?
True
Suppose 8*n = 7*n + 16. Suppose 28 = 4*f + n. Suppose -3*t + 13 = -t + r, f*t - 26 = 5*r. Is t less than or equal to 7?
True
Let n = -113/37 + 3701/703. Is n < 3?
True
Let a be 16 - 6 - (11 - -6). Which is smaller: a or -39?
-39
Suppose -12 = -4*k, -5*k = -0*i + 2*i - 39. Suppose -4*r + i = 4*q, -4*q = -5*q + 2*r. Let j be (-2)/6 + (-28)/(-30). Is q greater than j?
True
Let l = -83 + 88. Suppose -t + 6*t - 5 = l*q, -2*q + 16 = 4*t. Which is greater: 6/5 or q?
q
Let g be (2/4)/(1/(-2)). Let c = -54 + 79. Let v = -25 + c. Are v and g non-equal?
True
Suppose 0*h - 45 = -5*h. Let u = h - 19. Let y be (u/75)/((-12)/5). Which is smaller: -1 or y?
-1
Let q = 183.6 - 167. Let v = 0.4 + q. Let r = -17.7 + v. Which is greater: -1/4 or r?
-1/4
Let j(d) = -d**3 - 7*d**2 + 19*d + 8. Let u(v) = -2*v + 11. Let k be u(10). Let r be j(k). Which is bigger: -8/9 or r?
-8/9
Let o = -19.69 + 0.69. Which is bigger: o or -5?
-5
Suppose 5*s - 15 = 0, 4*s + 17 = -4*f - 23. Suppose 0 = -2*w - 2, g - 2*w = -3*w - 13. Let a = f - g. Which is smaller: a or -3/8?
a
Suppose -34 = -4*b - 18. Let j be (-8)/6 - (2 - b). Are 0 and j equal?
False
Suppose -5*z - 3*b + 594 = 0, -3*b + 391 = 3*z + 31. Which is greater: z or 116?
z
Let j(g) = g + 2. Let r be (-24)/(-28)*(-1 + 8). Let b be j(r). Let i = 18 + -11. Which is bigger: i or b?
b
Let d(o) = -o**3 + 8*o**2 - 7*o. Let j(u) = u**3 - 7*u**2 + 6*u. Let n(b) = 6*d(b) + 7*j(b). Let y be n(0). Which is smaller: y or -3/7?
-3/7
Let h(q) = -2*q**2 + 46*q - 223. Let z be h(16). Let l be (-2)/(-8) - 2/(-4). Which is greater: z or l?
z
Suppose 0 = 3*f + 3*a - 27, -a