1*3. Are t and -18/7 non-equal?
True
Let t = -1448 - -1424. Is t greater than -16?
False
Let t be (216/(-16))/9*(-1)/10. Is 0 smaller than t?
True
Let z = 12 + 6. Let v be ((-37)/3)/(4/z*3). Is -20 at most v?
True
Let t(z) = -2*z**2 + 22*z + 7. Let w be t(11). Suppose -5*o - w = 13. Is o smaller than 7?
True
Suppose 10 = 5*h + 25. Let w be (-7)/(-35)*(-41)/h. Let m = -7/3 + w. Which is smaller: -4/9 or m?
-4/9
Let b be (-16)/(-20)*10/4. Suppose -2*t - 4*c + 146 = 0, b*c = -2*t - 2*t + 310. Suppose 4*p + t + 61 = 0. Which is smaller: -36 or p?
-36
Let b = -2.8 + 3.4. Let z = 21.6 - b. Let w = z - 20. Which is smaller: w or -3?
-3
Let n(p) = -5*p + 4*p**2 + 4*p + 12 - 5*p**2 - 34. Let g be n(0). Let w = g + 25. Is 3/7 >= w?
False
Suppose -h - 38 = 3*x, 0*x + 2*h + 54 = -4*x. Let f(s) = s + 8. Let a be f(x). Let r be (4/(-9))/((-34)/a). Is r equal to -1?
False
Let f = -110 + 111. Which is bigger: 5/2 or f?
5/2
Let v = -1299 + 1299. Which is smaller: v or -31/25?
-31/25
Let y = 45 + -17. Let h = -16 + y. Which is smaller: h or -2/7?
-2/7
Let y be ((-4)/(-2) + 5)/((-156)/(-624)). Are 26 and y non-equal?
True
Let d = 22 + -14. Let l(u) = -u**2 + 9*u + 10. Let s be l(10). Suppose d*a - 4*a = s. Which is smaller: -2/21 or a?
-2/21
Suppose 12*x = -29 + 5. Let n be 1*(6/x - (-8)/1). Which is greater: n or -3?
n
Let x = -0.24 - 0.76. Which is smaller: -3/170 or x?
x
Let p = -2 - 1. Let i = 29.59 - 30. Let l = i - 0.59. Do l and p have the same value?
False
Let v be ((-14)/98)/(20/(-7)). Let m = -11/20 + v. Which is bigger: m or -48?
m
Suppose 2*d + 3*i - 223 + 13 = 0, 2*d + 4*i = 210. Is d greater than 105?
False
Suppose 0 = -5*s - 2*g + 118, -2*s = -g + 4*g - 56. Let u = -105 + 126. Which is bigger: s or u?
s
Let c(o) = o**2 + 16*o - 20. Let d be c(-17). Suppose a + 4*m = 13, -2*m - 39 = -3*a - 0*m. Let u = a + -13. Which is bigger: u or d?
u
Let h be 400/(12/3) + (-5)/5. Is h at most as big as 101?
True
Let s be (-11)/(15 - 4)*(-2)/(-109). Which is smaller: 5/3 or s?
s
Let t = -12.8 - -14. Let l = t + 0.8. Let v = -2/327 - 973/1308. Are l and v unequal?
True
Suppose 2*k + 3*k = h + 315, -k + 3*h + 63 = 0. Let p be 42/k + 8/90*-8. Is -1 at least p?
False
Suppose -3*c = -4*c. Suppose c = 3*x + 4*j - 2, 0 = -x - x + j - 17. Is x smaller than -7?
False
Let q = -15.62 + 16.62. Let v = -422 - -157. Let h = v + 2917/11. Which is greater: q or h?
q
Suppose 2*w - 5*w = 0. Let a(q) = -10 + w*q + q + 8. Let b be a(3). Is b bigger than 1/16?
True
Let m = 361 + -263. Is m <= 101?
True
Let s = 0.15 + 5.85. Let o = s + -7. Let h = -22 + 21.98. Is o >= h?
False
Let y = 19 - 15. Let p be (2 + -18)/y + -353. Let z be 2/(-6) - 35/p. Which is greater: z or 0?
0
Let k = -136449/35 + 3899. Which is smaller: k or -1?
-1
Let p = -2/747 + -484/5229. Suppose 4*i = -4*l - 0*l + 36, 0 = 5*l + 4*i - 41. Suppose -l*b + 5*a - 20 = 0, -b + 0*b + 4 = a. Is p <= b?
True
Let n(w) = -23*w**2 + 2*w - 2. Let i be n(2). Let s = 3581 + -3670. Is s equal to i?
False
Let l(b) = -7*b**3 - 4*b**2 - 4*b - 79. Let y(w) = 11*w**3 + 6*w**2 + 6*w + 119. Let g(o) = 8*l(o) + 5*y(o). Let m be g(0). Which is bigger: -35 or m?
-35
Let a = -353113 - -6354439/18. Let m = a + 179/2. Is 0 <= m?
True
Let g be (-150)/(-20)*(0 - 2). Which is bigger: -14 or g?
-14
Let z = 133 + -133.2. Which is bigger: 0.176 or z?
0.176
Suppose 2*l - 3*l = 2*h - 7, 2*h = l - 3. Let u be (-1 + -5)*(-4)/(-12). Let f be u/18*2 - (-728)/4329. Is h != f?
True
Suppose -6*a = -3*x - 2*a + 36, -x + 3*a + 12 = 0. Which is bigger: x or 11?
x
Let d = 29 - 33. Let x be (28/(-105))/(d/(-10)). Is x greater than -0.9?
True
Let w(x) = x**2 - 2*x + 1. Suppose 12 = -0*c + c + 4*d, -c = -3*d + 9. Let m be w(c). Is -2/21 at most as big as m?
True
Let p(u) = u**2 - u - 8. Let k be p(4). Suppose y + 175 = -k*y. Is y smaller than -36?
False
Let t be (-119)/21*(2 - 5). Are 378/23 and t equal?
False
Let m(a) = -8*a + 73*a**2 - 35*a**2 + 7 - 36*a**2. Let y be m(3). Let j = -191/7 + 27. Which is greater: y or j?
y
Let m be ((-22)/84 - -1) + (-224)/336. Suppose -4*t + 3 = -9. Suppose x + t*g = -5, -g - 1 = 4*x - 3. Is m smaller than x?
True
Let u = 6 - 1. Let b be 12/u - 10/25. Suppose -2*t + 22 = -6*j + 2*j, -5*t + b*j = -31. Which is greater: t or 6?
6
Let k = 102 + -103. Let l be 4/(16/(-6))*2. Is l smaller than k?
True
Suppose 0 = 5*p + 4*k + 49, -6*k - 69 = 5*p - 7*k. Suppose 0 = -2*q - f - 30, -f - 22 = 2*q + 2*f. Do p and q have the same value?
False
Let d = -551 - -568. Which is greater: 14 or d?
d
Let h be 6/4*(-2)/3. Let o(q) = -11*q**3 + q**2. Let x be o(h). Suppose 2*f + x = -f. Is 0.1 at most f?
False
Let l = 71 - 113. Let r = -127/3 - l. Let p = -12/11 + 13/22. Which is greater: r or p?
r
Let b(j) be the second derivative of j**4/6 - 5*j**3/6 - 6*j. Let q be b(4). Let t be ((-16)/q + 1)/1. Which is smaller: t or -2?
-2
Let i = -70.57 + 70. Let n = i - 0.53. Which is smaller: -2/7 or n?
n
Suppose z - 13 = 5. Let r = -11 + z. Let q be ((-2)/(-4))/((-93)/48 - -2). Do q and r have the same value?
False
Suppose 4*r - 9*r = -195. Let v = 33 - r. Which is bigger: v or -5?
-5
Let d = -3 + 3.5. Let v = -0.03 - -0.63. Let c = d - v. Is 2/3 less than or equal to c?
False
Let h be (-5)/(-15) - 82/228. Let b = -1613 + 1613. Are h and b unequal?
True
Let h = 1037 + -923. Is 116 >= h?
True
Suppose j = 5*j + 12, 0 = -f + 4*j + 21. Let b = 12 - f. Suppose -b*c = -3*a + 2 - 5, -c - 8 = 2*a. Which is smaller: a or -5/2?
a
Let s(k) = -k**3 - 3*k**2 + 3*k - 2. Let g(b) = b**3 + 9*b**2 + b + 5. Let m be g(-9). Let y be s(m). Suppose y*w + w + 6 = 0. Which is smaller: w or -5/6?
w
Let t be (-3028392)/12*2/183. Let q = 2758 + t. Let w = q - -164/427. Which is smaller: -2 or w?
-2
Let j = -13 - -23. Let v be (-75)/6*(j + 0/(-1)). Is v less than or equal to -124?
True
Let m be (100/(-6))/(1/(-3)). Suppose 5*x - m = 5*w, 4*w + 25 = 2*x + w. Suppose x*d + 26 + 14 = 0. Is 1 > d?
True
Let p be ((-3)/(3 - 0))/((-2)/10). Let w = -22 + p. Which is bigger: w or 2?
2
Let g = -683.93 + 684. Is g < -0.1?
False
Let v = 14 + -10. Suppose -j = -z, 2*j + 4*z + z = 7. Is v greater than j?
True
Let q = 24298 - 1239292/51. Which is smaller: q or -1?
q
Let p(q) = -q**3 + 11*q**2 - 11*q + 13. Let g be p(9). Let i = -76 + g. Is 1/94 bigger than i?
True
Let m = 2 + -16. Let n = -23 + 36. Let h = n + m. Which is greater: h or 1?
1
Suppose -3*b - b - 76 = 0. Let x = 21 + b. Let l be (-4 + 6)*(x + -1). Is 2 at most as big as l?
True
Let g be (176/28)/((-2)/(-28)). Is 88 greater than or equal to g?
True
Suppose 2*k - 2*l - 3*l + 12 = 0, 5*k = -3*l - 30. Let b(h) = -3*h - 14. Let q be b(k). Are q and 0.1 nonequal?
True
Suppose 3*s - 41 = -2*s + 3*q, -4*q = -2*s + 8. Suppose -26*x - 208 = -52*x. Which is greater: s or x?
s
Suppose 127*x - 21960 = 109*x. Which is bigger: x or 0?
x
Let q = -186.1 - -218. Let y = q + -32. Let h = -81/5 - -16. Which is bigger: h or y?
y
Let k be ((420/(-16))/5)/(3/8). Which is smaller: k or 1.9?
k
Let q = 0.025 + -0.082. Let k = 1.4 + -1.3. Is k less than or equal to q?
False
Suppose -3*i + 4 = -8. Suppose -2*q + 16 = 2*z - 8, 4*q = 5*z - 60. Suppose 2 = p - 2, 0 = -4*a + p - z. Which is greater: i or a?
i
Let i = -1235 + 1107. Which is smaller: -131 or i?
-131
Let w be (-10)/25 - (-2)/5. Let r be ((-6)/(-7))/((-4)/28). Let o be w + r + (-1 - -3). Which is smaller: o or -3?
o
Suppose 2*s = 5*s + 270. Suppose 4*x = 3*o - 338, -198*o + 202*o = -4*x - 380. Is x > s?
True
Suppose 0 = -0*m - m + 5. Let g(x) = -x + 5. Let l be g(-16). Let t be l + -14 - (1 - -1). Is m at least t?
True
Let a be 414/(-10) - (5 + (-27)/5). Which is smaller: -43 or a?
-43
Let h(y) = -y + 3. Let t be h(5). Let z(b) = -b**3 + 14*b**2 - 15*b + 27. Let d be z(13). Which is bigger: t or d?
d
Let c be (-2)/(-7) - (323/(-70) - 1). Let r = 11/2 - c. Is r at most 0.05?
True
Let k(g) = -g + 17. Let u be k(3). Suppose -j = 3*h + u, 2*j - 12 = 3*h - h. Is -0.3 at most j?
True
Suppose 5*r + 3*f - 55 = 0, 10*f - 5*f - 33 = -r. Let m be ((-2)/r)/(7/(-28)). Suppose g = b, 4 + m = 2*g + 3*b. Is 2/7 at most as big as g?
True
Suppose -136*w = -138*w - 12. Which is bigger: 6 or w?
6
Let n be ((0 - 0) + -1)*-1. Let j be (-27)/(-2)*28/(-6). Let q be (n - 4) + j/(-18). Which is bigger: 1 or q?
1
Let i(u) = -2*u