1 nonequal?
True
Let u = -13252/3465 + 2/315. Do u and -3 have different values?
True
Let p(f) = -f**2 - 5*f + 3. Let k be p(-5). Suppose -45*u = -47*u + 4. Which is smaller: k or u?
u
Suppose -2*u = -0*u. Let d(i) = 0*i**2 - i + i**2 - 2 + 0. Let m be d(u). Is m < -8/5?
True
Suppose -12 = -6*l + 4*l. Suppose 14*q - 12*q = l. Which is smaller: 16/5 or q?
q
Let a = -1677 + 1606. Is -61 <= a?
False
Let b = 1230 + -15988/13. Let a(l) = -2*l - 1. Let f be a(-2). Suppose -f*g = -2*g. Which is smaller: b or g?
g
Let h(v) = 4*v**2 + 30*v + 232. Let l be h(-15). Is 681 > l?
False
Let l be (-24)/9*(-3)/2. Suppose -l = 2*a, -5 = -i + 2*a + 2*a. Let s(v) = -v**2 - 15*v - 28. Let u be s(-13). Is u greater than or equal to i?
True
Let v be (3 + (-56)/20)*(-70)/42. Which is smaller: v or -33/7?
-33/7
Let f = -0.574 + -0.046. Let d = 0.5 + f. Let y = d - -0.12. Which is greater: -1/3 or y?
y
Let d = 35 - 25. Let a be (-1 - 0)/(15/d). Let b = 0.4 - 0.5. Which is bigger: a or b?
b
Let w be 164/448 - 34/119. Is w at least as big as 1?
False
Suppose -t = -5*v - 12, v = t + 15 - 7. Let g(d) = -d**2 - 11*d - 2. Let m be g(t). Let y be (-3)/(-7) + 12/m. Is 0 not equal to y?
False
Let u = 0.4 + -0.4. Let s be (-132)/2*(28/(-12) - -2). Is s at most u?
False
Let c be 4/(-8) - ((-107)/70 - -1). Is 1 > c?
True
Let a(f) = 3*f**2 - 14*f - 1. Let h be a(5). Suppose -2*n + 19 = -2*g + n, -h*g - 4*n + 12 = 0. Which is bigger: g or -4?
g
Suppose 4*i = -3*c + 29, -4 = 5*c + 5*i - 49. Suppose -53 = -5*y - 4*g, -8*g - 3 = -c*g. Which is smaller: y or 14?
y
Let w be (-247)/(-342)*16/(-6) - -2. Which is smaller: 0.1 or w?
w
Let s(f) = -8*f + 7. Let m be s(-11). Let y = -54 + m. Which is smaller: 42 or y?
y
Let p = 223 - 2005/9. Let j = -0.063 + -25.937. Let h = -26.1 - j. Which is bigger: p or h?
p
Let t = -106.72 + 106. Let r = t - -1.72. Which is smaller: r or -1?
-1
Let x be (4 - -5) + 4/1. Suppose 14 = o + x. Is 5/4 >= o?
True
Let t(a) = -a**3 - 3*a**2 + 3*a - 4. Let b be t(-4). Suppose 7*l - 7 = 14*l. Let o be 2 - (l - (b - 4)). Is o bigger than -5/8?
False
Let m be (-2 + 2)/(-1 + (-4)/2). Let t = -695/539 - -2/539. Is m not equal to t?
True
Suppose 16 = 2*b + 3*l, 0 = -2*b + 3*l + 22 + 18. Let p be ((-128)/48 + 7)*(0 + 3). Let r = p - b. Are 1/64 and r non-equal?
True
Let f = -38/69 + 28/23. Does 0.099 = f?
False
Let k(z) = -9 - z - 2 - 2 + 2*z. Let n be k(12). Let d be (1/n)/(11 + -10). Which is smaller: d or -0.01?
d
Suppose -h - t - 7 = 0, 2*h - 2*t + 16 + 18 = 0. Let m be h/(-15) - 28/10. Which is smaller: 10 or m?
m
Let v be 0*(-7 - -2)/(-15). Suppose -2*b - 4*m + 92 = v, 5*b - 2*m - 258 = 2*m. Is b greater than or equal to 2?
True
Let m = -1788 - -30397/17. Which is smaller: -8 or m?
-8
Let n = -354 + 666. Which is smaller: n or 313?
n
Let t = -298/143 + -200867/572. Let f = t - -351. Which is smaller: -1 or f?
f
Let f be 1*(-3)/3*-2. Suppose -3*a = -2*a - f. Let x be a/(-1)*55/40. Which is greater: 0 or x?
0
Suppose -15420 = -7*q + 9*q. Let f be (-3)/((-33)/(-2)) + q/(-44220). Is f smaller than -1?
False
Let b(x) be the second derivative of -x**3/2 + 15*x**2/2 + 9*x. Let k be b(2). Which is greater: k or 6?
k
Suppose -39 = -2*v + q, -3*v + 11*q + 71 = 7*q. Is 47/3 at most as big as v?
True
Let m be 15 + -20 - (-884)/192. Is -1 not equal to m?
True
Let u = 218 - 217. Suppose 4*l + 40 = -4. Which is smaller: l or u?
l
Let b = 174 + 111. Which is bigger: 569/2 or b?
b
Suppose 13*x = 4315 + 6709. Is 848 at most x?
True
Suppose 3*z = -2*y + 14, -2*y + 6*y = -4*z + 24. Suppose 2*q = -z*q + 12. Let c be 0/((1 - 3) + q). Is -7/6 equal to c?
False
Let n be (54/24)/(3/(-8)). Let d be ((-3)/(-45))/((-3)/n). Let q be 0/(-1*(-8)/32*-4). Is d at least as big as q?
True
Let r = -63 - -40. Let b be 6/(-9) + (-1)/3. Which is bigger: r or b?
b
Let r = 2954 + -2923. Which is bigger: r or -2/21?
r
Let o be 5/(2 + -1 + 0). Suppose i - o*i = -20. Is i less than 4?
False
Let l be (96/33)/1 + 53/583. Let g(s) = s**3 + 6*s**2 + 5*s + 5. Let d be g(-5). Which is smaller: d or l?
l
Suppose 2*l = -l - 27. Let f = 2 + 2. Let r(g) = -2*g**2 + 6*g. Let t be r(f). Is t at least l?
True
Let y be -26*(1 - (-6)/(-4)). Let i = -30 - -43. Does i = y?
True
Let x = -265 + 15371/58. Is x less than -3?
False
Let s be (-15)/63 + (-8)/(-12). Let a = 0.022 - 0.043. Let c = a - 0.029. Which is bigger: c or s?
s
Suppose -26 = -17*w + 93. Suppose -3*v + 190 = 4*i, -70 - 20 = -2*i + v. Let y be (-4)/6 - i/(-6). Is w less than or equal to y?
True
Let i = -0.088 - 0.002. Let c = 4 - 2. Let o be (-52)/44 - c/(-11). Is o less than i?
True
Let y be 1 + -63 + 18 + -20. Is y greater than -62?
False
Suppose 98*c = -2*y + 102*c - 18, 5*y = 5*c - 55. Are y and -16 equal?
False
Let b be 6/126*-3 - (-8)/7. Which is greater: -2/65 or b?
b
Suppose -364 = -47*m + 21*m. Let j(b) = b**2 - 2*b - 1. Let a be j(-3). Are a and m unequal?
False
Suppose -14*s - 32*s = -30682. Which is smaller: 666 or s?
666
Let b = -166.35 - -163. Let m = -1.65 + b. Let i = 74/5 - 528/35. Which is smaller: m or i?
m
Let l(b) = -b**2 + 2*b + 23. Suppose 0*n = 5*n, -15 = -3*v - 2*n. Let x = 5 - v. Let g be l(x). Do g and 23 have different values?
False
Let f be (((-312)/684)/(-13))/(1/3). Let i(b) = -b + 6. Let y be i(6). Let a = y - 1. Are a and f non-equal?
True
Let n = 3998/1159431 + 4/2821. Which is smaller: n or -1?
-1
Let a = -15 + 23. Suppose 5*i + a = i. Let p be i/(-11 - 2 - -1). Is 2/5 at least p?
True
Let p = -3 + 21. Let n = 14 - p. Let m = n + 4.2. Which is smaller: m or -0.2?
-0.2
Suppose 0 = -0*g + 2*g. Let o be 18 + -4 + (2 - g). Is o at most as big as 15?
False
Let p(o) = o**3 - 4*o**2 + 4*o + 1. Let q be p(3). Suppose h - 540 = -q*h. Let y be (9 + 1)*(-12)/h. Is 0 less than y?
False
Let h = 0 - 1. Let n = -188371/43 - -4381. Is n >= h?
True
Let q = 718 - 722.69. Let u = q + 0.29. Let z = u - 17.6. Which is bigger: z or 1?
1
Let r be (44/44)/((2 + 0)/1698). Is r smaller than 851?
True
Suppose 0 = -90*v + 25*v + 390. Is v less than 62/11?
False
Let p be 3 + (3388/(-833) - -1). Does p = 1?
False
Let i = 2.7 - -4.3. Let v = 22 - 6. Let y = 16 - v. Which is smaller: i or y?
y
Let g(b) be the first derivative of b**2/2 - 4*b - 7. Let m be g(8). Which is smaller: m or 1?
1
Let g(i) = -3*i + i**2 + 4*i - 6*i - i**3 + 4*i. Let r be g(1). Is 2/23 < r?
False
Suppose 0 = 5*s + 4*w + 6244, -2*w = -3*s - 7*w - 3736. Does -1252 = s?
True
Let g = 205 - 396. Which is smaller: 2/5 or g?
g
Let z = -13558/762609 + 2/3273. Which is bigger: z or 0?
0
Let k = 5.995 + 0.005. Is -10 less than k?
True
Let g = 306 + -702. Is 0 != g?
True
Let b = -0.249 + -93.751. Which is bigger: b or 0.3?
0.3
Let h = -186/91 - -21/13. Which is bigger: h or 2/657?
2/657
Let y = -16 - -6. Let v(s) = -2*s - 26 - 1 - 20. Let k be v(-19). Which is bigger: k or y?
k
Let f be (414/15)/((-1)/2). Let w = f + 55. Are w and -1 equal?
False
Let d be (-1000)/12*(-240)/(-100). Which is smaller: -4 or d?
d
Let p(n) = n + 30. Let m be p(-14). Let f be 3/((-4)/m - -1). Is 22/7 at most f?
True
Let q = -13 + 3. Let a be -3 + (1/1 - 0). Let r = q + a. Which is bigger: -13 or r?
r
Suppose 5*f = 9*f + 24, -5*z - f = 196. Suppose -5*p + 19 = 5*b + 194, -b + p = 43. Is z at most as big as b?
False
Let a = 9 - 5. Suppose 0 = a*y + 8 - 20. Suppose 4 = -p + 2*o, y - 5 = -o. Which is greater: p or 4?
4
Let a(h) = h**3 + 3*h**2 + 6. Let f(n) = -n**3 - 4*n**2 - 7. Let w(c) = 7*a(c) + 6*f(c). Let g be w(2). Is -5 at most g?
True
Let o be (3/(-7))/(-10 + 51/6). Which is smaller: -2/45 or o?
-2/45
Let q(u) = -3*u**2 + 2*u - 1. Let j be q(1). Let d = -62 + 30. Let t be ((-7)/(-154))/(2/d). Is t at least j?
True
Let z = 27 + -23. Suppose -z*o = -11 - 1. Which is smaller: o or 40/9?
o
Suppose 5*o - 9*o = 4*z + 148, -5*z = -3*o - 79. Are -32 and o nonequal?
True
Let s(v) = v**3 + 30*v**2 - 44*v - 26. Let k be s(-32). Which is greater: -665 or k?
-665
Let u be 0*(-1)/2 - 0. Let o be 1356/2061 + -2*11/33. Which is bigger: o or u?
u
Let j = -0.47 + 0.67. Let v = -8.3 + 6.5. Which is greater: v or j?
j
Suppose -2*g - 3*g = -5, 0 = 5*v - g + 16. Let k be -2*((-2)/4 + v). Which is smaller: k or 6?
6
Let m = 109 - 91. Suppose 0 = 2*f - 4*s - m, -3*f - 11 = 2*f + 4*s. Which is smaller: 3/2 or f?
f
Suppose 755 = 3*b + 5*