Does 0.3 = l?
False
Let m be -5*3*28/105. Let h = -6 + 9. Is m at most as big as h?
True
Let h = -6.1 - -5. Let i = 585/11 + -53. Which is smaller: i or h?
h
Let l be 12/(-10) + (-3293)/185. Which is greater: l or -178/9?
l
Let o be ((-1568)/(-20))/7 - (-4)/5. Suppose 2 = d + o. Let l = -2 - -2. Do l and d have different values?
True
Let a be (0 - -3)*84/36. Let m(h) = -4*h + 38. Let u be m(a). Which is smaller: 13 or u?
u
Suppose -17 = -2*l - 5*y - 243, -4*y - 353 = 3*l. Is -121 < l?
False
Let a = -5.6 - -3.92. Let k = 0.12 - a. Let v = k + -1. Which is smaller: -1/4 or v?
-1/4
Let s be 2/(-6) - 1*-1. Let o be -6*(2/(-15))/((-28)/(-35)). Which is smaller: o or s?
s
Let b = -227 - -226. Is -21/19 at most as big as b?
True
Suppose -626*d + 624*d - 356 = 0. Which is bigger: -174 or d?
-174
Let g(p) = -p**2 + 17*p - 20. Let u be g(16). Let w be (u/48 + (-1)/(-3))/1. Which is smaller: -30 or w?
-30
Let y be 5/(-34)*4*(-5)/(-10). Which is bigger: y or 0.6?
0.6
Let y = 452 + -452.08. Is y at most -30?
False
Let b = -1147463 - -441772897/385. Let a = b - -4/55. Is a greater than or equal to -2?
True
Suppose -1350*d = -1349*d - 494. Are 495 and d equal?
False
Let v be 6/(-810)*-33*-3. Is v less than -2?
False
Let h = 27.1 - 27.89. Which is greater: h or 3/2?
3/2
Let d be (3/6)/((-2)/(-200)). Let b = -138 + 109. Let v = b + d. Is v less than 21?
False
Let x = 87 - 51. Let r = x - 41. Let u be 2*1*(-6)/4. Which is smaller: r or u?
r
Let t = -2206 - -3146. Is t greater than 940?
False
Let y(p) = 3*p**2 + 2*p - 30. Let z be y(-4). Which is greater: z or 11?
11
Suppose 29*n - 136 = -165. Is n greater than or equal to -124?
True
Let a(t) = -t**3 - 4*t**2 - 2*t + 5. Let z be a(-4). Let v = -1 + z. Let k be (v + -9)/(7*1). Is k <= 0.1?
False
Let c(p) = -113*p + 13. Let x be c(-7). Let a = x + -66730/83. Are 1 and a equal?
False
Let u(l) = -3*l - 4 + 4*l - l - l**2 + 4*l. Suppose -3*b - 9 = -6*b. Let n be u(b). Which is bigger: -3 or n?
n
Suppose 2*x - 3 = -1. Let w be (0 - (-1 + 3)) + x. Is 2/33 <= w?
False
Suppose r - 4*i + 18 = -2, -4*i + 20 = 0. Suppose r = y + 2*y + 3. Which is smaller: y or -5?
-5
Suppose -14*p + 5599 = -25*p. Which is greater: p or -508?
-508
Suppose 5*f + k = 27, k - 11 = -3*f + 3*k. Suppose 2*a + f = -i, 20 = 3*a - 8*a - 5*i. Is 2/25 equal to a?
False
Let p = -0.062 - -2.962. Let q = -2.5 + p. Which is smaller: 2 or q?
q
Let q = 2 + 2. Let z = -242 + 247. Suppose s - 2*g = 5 + z, 4*s = q*g + 20. Which is smaller: -1/2 or s?
-1/2
Let s be 20 + -16 + (-1 - 0). Suppose -11 = s*v - 8. Let b be 2/(-6) + (-14)/(-33). Which is smaller: b or v?
v
Let x = 0.18 - 4.18. Let o = x + 4. Let a = o - 4. Which is smaller: a or -1/3?
a
Let d = -14 - -14.03. Let y = 0.23 - d. Suppose 4 = 2*b - 0. Which is smaller: y or b?
y
Let y(f) = f**2 - 7*f - 23. Let k be y(9). Which is smaller: k or 0?
k
Let v be (-7)/(147/14) - (-13)/(-3). Let h be -1 - 1 - v/((-25)/40). Do -35/4 and h have the same value?
False
Let d be (87 + (-28)/(-4))*1. Which is smaller: d or 93?
93
Let o(n) = n**2 + 9*n + 2. Let p be o(-10). Which is smaller: p or 98/9?
98/9
Let q(t) = t**2 + 16*t + 1. Let y be q(-16). Suppose i - 1 = 2*i. Let f be 0 - (31/33 + i). Which is smaller: y or f?
f
Let p = 14 + -7. Suppose -2*t = 192 - 184. Let d be 48/18*(-9)/t. Which is smaller: p or d?
d
Let o(y) = -3*y - 5. Let l be o(-2). Let q(f) = -9*f**2 + f**3 + 7*f - 8 + f - 7*f + l. Let w be q(9). Which is smaller: w or 4?
w
Let a be 1/(-20) - 1/5. Let i = 110 + -110. Which is smaller: a or i?
a
Let k be (6/9)/(17/(-18) + 1). Is k smaller than 10?
False
Suppose -2*n - 2*n = 0. Let j = 2746/9 - 304. Is j at least n?
True
Let f be ((-6886)/(-55))/((-11)/5). Let z = f - -57. Which is smaller: z or 0?
0
Let i be 21*3/9 - 2. Let j be i/(-2)*(-4)/(-5). Is j < -7/8?
True
Let c be (4/6)/(477/(-162) - -3). Is 13 >= c?
True
Suppose -2 - 4 = -6*i. Suppose -h + 32 = -i. Let d be 1/(-7) - h/847. Are -1 and d non-equal?
True
Let v(f) = 3*f**2 + 4*f + 2. Let o be v(-3). Let t(u) = -u - 7. Let r be t(-13). Suppose -5*l - 4*p = -o, r*l - l = -2*p + 11. Is 3/8 < l?
True
Let d = -108 + 106.4. Let s = -1.9 - -2. Which is smaller: s or d?
d
Let n be 232/555 + 4/(-10). Let y be (-2)/(-5) - (26/65 + -1). Does y = n?
False
Let d = -435 - -335. Are -102 and d equal?
False
Suppose -3*g - 15 = 2*h, 6*h - 3*g = 2*h - 21. Let n(x) = -104*x + 622. Let z be n(6). Which is smaller: z or h?
h
Suppose -14 = -5*d + 11. Suppose -3*x = 3*u - 15, -d*u + u - 2*x + 16 = 0. Let p = u - 5. Which is greater: p or -7/3?
p
Let o = -75 - -71. Let g = -1 + o. Let l(c) = c**3 - 9*c**2 - 4. Let d be l(9). Which is smaller: g or d?
g
Suppose 3*g + 7*n = 4*n + 9, -15 = -g - 5*n. Suppose r - 3*r = 2*i, -25 = -i + 4*r. Which is greater: g or i?
i
Let k be (-6)/2*4/(-3). Suppose 1075 = 18*i + 985. Which is smaller: i or k?
k
Let j = -528 + 537. Is j <= 19/2?
True
Let y = -21/53 + 836/371. Which is smaller: y or 3?
y
Suppose 2*q - 104 = -4*s - 26, -60 = -3*s - 3*q. Let a = s - 49. Are a and -30 equal?
True
Suppose 11*j = 1445 - 7330. Is j > -535?
False
Let q = -11118/128725 - -3/2710. Let f = q + 1/190. Is f > -1?
True
Let q = -12.12 - -0.12. Let h = 3.11 - 3.01. Which is greater: h or q?
h
Let z = -106 - -176. Let x be 6/(-14) + 2/z. Let j = -35 - -19. Does j = x?
False
Let d = 352.8784 - -0.1216. Does -1 = d?
False
Let u(k) = -k**3 + k**2 + k + 16. Suppose -6*l = -10*l. Let d be u(l). Suppose 0 = 3*c + 3*m - m + d, -4*m - 24 = 2*c. Is -2 not equal to c?
False
Let q = 1073 - 1056. Which is greater: 0 or q?
q
Let m(k) = 22*k + 20. Let g be m(-2). Which is smaller: g or -0.7?
g
Let r = 42 - 42. Let d be 3*(r - 4 - -3). Is d not equal to -3?
False
Suppose a - 6*a + 50 = 0. Let f be (-300)/a*(-2)/5. Let b be -4 - -1 - f/(-3). Which is smaller: b or 4?
b
Let q(b) = -2*b**2 - 6*b - 5. Let c be q(-1). Let u be c + -2 + 2/1. Are u and 1/5 equal?
False
Let v = -26 + 25.74. Let k = v + -4.74. Is -2 at most as big as k?
False
Let a = -29 - -22.8. Let h = a + 7. Let z = -1.6 + h. Which is smaller: 0.1 or z?
z
Let l(g) = -4*g - 7. Let q(f) = -f - 1. Let h(t) = -l(t) + 3*q(t). Let j(d) = -d**2 + 4*d + 7. Let o be j(6). Let s be h(o). Which is smaller: s or 7?
s
Let k(n) = -3 - n - 2 + 4. Let g(y) = y + 6. Let c be g(-2). Let i be k(c). Is i > -5?
False
Let y = 2 + -3. Which is bigger: -6/7 or y?
-6/7
Let q(g) = -g**3 + 4*g**2 + 6*g + 18. Let t be q(7). Which is smaller: -85 or t?
t
Suppose 5*t - 31 = -4*d + 16, 0 = 2*d - 4*t - 4. Suppose d*o = 3*o. Let c be (2/5)/(-3 + o). Are c and 0 equal?
False
Let s(c) = -2 + 16*c**2 - 3*c - 2*c + 6*c. Suppose 0 = 93*p - 101*p + 8. Let k be s(p). Which is greater: 14 or k?
k
Suppose -1524 = -21*z + 4545. Which is bigger: 287 or z?
z
Suppose 5*w + 3*g + 2 = 0, 2*w - 5*g = w + 22. Let s be ((3 + -5)/38)/(w/4). Does 1 = s?
False
Suppose 0 = -14*b + 19*b + 10, 0 = -2*m - 2*b - 2. Which is smaller: m or 3/455?
3/455
Let i = 320/7 - 13106/287. Which is greater: i or 1?
1
Let h = -14.4 + 14. Let x = 0.6 - h. Which is smaller: x or 0?
0
Let f(t) be the second derivative of -5*t**3/6 - 23*t**2/2 - 9*t. Let u be f(-10). Suppose 0*i = -3*i - u. Is -9 > i?
False
Let y = -487 + -402. Is y greater than -889?
False
Let y = -7 + 9. Let d(b) = -b**2 + 2*b + 1. Let p be d(2). Suppose -1 - p = -y*h. Which is bigger: h or 2?
2
Let t = 1464/47393 - -3/571. Is t > 1?
False
Let n be (-80)/(-6) - (-2)/(-6). Let k(y) = -3*y**2 - 2*y - 1. Let c(d) = -7*d**2 - 4*d - 3. Let l(o) = -6*c(o) + 13*k(o). Let u be l(2). Are n and u unequal?
False
Let x be 4/(-12) - (-2356)/(-60). Let k = -40 - x. Is k != -1?
True
Let o be (-2 + 35)/(6/(-4)). Let w(u) = -u**3 - 8*u**2 - 9*u - 95. Let q be w(-8). Is o bigger than q?
True
Let w(v) be the third derivative of v**6/40 - v**5/30 + v**3/6 + v**2. Let p(f) = 4*f**2 - 36*f - 1. Let z be p(9). Let u be w(z). Which is bigger: -5 or u?
u
Suppose -3*j = -0*j - 15. Let m be (-15)/(-6)*16/j. Let p be (4/(-6))/(m/96). Is p equal to -6?
False
Let u = -363 + 728. Which is greater: u or 364?
u
Let t(s) = s**3 + 8*s**2 - 2*s - 12. Let c be t(-8). Let u be 0/(c + -7) - -1. Suppose u = -5*f + 6. Is f at least as big as -3/19?
True
Suppose 5*v = -5, -48*i + 5*v = -44*i - 9. Let a = 913/508 + -6/127. Is i smaller than a?
True
Suppose