Let h = b + j. Is h less than 3?
True
Let y(c) = 74*c - 1044. Let i be y(-25). Which is smaller: i or -2895?
-2895
Let f = -4343 - -52117/12. Is 1 less than f?
False
Let l be (-70 + 71)*148/(-2). Is l equal to -76?
False
Suppose 3576 = 31*j - 23*j. Suppose 43 = 2*p + j. Which is smaller: p or -201?
p
Let x = -10777 + 10801.044. Let c = x - 0.044. Let t = c - 23.9. Is -26 less than t?
True
Let r = 6510 - 5084. Is 4 at most as big as r?
True
Suppose 2*v = -0*v + 3*u + 7, -5*v = u - 9. Suppose 0 = -2*n + 1 - 3, -k - 55 = v*n. Suppose 4*r + 5*z + 200 = 2*z, -5*r - 277 = -3*z. Is r >= k?
True
Let z be (6/(-4))/(-14 - (-4 + 16)). Let g(a) = a**3 - 11*a**2 - a + 10. Let m be g(11). Which is greater: z or m?
z
Let b = 19.4 - 20.4. Let a = 0.21 + 2.01. Let y = -2.2 + a. Which is greater: b or y?
y
Let q = 118.94 - -16.16. Let h = q - 135. Is h bigger than 181?
False
Let a be ((-22)/(-10))/(11/55). Let z(t) = -3*t + 38. Let g be z(a). Suppose 2*h - 4*i = -14, 2*i - g - 3 = 2*h. Is h < 2/207?
True
Suppose 2*k - 20 = q + 1, 5*q - 90 = -5*k. Suppose 7*l + 60 = k*l. Suppose l*p + 36 = -2*p. Is -2 at most p?
False
Let v be 20/(-12) - (1 - 4/6). Let x(q) = -q**2 + q + 4. Let w be x(0). Suppose -w*b + 0*c = 2*c - 32, -4*b + c + 26 = 0. Is v > b?
False
Let j be (-15)/(-60)*-760 - (7 - 2/2). Which is smaller: -0.12 or j?
j
Let q = -39 + 46. Let b be q/(147/(-6)) + (-59)/(-203). Do -1 and b have the same value?
False
Let a be ((-342)/147)/(4/28). Is 0 less than a?
False
Let z = 117 - 126. Let v = -68 + 58.6. Let k = v - z. Which is smaller: k or -7?
-7
Let l be ((-42)/4)/(((-2)/(-44))/(-2 - 15)). Which is bigger: 3926 or l?
l
Let x = 32.4625 + -32.5. Let b = -0.0375 - x. Which is smaller: 0.18 or b?
b
Let x(k) = -13*k + 171. Let o(l) = 41*l - 514. Let h(r) = -3*o(r) - 8*x(r). Let v be h(7). Is 44 at most v?
False
Let i be (48/36)/(2/57). Let f be ((-1 - (0 - 2)) + -2)*-37. Is i != f?
True
Suppose 103*j + 109*j = 10*j - 122614. Which is bigger: -6690/11 or j?
j
Let j be 1/(-9) + (-3728)/(-18). Let u = 245 - j. Is u not equal to 3?
True
Let r = 150 + -151. Let t be 0*r*(-6)/12. Let m = -691 + 8973/13. Is m smaller than t?
True
Let r = -524 + 521. Is 1.35 at most as big as r?
False
Let z(h) = -h**3 - 3*h**2 + 21*h + 31. Let c be z(-6). Suppose 2*m + 8*m - 80 = 0. Suppose 9*w = m*w + 11. Which is bigger: c or w?
c
Let p = -1474 - -1544. Suppose v + 8 = -62. Let c = v + p. Which is bigger: c or -2/53?
c
Let p = 190.0367 + -3.0367. Is 6 > p?
False
Suppose 20 = 18*w - 70. Suppose 0 = -5*q - 5*c + 30, w*q - 4*q = 5*c - 24. Let a be 4/10 + 54/(-110). Is a at least q?
False
Let z be 3 - (3/6*4 - -2). Let c be -7 - (z - 2)*(-5 + 6). Do -34/11 and c have the same value?
False
Suppose 1525 = 7*r + 384. Suppose r*p - 152*p = -385. Which is smaller: p or -34?
p
Suppose r - 31 = j - 230, 594 = -3*r + 2*j. Which is smaller: -0.07 or r?
r
Let r = -3.82 - -930.82. Which is greater: -0.1 or r?
r
Suppose a + 3*y = 13919 - 14076, -4*y - 294 = 2*a. Let h be (-2)/(-5)*(0 + -310). Which is greater: a or h?
h
Let n be -2 - (0 + -2) - (1 - 5). Let l be 6/(-24)*n*1. Is -1/575 greater than l?
True
Suppose -3*p - 4*d - 65 = 0, -d = -5*p + 3*d - 119. Let c be (-5)/p*(-72)/30. Let x(v) = 19*v - 78. Let s be x(4). Which is greater: s or c?
c
Let y = -1.5243 - 0.3357. Which is smaller: -1/2 or y?
y
Let s = 51 - 104. Let a = 48 + s. Let g be ((-8)/a)/((98/175)/(-7)). Is -21 smaller than g?
True
Let h be (297/(-1386))/((108/21)/(-1)). Is 0.048 less than or equal to h?
False
Let r be (-15 - -11)/(16/(-20)). Let q be 15/50*r/(-6). Let t = -2.8 - -3. Is t >= q?
True
Let c = 0.397 - 0.017. Let a = -3.62 - c. Let n = -0.78 - 6.22. Which is bigger: a or n?
a
Let v = 0.003 + 3.397. Let p = -3.1 + v. Let j be -4 - (123/(-25) + 1). Is j equal to p?
False
Let w = -35 + 41.5. Let f = 22.5 + w. Let o = f + -25. Which is smaller: 1 or o?
1
Let y be (1 + (-14)/(-10))*175/70 - -118. Which is smaller: 125 or y?
y
Let q(u) = u**2 + 33*u + 64. Let w be q(-2). Let h(b) = 2*b**2 - 2*b + 1. Let l be h(1). Suppose 6 = 2*c + 2*z, -z + l + 3 = w*c. Is 6/19 equal to c?
False
Let n(v) = -7*v**3 - 3*v**2 - 13*v + 42. Let d be n(2). Are 18 and d equal?
False
Let o = -11842 + 11802.4. Which is smaller: o or -7/2?
o
Let g(v) = -1 + 12 + 0*v - 2*v. Let o(r) = -6*r - 134. Let n be o(-24). Let t be g(n). Does 0.2 = t?
False
Let k = 7 - 3. Let y = -0.68 - 33.32. Let t = y + 38. Are t and k nonequal?
False
Let j = 136.5982 - 0.5982. Let f = 8 - 5. Which is bigger: j or f?
j
Suppose m + 3*z - 1 = 0, -m - 8 = 4*m + 2*z. Let t be ((-527)/(-124))/(1*m/(-16)). Let l be (-22)/(-1 + 3/9). Is l > t?
False
Let s be (2 + 21 + 0)*1. Suppose s + 229 = 2*y. Is 126 greater than y?
False
Let i be 38/(-42) + (-100)/(-100). Suppose -5 + 4 = -g. Is i != g?
True
Suppose -137 + 22 = m. Let j be 4*m/(-20) + -4. Suppose -w - 3*f + j = 0, -w + 2*f - 3*f + 15 = 0. Which is smaller: w or 14?
w
Let o(v) = -v**3 - 9*v**2 + 20*v + 223. Let t be o(-8). Which is greater: t or 1/1634?
1/1634
Suppose 0 = 2*y - 5*f, y = 3*f - 13 + 14. Let s be 3/y - (-969)/1140. Which is smaller: s or 1?
s
Suppose 0 = -2*i - 8, -2*i + 6 = b - 1. Let y = 1938/5 - 390. Are y and b equal?
False
Let m = -55 - -111. Suppose 8*n - 10*n + m = 0. Is 26 != n?
True
Suppose 5*y + 5*y = 29*y + 1501. Is y smaller than -700/9?
True
Let d = -29.857 + 29.54. Is d != -8?
True
Let m be 1*(-4)/6*12. Suppose -3*p + 162 = 3*w, -851*p = -847*p - 3*w - 258. Let r be (p/(-35))/(m/(-28)). Which is smaller: -2 or r?
r
Let s = -3.59 - -1011.59. Let w = -996 + s. Let q = 103/2 + -50. Is w smaller than q?
False
Let p(u) = -9*u**3 + 5*u**2 - 6*u + 24. Let d(s) = -5*s**3 + 3*s**2 - 3*s + 12. Let l(c) = 11*d(c) - 6*p(c). Let a be l(3). Is a greater than or equal to -4?
True
Suppose -12 = -4*j - 4*m, -3*j + 1 = -3*m + 4. Let c be (-1 - (-2)/8)/((-8)/32). Suppose -c*v + 5*v - 9 = -3*w, -2*w - v = -5. Is j at least as big as w?
True
Let d be ((-9015)/2 - -10)*(5 - 29/5). Which is greater: 3599 or d?
3599
Suppose 0 = 6*i - 0*i + 690. Let a = 1062 + -1177. Are i and a equal?
True
Suppose 0 = 3*k - 32 + 26. Let p = k + -19. Is -16 >= p?
True
Let r(l) = -2*l**3 - 8*l**2 - 5*l - 18. Let a = -331 - -326. Let m be r(a). Is m equal to 56?
False
Suppose 19*u - 19 - 19 = 0. Suppose -2*h + 16 = u*h + 2*p, -p + 20 = 4*h. Let j = -2 + 0. Which is smaller: h or j?
j
Let s be 3/(-2)*7/3*(-132)/33341. Let l(g) = -g**3 - 9*g**2 - 2*g - 17. Let r be l(-9). Is r <= s?
False
Let v = 123.79 - 2.79. Let j = 81 - v. Let k = -38 - j. Is -30 smaller than k?
True
Suppose -4*x = -20, 4*x + 608 + 17 = 3*c. Let y = -1289/6 + c. Is -20/9 greater than y?
False
Suppose 434 = 2*r + 4*q, 0*q = 2*q - 8. Let d = -61887 - -62096. Is d at least as big as r?
True
Let i = -61 - -1773/29. Let n(z) = 15*z - 14. Let d be n(2). Suppose 5*p - d = -2*s + 1, -2*s - 13 = -5*p. Are i and s equal?
False
Let x be (8/6)/((-3)/(-27)). Let q = x + 71. Is 163/2 bigger than q?
False
Suppose 6 = -3*i, -3*u = -0*u + i - 781. Which is greater: u or -9?
u
Suppose 17*l - 3*d - 8 = 12*l, 3*l = 5*d - 8. Let f = 129/2 + -68. Let o = l + f. Which is bigger: o or -47?
o
Let c(t) be the first derivative of -t**2/2 + 12. Let n be c(0). Is 51 bigger than n?
True
Let d(v) = -5*v**2 + 55*v + 5. Let s be d(11). Suppose 3*n + 14 = -2*h, -s*h - 2*n + 0*n = 57. Which is bigger: h or -18?
h
Let w(g) = -g**3 - 4*g**2 - 3*g + 2. Let d be w(-3). Suppose 0 = d*r + 370 + 20. Is -195 smaller than r?
False
Suppose 0 = -4*q - 2*w - 4165 + 25149, -3*q - 4*w + 15728 = 0. Which is smaller: q or 5249?
q
Let k(h) = -h**2 + h + 11. Let b be k(3). Suppose 0 = 4*r - b*g + 4283, 0 = g - 3*g - 2. Let y = r + 7538/7. Which is bigger: 6 or y?
6
Suppose -3*l - 16 - 113 = 0. Let u = -128/3 - l. Suppose 3*q = -2*t + 8*q + 18, -4*t = -q. Is u greater than t?
True
Suppose -5*g - 198 = y, 2*y + 5*g + 318 = 8*g. Is y less than -160?
True
Let l be -20 - ((-3170748)/52850)/3. Is l not equal to -1?
True
Let w(i) = -83*i**3 - 6*i**2 + 23*i - 30. Let z be w(2). Which is smaller: z or -674?
-674
Let r = 19471 - 18964747/974. Which is smaller: r or -2?
-2
Suppose 5*f = 6*f. Suppose -2*v - 5*u = 33, f*u + 29 = -v - 5*u. Let r be (-3)/v*(12 + 8). Are r and 13 nonequal?
True
Let h = 81.9 - 82.297. Let j = h - 0.303. Is -4