 <= t?
False
Suppose -120*b - 3 = -121*b. Let h(i) = 8*i - 29. Let d(a) = -15*a + 57. Let t(k) = b*d(k) + 5*h(k). Let y be t(5). Which is smaller: y or -7?
-7
Suppose -7*b - 296 = -79. Let y be (0 + -5)*(-3 - b/10). Suppose 3*g + 5*t - 115 = 17, 0 = -g - 3*t + 48. Is g < y?
False
Suppose 5*x - 4*n + 15 = 0, 3*x - 19 = -2*n - 6. Let v = 2796/65 - 206839/4810. Which is bigger: x or v?
x
Let y(d) = 4*d**2 - 167*d - 581. Let o be y(45). Which is bigger: o or -159?
o
Let u = -203977/4 - -58208. Which is smaller: u or 7213?
7213
Let b = -15.157 + -0.243. Let r = b + 15.9. Which is smaller: r or 1/10?
1/10
Let x(a) = 19*a**2 + 70*a + 3. Let f be x(-13). Is f at least 2304?
True
Let x = -730 - -754. Suppose x*z + 4225 = 11*z. Which is smaller: z or -326?
-326
Let c = -53.953 - -54. Let g = c - -46.953. Let k = g - 77. Is k smaller than -1/2?
True
Let c be ((-65)/10)/(2/(-12)). Let u = c + -29. Let p be 40/(-32)*3/u. Is 1 <= p?
False
Let l = -167949/2105 - 6/421. Is -79 > l?
True
Let l be 3*1/(7*3) - 161875/1225. Which is greater: -126 or l?
-126
Let d be 6056/96 + 3/12. Let t(q) = -18*q + 225. Let l be t(9). Is l at least as big as d?
False
Let n be 74/1184 - (0 + -2)*102/(-192). Is 3/9214 less than n?
False
Let c be ((-4960)/(-56) + 2)/(20/(-70)). Which is greater: -312 or c?
-312
Let h(b) = -5*b**2 - 35*b - 30. Let y be h(-1). Which is smaller: y or 1/4743?
y
Suppose -4 = -z - k, 7*z - 6*z - 4*k = 14. Let n = -4 + 10. Suppose -54 = -n*g - z. Is g greater than 9?
False
Let d = 4 + -3. Let g be 292/(-365)*1*-5. Suppose 20 + g = 12*w. Is d at most w?
True
Let j be (70/(-2114))/((-50)/20). Which is smaller: j or 0.1?
j
Let t = 0.395 - -502.605. Let b = 503 - t. Is b < -464?
False
Let v = -22.998 - -23. Let b = v - 0.302. Let m = 3.7 - b. Is 1 greater than or equal to m?
False
Let s = 121.3 + -22.3. Let u = s - 123. Which is bigger: u or 2?
2
Let k = -9609 - -9049. Is k greater than -560?
False
Suppose 3*k - 69451 = -5*v, -55565 = -4*v + 330*k - 333*k. Is v at most 13887?
True
Let p(q) = 263*q + 11. Let y be p(-1). Let n = -397 - y. Is n < -147?
False
Let u be ((-11)/(-165))/(4/(-24)). Let f = 8 - 5. Which is smaller: u or f?
u
Suppose 5*w - 36 = -4*o, 2*w + o - 875 = -863. Are -49 and w unequal?
True
Let a = -9716 + 10407. Do 696 and a have different values?
True
Let p = 7651 + -7650. Let x(w) = w**3 + 7*w**2 + 3*w - 1. Let s be x(-6). Which is bigger: s or p?
s
Let n be 18/12*-5*(-57)/(-18). Let p = 483/20 + n. Let b = -0.03 - 0.47. Which is bigger: b or p?
p
Suppose -5*k + 365 = 2*u - 401, 2*u - 774 = -3*k. Let v be 5/((-10)/6) - u/(-6). Is 64 less than v?
False
Let u be (-70)/22 + (-9)/(-3). Let q = -262 + 265.84. Let w = q + -3.89. Which is bigger: w or u?
w
Let g(n) = -379*n - 2273. Let m be g(-6). Does m = -78/25?
False
Let n = 4.2617 - 0.2617. Is n > 337?
False
Let y be 15 + -2 - 13 - (-1423)/3. Is y < 474?
False
Let o = -35 + 58. Suppose -18*w = -o*w - 5. Let g be w*(-2)/(-3 - -5). Which is bigger: 1/27 or g?
g
Let z = 105 - 23. Suppose o - 116 = -2*k, -24*k + 23*k = 3*o - 58. Let w = z - k. Is 23 != w?
True
Suppose 9*w - 42 = -5*w. Suppose -5 = o + 3*g - 2, w*g - 12 = 4*o. Let l(y) = -24*y + 19. Let t be l(o). Is -1/3 less than t?
True
Let y = -53/16 + 3541/1040. Let w = -886676/24765 + 3350/127. Let r = w + y. Is -8 at least as big as r?
True
Let a(w) = 4*w + 31. Let s be a(-7). Let i be 2 - s - (-4)/4. Let o = 7807/57 + -137. Which is smaller: o or i?
o
Let v(m) = 66*m + 2870. Let t be v(-33). Which is greater: t or 694?
694
Let o be 5 + 2684/(-60) + 2/5. Let u = o - -1121/15. Let g = u + -27091/765. Is g != -1?
True
Let v be 196/(-1080) + 2/10. Suppose 6*l - 1564 = -1558. Which is bigger: l or v?
l
Let x(l) = -31*l + 124. Let p be x(12). Let o = p - -275. Which is smaller: o or 31?
o
Let f = 8738 + -8659. Which is greater: 185 or f?
185
Let f = 0.179 - 140.179. Let w = f - -140.4. Is w < 1.9?
True
Let c = -114178/19 + 6009. Is c < -1/97?
True
Let u(l) = -2101*l + 4209. Let o be u(2). Are o and -162 equal?
False
Suppose 0 = -4*f + 9*f. Let q be (0 - f) + -2 + (1 - 108). Let a = q + 127. Which is smaller: 20 or a?
a
Let f = -16315 + 16316. Which is smaller: f or -1/6399?
-1/6399
Suppose 0 = d - 5*d - 72. Suppose 3*h - 4*k + 314 = -0*k, 10 = 5*k. Let o be 1/((-6)/h)*-1. Do d and o have the same value?
False
Let q = 0.1956 - 1.1956. Which is smaller: -104.8 or q?
-104.8
Let z = 0.0399 - 104.7399. Is 1/2 at most as big as z?
False
Let j = -480 - -177. Let l = -302.96 - j. Which is smaller: l or 29?
l
Let x = -64 - -116. Let p be x/(-5) - (-15)/(-25). Let y(u) = 2*u + 15. Let s be y(-13). Is s greater than or equal to p?
True
Let i = 28.52 - 28.32. Is i not equal to -2.69?
True
Let g = -0.0118 - -2.0418. Let q = 3.03 - g. Which is bigger: q or -0.04?
q
Let q = -45 - -48. Let b = q + 1. Suppose x - b*r = -12, -x + 0*x - 3*r = -9. Which is greater: -8/15 or x?
x
Let m be 8/13 + (-6)/3. Let r(u) = 41*u - 943. Let z be r(23). Which is smaller: z or m?
m
Let x = -28 + 28. Suppose -6*h - 136 + 4 = x. Let y be (-5 - h/4)*110. Is y != 56?
True
Let v(b) = -2*b**2 - 8*b + 16. Let z be v(-8). Let q be (9/(-28))/((-18)/z). Which is bigger: 0.07 or q?
0.07
Suppose 0 = 34*y - 26*y - 48. Let l be 4 + y/(54/(-33)). Is l > 12/43?
True
Let i = 1187 - 1187. Is i != -4/1177?
True
Let t(a) = -3*a - 13. Suppose 0 + 5 = -l. Let z be t(l). Let q be (230/11)/(-5) - z/(-11). Which is greater: q or 0.7?
0.7
Suppose -5*x - 61 = 3*l + l, -l = -x - 5. Suppose 18*a + 4 = 22*a. Let v be (4 + -3)/a + -11. Is v >= x?
False
Let d(q) = -5*q**3 - 5*q**2 + 4*q - 1. Let u(k) = k**3 - k + 1. Let t(g) = d(g) + 4*u(g). Let b be t(-5). Suppose 0 = -c - 0*c. Which is greater: b or c?
b
Let p be 0 + 1 + (-36)/18. Let n = 1735 - 258513/149. Which is bigger: n or p?
n
Let f = -6965279/23 - -302777. Is f at least as big as -60?
False
Let v = 528 + -478. Are v and 4 unequal?
True
Let j = -89588 - -89588. Let n be 1/2 - 17/36. Is n at most as big as j?
False
Let i = -52 - -49. Let v be i/24 + (-356)/(-32). Suppose -166*n = -165*n + v. Which is greater: -10 or n?
-10
Let o = 0.089 + -1794.089. Let r = o - -1883.9. Let c = r + -90. Are c and 0.023 equal?
False
Suppose -1878 = 4054*i - 4060*i. Are 290 and i unequal?
True
Suppose 282*v - 306*v = 168. Let g(j) = 2*j**2 + 10*j + 4. Let z(h) = 5*h**2 + 29*h + 11. Let b(i) = 8*g(i) - 3*z(i). Let p be b(6). Is p < v?
False
Let x be -27*((-35)/10*6/14)/(-1101). Is x less than 1?
True
Suppose -4*l - 2*d + 1 = d, -30 = -5*l + 2*d. Let p(c) = -c + 2. Let j be p(-2). Suppose -l*m - m + 10 = 0, 0 = 5*b + j*m - 8. Are b and 2 equal?
False
Let x be ((-15)/(-1))/((-1 - 2)/(-3)). Let u be ((-9)/x)/(6/(-30)). Suppose -24*t + u = -21*t. Which is greater: 4/7 or t?
t
Suppose -30*g = 17 + 13. Let w = 1161/2 - 84745/146. Which is smaller: g or w?
g
Let b(q) = -2*q + 4. Let o be b(5). Let w = 432 - 412. Suppose j = 2*g - 12, -5*j + 3*j + 2*g - w = 0. Which is greater: o or j?
o
Suppose -3*f = -23 + 14. Suppose 3*v = -f*y - 30 - 3, -4*y + 4*v - 12 = 0. Is -5 at least y?
True
Let p(d) be the second derivative of d**5/20 + d**4/3 - d**3/2 - 3*d**2/2 + 47*d. Let z be p(-2). Suppose -z*s = -10*s. Is -5/4 less than s?
True
Let h = -781 - -775.43. Let f = -5.37 - h. Which is smaller: f or -51?
-51
Let n = -29/20 + 221/180. Is n < -0.0068?
True
Let y = 844526 + -844492. Let h be 1 + -2 - (-1 - -1). Do h and y have the same value?
False
Let o = 16.225 + -16.295. Which is smaller: -733 or o?
-733
Let p = 1671/2 - 861. Suppose 10*b + 122 = -128. Which is smaller: b or p?
p
Let g = -7069/31 - -228. Which is smaller: 6.4 or g?
g
Let t = 341 + -296. Let z be ((-33)/63)/((-6)/t) - 4. Let y = -0.2 - -0.4. Which is greater: z or y?
y
Let l be 29 - (7 + -5 + 2). Let j = l - -37. Suppose -j*t + 63*t = 16. Do 17 and t have the same value?
False
Let v = 10504 + -10600. Are -52 and v equal?
False
Let d be (3/(-10)*5)/(5/(11 + -1)). Is -50/23 greater than d?
True
Suppose 0 = -13073*w + 13005*w - 765408. Is -11255 at most as big as w?
False
Let t(j) = j**2 + 4*j + 583. Let r be t(0). Let o = 610 - r. Let c be (1 - -1)/(-2) - -27. Which is smaller: c or o?
c
Let h(k) = -2*k**3 + 2*k + 2. Let s be h(0). Let u be (-596)/12 + (0 - s). Let m = u - -51. Are m and 0 nonequal?
True
Let h = 1311 - 