-24)/132. Does 270 = h?
True
Suppose 0 = 3*y + 6*j - 2*j - 237, -2*y + 5*j + 135 = 0. Let m be 32/10*y/(-6). Do m and -39 have different values?
True
Let s be (2 + -63500688)*(-24)/(-280). Let u = s - -5442176. Let d = -740 - u. Is 1 greater than or equal to d?
True
Suppose 0 = -4*t + 2*o - 44, 0 = 4*t - 5*t + 5*o - 20. Let r = -11 - t. Which is bigger: 31 or r?
31
Let k = -1328 - -6538/5. Which is bigger: -21 or k?
k
Suppose 3*v = 5*v + 4. Let h be (-1)/((-1)/(v/(-15))). Let y = -825 - -823. Which is smaller: y or h?
y
Let z = -117 - -107.3. Let p = 0.06 + -10.06. Let f = z - p. Is -2 at least f?
False
Suppose 2*m - 3*g + 19 = 0, 0 = m + 4*m - 5*g + 35. Let l be (-5)/m*((-155)/(-25) + -6). Do -0.01 and l have the same value?
False
Let l(w) = w**3 - 7*w**2 + 6*w - 2. Suppose 4*x - 5 = -17, -z + 3 = x. Let v be l(z). Let u be (-2 + (v - -17))*-1. Is u bigger than -14?
True
Let t = 7 + -7.19. Let n = -0.058 + -0.032. Let b = t - n. Is b equal to 1?
False
Let k = 18 + -14. Let g = 9 - k. Suppose -b = -g*b. Is b != 0?
False
Let w be ((-321)/(-774))/(1/3). Let g be (1071/(-258))/(-17) - 2/8. Let d = g - w. Is -2 > d?
False
Let t(y) = y**3 - 23*y**2 + 55*y - 4. Let h be t(20). Which is smaller: h or -4?
h
Let b = -80046277/1909 + 41931. Which is bigger: b or 1?
1
Suppose -11*t = -1567 - 237. Let k be 1/(5 + (-816)/t). Which is smaller: k or 43?
k
Suppose -4*f + 0*t + 25 = -5*t, f + 3*t + 15 = 0. Suppose 1 = -b - m - f, 3*b + 2*m + 4 = 0. Let n be 0 + -1 + (-2)/(-6). Is n < b?
False
Suppose -5*q = -15 - 35. Suppose -q*j = -14*j. Suppose -3*c + j*c - 22 = 2*t, 2*t + 10 = 3*c. Is -9 smaller than t?
True
Let x be (2/295)/((-2)/(-10)). Let i(j) = -81*j**2 - 322*j + 8. Let y be i(-4). Which is smaller: x or y?
y
Let x = 3.428 + 0.392. Let b = x + 0.18. Is b < -4?
False
Let f(z) = -z - 24. Let b be f(-8). Is b smaller than -6?
True
Suppose 866 + 80 = -22*k. Which is bigger: k or -47?
k
Let t = -0.044 - 53.956. Which is smaller: t or 4?
t
Let b be ((-2)/(-3))/(1/3). Let g be b/(-1) + 16/10. Let w be (-6)/(-9)*(-9)/(-6). Is g < w?
True
Let r be -1*((-2)/(-2) + (3 - 5)). Which is bigger: r or -2/963?
r
Let x = 1.4 - 1.54. Let g = -0.08 - x. Let w = 0.16 - g. Which is smaller: w or -2/7?
-2/7
Suppose 0 = -4*z - 6 + 102. Let a = z + -22. Which is bigger: 6/5 or a?
a
Let g be (1/2)/((-4)/(-40)). Suppose g*w + 23 = -2*r + 222, 3*w + 5*r - 108 = 0. Suppose w - 13 = 4*h. Is h <= 7?
True
Suppose 5*i - 2*s + 7583 = 0, 2*s - 4553 = -24*i + 27*i. Is i < -1515?
False
Let f = -3271/152 - -3/152. Let x be ((-1463)/44 - -11) + (-3)/(-12). Is f < x?
False
Let b(w) be the second derivative of -w**4/12 - 5*w**3/3 - w**2 + 7*w. Let y be b(-10). Do y and -3 have the same value?
False
Let x(d) = -d**3 + 30*d**2 - 116*d - 32. Let o be x(26). Which is greater: o or -345?
o
Suppose 0 = -3*y + 6 - 0. Which is smaller: y or 28/25?
28/25
Let c be 1465/936 + (-10)/45. Let h = -1/104 + c. Let i = 8 - 7. Is h != i?
True
Let y = -0.1329 + -364.8671. Is y smaller than -1/3?
True
Let f(b) = -b**3 + 2*b**2 + 3*b + 144. Let u be f(0). Suppose 4*g - 2*j = -j + u, -3*j = 0. Is g less than 36?
False
Let x(h) = h**2 - 12*h + 16. Let p be x(11). Suppose 0 = p*n - 6*n - 67. Is n >= -67?
True
Suppose 4*z - 3*v = -12, 2*v - 4*v + 8 = -2*z. Suppose 22*x - 21*x + 18 = z. Let h = -9 - x. Which is bigger: h or 8?
h
Let y(f) = f**2 - 6*f + 6. Let g be y(3). Let s be 1 + g - (-1 - -761). Let w = s - -48008/63. Which is smaller: 1 or w?
w
Let g = 7/89 + 5/1068. Let c(a) = a**2 - 8*a + 6. Let u be c(7). Which is smaller: g or u?
u
Let v(q) = -q**2 - 11*q + 18. Suppose 4*h = -18 - 30. Let p be v(h). Let k(t) = t - 6. Let z be k(p). Is z equal to 1/4?
False
Let y = 14 - 10. Suppose 8 = w + w, -y*w = 3*i + 65. Which is bigger: i or 0?
0
Suppose 0 = a - 3*a - 5*a. Let g be 4/14 - (a + 3 + -3). Which is smaller: 0.2 or g?
0.2
Suppose -3*w - 8 = -29. Suppose h + 42 = w*h. Is h < 5?
False
Let i be (-97)/(-364) - 2/8. Let j = i - 1847/1638. Is -1 equal to j?
False
Let r = 2592/6515 + 278339013/592865. Let p = 3987/7 - r. Let w = -100 + p. Which is smaller: w or 0?
w
Suppose -233*y = -264*y - 93. Is -17 less than or equal to y?
True
Let l = -59 + 53. Let z be 0 + l/(-4) + (-81)/18. Which is smaller: -17/8 or z?
z
Let a = 19330 - 19369.085. Let d = a + 0.085. Let v = 38 + d. Which is bigger: v or 0.09?
0.09
Suppose -4*n = i + 114, 0 = i - 3*i + 3*n - 261. Let g be 3/(-9) + (-78)/i. Are g and -1/5 non-equal?
True
Let d(f) be the first derivative of -f**4/4 + f**3 + f**2 + 6*f + 12. Let y be d(3). Is 13 greater than or equal to y?
True
Suppose 5*m + 3*i - 240 + 3 = 0, 0 = -5*m + 4*i + 209. Let q be (85/m + -2)*3. Which is smaller: -1 or q?
-1
Suppose 5*w - 110 = -0*w. Suppose 5*j + 13 = 4*i, 4*i = -0*i - 2*j - w. Does i = -12/7?
False
Let u = 391 - 521. Is u not equal to -132?
True
Let c = 1596 - 1599. Are c and 3.28 non-equal?
True
Let g(d) = d**2 + 13*d + 14. Let y be g(-10). Let v = y + 16. Let a be ((-14)/(-35))/(18/5). Which is bigger: v or a?
a
Let y = 58 + -48.2. Let i = -0.5 - -10.5. Let q = i - y. Is q equal to -0.1?
False
Let o(y) = -34*y - 82. Let h be o(-3). Is 13 < h?
True
Let y be 2662/660 - (-3)/18. Suppose -w = -6 + 3. Which is greater: w or y?
y
Suppose -4*u = -2*c - 8, 20 = 2*u - 7*c + 2*c. Let i be 3*(-1 - 1)/(2/103). Let p = i - -4015/13. Is p at most as big as u?
True
Let a = 1/8553 + -17825/6149607. Is -1 != a?
True
Suppose -4*z - q = 18, -z = -3*q - 8 + 6. Which is smaller: -11/4 or z?
z
Let b be ((-2)/2)/(0 - -1). Let p = -4 + 4. Let x = p + -0.1. Which is bigger: b or x?
x
Let g = 45 - 45.8. Is g less than or equal to 0.019?
True
Let o = -8.18 + -0.82. Is o equal to 10?
False
Let c(d) = -d - 4. Let k be c(-2). Let h = -62 - -67. Let g be h + -6 + 2*1/4. Is g greater than or equal to k?
True
Let x = 64.5 + -63.5. Which is bigger: x or 0.326?
x
Let i = -12 - -47/4. Let m = -14.6 - -21.7. Let b = m - 7. Is b not equal to i?
True
Let t be (-20)/14*(322/28 - 15). Let n be -4*(-2)/8*-5. Let l = 7 + n. Do l and t have the same value?
False
Let j(f) = -f**3 - 9*f**2 - 8*f + 2. Let w be j(-8). Suppose -h = w*h. Is 4/15 less than h?
False
Suppose -570 = 4*j - 5*u + 8, 4*j + 574 = 3*u. Let p = j + 996/7. Is p greater than or equal to -0.03?
True
Suppose 29 = y - 5*l, y + l + 3*l = 2. Let h(t) = t**3 - t**2 + 8*t - 6. Let k be h(2). Is k at least y?
True
Let t = -2375 + 68873/29. Suppose -2*i + 5 = 3*i. Is t not equal to i?
True
Suppose 284 = -3*i + 4*s - 451, 735 = -3*i + 3*s. Is -244 greater than or equal to i?
True
Let p be (-38)/6 - -6 - (-722)/2202. Let u = -11 - -12. Which is greater: p or u?
u
Let d be (14/3717)/(2/6). Is d at least as big as -1?
True
Suppose -5*m = 3*p - 28, 4*m - 16 - 6 = -2*p. Do p and -2/31 have the same value?
False
Let x be ((-4)/(-5))/(2/15). Let l be (1/x)/((-2)/(-12)). Let f be (l - (-3 + 0))*-1. Is -1/4 smaller than f?
False
Let j = 7.8 + -7.793. Let y = -26.007 + j. Is y at least as big as 1?
False
Let z = -245 - -246. Which is smaller: 2/213 or z?
2/213
Let h be (1/(-1))/(-1) + 19772/(-36). Let z = h + 550. Which is smaller: 3 or z?
z
Let a = 0 + 1. Let b = -133.208 - -129.3. Let s = -0.092 + b. Which is greater: a or s?
a
Let v = 605 - 606.96. Which is smaller: 1 or v?
v
Let q be (2 - 3)*9/9. Let j be q/(3 - (5 + -3)). Is j equal to -12/19?
False
Suppose -3*o = 2*o - 160. Suppose 0 = 11*c + 10 - o. Which is greater: -5 or c?
c
Suppose 35 = -35*f + 245. Suppose 35 = 4*k - 61. Let b be 1/(-4) - (-174)/k. Is b >= f?
True
Let v be (-1 - -1) + ((-560)/(-32) - 18). Is v != -74/9?
True
Let d = 838 + -1118. Does d = -279?
False
Suppose 442 = -4*r + 338. Is r < -181/7?
True
Suppose -4 = 2*q - 6*q. Let c be q + (1*-4)/4. Suppose 0 = -c*g - 3*g. Which is bigger: 4/9 or g?
4/9
Let o(v) = -2*v**2 - 40*v - 1. Let h be o(-20). Are 1/46 and h unequal?
True
Let k be (-14)/(-18)*(-2)/(-7). Let o = -0.002 - -0.096. Let a = -0.006 - o. Which is smaller: a or k?
a
Let x = 1115/3 + -366. Suppose 4*j = 4*q + 32, -4*j - q + 3*q + 28 = 0. Is j >= x?
True
Let v = -649 + 464. Which is smaller: v or -186?
-186
Let w be (-98)/5 + (-30)/(-165)*11. Which is smaller: -18 or w?
-18
Let b = 0.2592 - 24.9592. Which is smaller: 0.1 or b?
b
Suppose -4*m - 34 + 30 = 0. Is m at most 2/181?
True
Let z(w) 