-5*u + 158 = -h. Which is greater: h or -154?
h
Let i(u) = -28*u + 917. Let h be i(33). Which is smaller: -0.14 or h?
h
Let m = 3.306 - -35.804. Let y = -38.28 + -0.72. Let p = y + m. Which is bigger: p or 3/5?
3/5
Let r = -1.02449 - -0.00749. Which is bigger: 0.1 or r?
0.1
Let u = -3/12110 - 209497/24220. Is -10 equal to u?
False
Let t = -255 - -246. Let g be (t/2 - -2)*1632/(-850). Is 4 greater than or equal to g?
False
Suppose -72 = 3*f + 12. Let o = f + 34. Suppose -8 = 7*v + o. Is v bigger than -2?
False
Let b be (-4 + 2 + 14/(-5))*(-85 + 0). Is 410 > b?
True
Let f = -3.47 - -2.73. Let p = -0.85 - f. Which is greater: 0.1 or p?
0.1
Suppose 5*k - 35 = -2*k. Suppose 0 = -2*m - 7 - k. Let z(q) = q**3 + 5*q**2 - 2*q + 12. Let n be z(m). Which is greater: n or -10?
-10
Let z be (-923)/(-26)*(-5 + (-897)/3). Which is smaller: -10791 or z?
z
Let u = 36694 + -36694. Let w = 7151/73253 - 2/2363. Which is bigger: w or u?
w
Suppose 2*i - 16*x - 88 = -12*x, -3*i + 112 = -2*x. Let t be (-51)/(-51) + (1 - i/(-4)). Which is bigger: t or 10?
t
Let q be 1 - (0 - 3 - 26/(-7)). Let z(i) = i**3 + 5*i**2 + i + 12. Let m be z(-5). Suppose u - m = -1. Which is bigger: q or u?
u
Suppose 10 = 2*k, 3*k + 73 = -3*x + 7*x. Let j be (-38025)/125 + (-2 - x/(-10)). Is j < -303?
True
Suppose -3*y - 5*x - 21 = y, -5*y - 5 = 2*x. Let h = -11/3 + 227/63. Which is smaller: h or y?
h
Let z be 354/4300 + 420/(-5250). Let a(i) = i**3 + 6*i**2 - 5*i + 14. Let p be a(-7). Which is bigger: z or p?
z
Suppose -31*v + 78*v + 28*v = -342*v. Which is greater: -2/9401 or v?
v
Suppose 2*g = -5*r + 30, -4*r = 5*g - 60 + 19. Suppose 633 = -5*u + 2*o, -3*u + g*o + 59 = 435. Let b = u + 139. Which is smaller: 11 or b?
11
Let t be 12/30 - (-12)/45. Suppose -o + 6 = 9. Let p be 2/o - (-5)/3. Is p > t?
True
Let s(l) = 21*l**2 - 4*l + 6. Let w be (-14)/(-10) + 3/5 - -1. Let a be s(w). Suppose a = -8*o + 23. Is -20 at least o?
True
Let l be ((-30)/40)/((-931)/(-932) + -1). Let z = l + -286. Let t = z - 2485/6. Is t at most as big as -1?
True
Let z = 609 + -339. Let w = z - 279. Let l(p) = p**2 - 9*p + 5. Let g be l(7). Are w and g equal?
True
Suppose -11*l + 1602 = 7*l. Suppose 3*o + l = 5*u - 3*u, -4*u + 205 = 3*o. Let t = -48 + u. Is -22 greater than t?
False
Let p = -16968 - -25837. Is 8868 at least p?
False
Let o(r) = 2*r**3 + 9*r**2 - 21*r - 7. Let y be o(-6). Suppose -3*s + y*s = -10*s. Which is smaller: -1/510 or s?
-1/510
Let n = -24.05558 - -0.05558. Which is greater: n or -3.1?
-3.1
Let x be 30/7*2/(-6). Let b = -1.5065 - -1.5. Let g = 1.0065 + b. Does g = x?
False
Suppose q + q + 646 = 4*n, 5*n = 4*q + 812. Let w be -6*((-6)/(-39) + n/(-195)). Suppose -w*u = -3*m - 98, 75 = -5*m - u - 96. Is m != -35?
True
Let o(g) = 1364*g - 12258. Let i be o(9). Which is smaller: -2 or i?
-2
Let b(k) = k**2 - 6*k + 1. Let x be ((-18)/(-10))/(24/80). Let q be b(x). Let r be 5/(-12) - q/5*0. Is r smaller than -1?
False
Let s(v) = -v. Let l = 185 - 185. Let n be s(l). Are -1/8 and n non-equal?
True
Suppose -457*u = -446*u. Let q = -347/767 - -4/59. Is q at most u?
True
Let i be 5/((9/27)/(10/6)). Suppose 4*a - i*a + 588 = 0. Let f = 77 - 50. Which is greater: f or a?
a
Let y be 28/14*(3/2 + -1). Let a be (y*-1)/((-8)/(-16)) + 4. Is 0 at least a?
False
Let b(j) be the first derivative of -3*j**4/4 + j**3 - 2*j**2 - 13*j - 33. Let m be b(-2). Which is smaller: m or 30?
30
Suppose 0 = -25*k + 951 + 2074. Suppose 0 = -125*v + k*v - 160. Is -40 smaller than v?
False
Let b be 1*4 - (15 + -20 - 3). Let u be (-22)/(-3)*3/2. Let i = b - u. Is -5 > i?
False
Let p = -2/633833 - -200291646/132471097. Is 2 > p?
True
Suppose v - 4*j + 1 = 11, -2*v + 2*j + 8 = 0. Suppose -6 = -v*m + 24. Let z be m/(-4) - 3/(-4). Is -5 greater than or equal to z?
False
Suppose 4 = -2*x, -5*l - 1489*x - 1 = -1491*x. Which is greater: -43/35 or l?
l
Let h be (-4)/2*68/8. Let u be h + (0/(-4))/(-2). Let j be (-11 + 43)*2/(-4). Is j greater than or equal to u?
True
Let p = -17 + 21. Suppose p*t = -38 + 42. Let w be (2 - 2)*(2 - t). Is w less than -6/23?
False
Let p(n) = -2*n**2 - 56*n + 329. Let j be p(-33). Are -12/587 and j equal?
False
Let u = 0.001 - -1.999. Let s = 272.266 + -272. Let d = s + -0.056. Which is smaller: d or u?
d
Let y = -1367 + 1375. Which is bigger: 418 or y?
418
Suppose 61 = 16*k + 189. Let o be k/56*47 - -7. Is 0.0034 > o?
False
Let a = 93/47783386 + 24591480628171/30724717198. Let x = a + 61/3215. Let g = 803 - x. Is 4 bigger than g?
True
Suppose 417 = 4*d + 3*j, -4*d - d - 3*j + 525 = 0. Let p be (-90)/(-91) - (d/(-26) + 4). Is -1 at most p?
True
Suppose 0 = -2*z + 50*z - 48. Let l be (225 + -225)/(-1*z*4). Is l bigger than 9/20?
False
Let k = 39 - 27. Suppose -5*b - k = -11*b. Suppose b*n - 3 = -29. Are -14 and n nonequal?
True
Let t(a) = a. Let p(x) = 6*x + 201. Let n(b) = -p(b) - 4*t(b). Let l be n(-31). Which is smaller: 110 or l?
l
Let z = -22212.9 + 21989. Which is smaller: -5 or z?
z
Suppose 52250 = -21*f - 4*f. Let b = 137945/66 + f. Which is greater: 0 or b?
b
Suppose 5*k = k + 4, 5*v + 3*k - 53 = 0. Suppose -8*p + 8 = -4*p + 5*n, 5*n = 5*p - v. Suppose -p*a = 14 - 12. Is a > -7/8?
False
Suppose 0 = 55*k - 52*k - 7623. Suppose -k = 13*f + 2061. Let q be (f/(-4))/(18/12). Is q less than 58?
False
Let y = 25 - 129. Let x = y + 105. Which is greater: x or 2/67?
x
Let x be (-16)/(-3)*(-12972)/(-46). Is 1509 > x?
True
Suppose 0 = -w - 4*q + 3 + 9, -5*w - 12 = -4*q. Suppose -12*o + 6*o - 18 = w. Which is greater: -22 or o?
o
Let o = 179 - 96. Suppose 215 = 11*x + o. Let h(d) = 7*d - 32. Let p be h(x). Is 52 >= p?
True
Suppose 3*a = v - 17, 2*a + 23 + 49 = 3*v. Suppose -4*l + 51 + v = 3*m, -4*m - 2*l + 116 = 0. Which is smaller: 30 or m?
30
Let l(z) = 646*z**2 + 2487*z - 6. Let n be l(-6). Which is greater: n or 8329?
8329
Let t be (12506/(-507))/(((-1)/(-9))/(9/27)). Let y(m) = m**2 + 3*m - 3. Let i be y(-3). Which is greater: t or i?
i
Let s = -57/203 - -164021/583422. Which is greater: s or 1?
1
Let l be (7369/(-6188))/(27/(-8) + 4). Let b = l - -2/3315. Is b greater than or equal to -1?
False
Let s = -7070 - -7091.7. Is 9 bigger than s?
False
Let x = 244 + -243.932. Let z = -0.232 - x. Which is greater: z or -19?
z
Let o be 6729*(-2)/(-9)*60/40. Let f = o - 15819/7. Which is smaller: -16 or f?
f
Let x be (-66)/(4 - 66/12). Let s be ((-99)/x)/(1 - (-33)/(-24)). Which is greater: s or 1?
s
Let l = 12 - -40. Let o be (-426)/l*2*(-10 - -12). Let p = o + 4322/143. Is p less than -4?
False
Suppose 2*o + 2*o + 5*j = 65, 2*j = -4*o + 50. Suppose 4*u + 412 - 448 = 0. Is o at least u?
True
Let f be 32/4 + 1*2. Let l be (-7641)/135 - 2/5. Let x = l + 68. Is x less than f?
False
Let i(n) = -n**3 + 4*n**2 + 2. Let g(r) = -r**2 + 7*r + 62. Let z be g(12). Let j be i(z). Which is smaller: 37/4 or j?
37/4
Suppose o - 2*t = 5, 70*o - 68*o = -t - 5. Which is smaller: 15/929 or o?
o
Let b(q) = -q**2 - q + 1. Suppose 3*y + 2*c - 7 = -2, -4*c = y + 5. Let k be b(y). Which is smaller: -9 or k?
k
Let k(g) = 109*g + 4687. Let m be k(-43). Is m greater than 2/8833?
False
Let h = 666 - 419. Let y = -247.1 + h. Is y < -4/13?
False
Let a(y) = y**2 + y. Let s be a(-1). Suppose 64*c = 61*c + 2*w + 866, 4*c + 5*w - 1124 = 0. Let u be 22/c*1/(-6)*10. Do u and s have different values?
True
Let v be -7*((-15)/3 + 4). Let q be 10/5*(v + 0 + 0). Suppose -21*h + q*h - 7 = 0. Which is greater: -6/17 or h?
-6/17
Let g = -6314 + 6316. Which is greater: g or 17/10?
g
Let u be (-17584)/2576 - (-1 - 6)*1. Are u and -0.029 equal?
False
Suppose -398*y = -397*y - 4, y = 3*c - 701. Which is smaller: 239 or c?
c
Let u be 12/(-16) - 46/(-8). Let z be u - (-5 - -5 - 0). Suppose 0 = -z*c + 1 + 4. Is -1/27 greater than or equal to c?
False
Let m(q) = -q**3 + q**2 + 1. Let n(d) = -3*d**3 - 27*d**2 + 31*d + 6. Let g(z) = 4*m(z) - n(z). Let r be g(30). Which is greater: -27 or r?
-27
Suppose -p + 28 = -x - 4*x, 3*p = 4*x + 29. Let o be (-84 - 0)/(598/46). Is x != o?
True
Let o = -592 + 674. Which is smaller: 22 or o?
22
Let f be ((2569/(-427) - -1) + 5)/(308/(-4)). Is f equal to 0?
False
Let b(a) = a**3 - 2*a**2 - 4*a + 4. Let t be 0 - (-2)/(12/18). Let r be b(t). Let c be (3/9)/((-26)/36). Which is greater: r or c?
r
Let j = 976954/131 - 7458. Which is sm