 + 48. Which is smaller: h or u?
u
Let n = -0.03 + 0. Let x = n + -5.97. Let h = -4383 - -4382.9. Which is greater: h or x?
h
Let b(w) = 2*w**3 - 41*w**2 - 21*w + 3. Let u = -37 + 58. Let c be b(u). Which is smaller: c or 29/7?
c
Let y = -519 + 522. Suppose y*t + 14*t + 0*t = 0. Which is smaller: 13 or t?
t
Let v(t) = t**2 + 2*t + 1. Let z be v(-3). Suppose 2*j + z*q = -2, 0*q + q = 4*j + 4. Let n = -2 - -3. Are n and j unequal?
True
Let t = -764 + 249. Let i = -486 - t. Which is bigger: i or -4?
i
Let y = -113 - -112.962. Let b = -8.038 - -8. Let j = b - y. Is 5.5 less than or equal to j?
False
Let i be (-90365)/132 - (-6)/(-8) - 45/(-135). Does -687 = i?
False
Let h be (39 - 160/8) + 310. Is h at most 312?
False
Suppose 14 = 5*q - n - 6, -3*n = 4*q - 16. Let b be (q + 53157/(-13289))*2546. Let f = b - -20/97. Which is bigger: f or 0?
f
Suppose 2469*s + 840 = 2473*s. Which is bigger: 212 or s?
212
Suppose 8*y - 4*y - 20*y = 15*y. Is 23/165 not equal to y?
True
Suppose 4*h - 60 = -3*y - y, -5*h = -5*y - 55. Let p = -42 - 29. Let x = h + p. Is x bigger than -57?
False
Let u(f) = -2*f**2 - 7*f + 116. Let m be u(6). Let q = -4184/11 + 378. Which is smaller: m or q?
q
Suppose 0*c - 5*c - 5*m + 50 = 0, 5*c - 5*m = 0. Suppose 4*s - 559 = c*y, -2*y + 124 = 4*s - 470. Is 146 <= s?
True
Suppose -4*g - 177 + 461 = 3*p, 0 = -2*p + g + 204. Let c = 5821 + -5730. Let o = p - c. Is 10 less than o?
False
Let y = -0.28254 + 0.31254. Which is bigger: 89 or y?
89
Let u be -3 + (8/(-2))/((-3)/3). Let v = -52/3 + 22. Let r = v - 131/30. Is r greater than or equal to u?
False
Suppose -5717 = 23*r - 25612. Which is smaller: 867 or r?
r
Suppose 4*g + 80 = 2*p, -2*p + 186 = 3*p - 3*g. Let h(s) = -10*s**2 - 88*s + 13. Let w be h(-7). Suppose 5*z - 4*i = 166, -3*z - 3*i + w = z. Is z > p?
False
Let f = -294 + 308. Suppose f*s = 4*s + 370. Which is bigger: 183/5 or s?
s
Let j(p) = 8*p + 231. Let t be j(0). Let b = t + -230. Is -9/35 greater than or equal to b?
False
Let l be (-1800)/48*(-4 - (-4272)/30). Is 1 at least as big as l?
True
Let h = -1322 - -310673/235. Let w be (-13368)/(-2115) - 4/6. Let k = w + h. Which is bigger: k or -2/3?
k
Let k be (12/(-9))/(-4) - (-288 + -3). Suppose 4*x - 722 = 426. Let c = k - x. Is c < 4?
False
Suppose -1937 = 34*k + 1293. Which is bigger: k or -91?
-91
Let c = 145955/1547 + -1611/17. Do 0 and c have the same value?
False
Let q be ((-28)/(-25))/(-1 - 11/(-5)). Let y = 2146 + -2145. Is q < y?
True
Let o be (5/10)/(2/8). Let i be 2/o*(-14)/10. Is -1 at least as big as i?
True
Let k = 29647/55 + -539. Let a = -53 + 46. Which is greater: a or k?
k
Let w = 12743 - 12446. Is 302 greater than or equal to w?
True
Let t(p) = 9*p - 89. Suppose 30 = 5*k - 60. Let w be t(k). Do w and 72 have different values?
True
Let x = 265.82 - 265.9. Which is bigger: 0.555 or x?
0.555
Let f = 90.1288 - 0.0288. Let m = -90 + f. Let k be 1 - (-2 - (-19)/6). Which is smaller: m or k?
k
Let d(r) = -2*r - 5 + 3*r - 4 - 3*r + r**2. Let i be d(9). Let b(u) = 4*u**3 + 15*u**2 - 113*u + 10. Let c be b(4). Is c smaller than i?
False
Let a = -616 - -427. Let j = 189 + a. Which is smaller: -6/155 or j?
-6/155
Let y = 13 + -8. Suppose 4*u = 4*n - 8*n, -4 = -5*n - 3*u. Suppose n*z + v = 5, -4*z - y*v = -21 + 2. Is 6 <= z?
False
Let p be (113/86)/(319/696). Let b = -80/43 - p. Which is smaller: -4 or b?
b
Suppose s - 28 = -4*a, 4*a - 16 + 0 = 0. Suppose -1010 = -s*t + 2*t. Which is smaller: t or 102?
t
Let v = 834.76 + -812. Let a = v + -0.76. Which is smaller: 5 or a?
5
Let v = -5128 + 5143. Is v at least as big as -22?
True
Let s = 0.3029 + -62.3029. Is s bigger than -5?
False
Let w(r) = 3*r**3 + 2*r**2 + r - 4. Let d be w(4). Let l be 2/(-8) - (-72)/d. Which is greater: l or 0?
l
Let w(j) = 12*j + 149. Let a be w(-12). Suppose -476 = a*o + 5*r - 4*r, -2*o - r = 188. Which is smaller: -94 or o?
o
Let m be ((-24)/22281)/(-4)*-1*4/8. Is m at most as big as 1?
True
Let w be 8/(-24)*(-20)/(-2). Let u = 252 + -250.91. Let v = 1.19 - u. Is w smaller than v?
True
Suppose -231 = 10*u - 17*u. Let v be u + 1/((-1)/1). Is v != 28?
True
Let h = -72 + 47. Suppose 2343 - 135 = -8*f. Let r be (3/(-2))/((-2778)/f - 10). Which is bigger: r or h?
r
Let f be 3/(-24)*172/(-10) - 6/15. Which is greater: 460 or f?
460
Let d = 60.001542 - 0.001542. Let s = -4 - -6. Is s bigger than d?
False
Let k = -0.222 + 110.222. Let c = 110 - k. Is c <= 3?
True
Let b(v) = -4*v - 20. Let p(s) = -2*s - 13. Let h(o) = 2*b(o) - 3*p(o). Suppose 0*d + 2*d = 0. Let u be h(d). Which is greater: u or -5/4?
u
Let z(c) = -2*c**2 + 31*c - 9. Let x be z(-2). Which is smaller: -88 or x?
-88
Let w be -71*1/(-9) + -6. Let c = -20/9 + w. Is c less than or equal to 0?
True
Let d be -206 + (-10)/(-8) + (-147)/28. Let f = 209 + d. Let w = 301 - 6021/20. Are f and w non-equal?
True
Suppose 4*t = 5*b - 0*b - 577, 3*b + 569 = -4*t. Let m = -6408 + 6268. Which is greater: t or m?
m
Suppose 304 + 497 = -13*h + 190. Let m(i) = -4*i**2 - 4*i + 3. Let o be m(3). Which is smaller: h or o?
h
Let g be 205*(-3)/12 + -4. Let b = 55 + g. Let w be -2 + 71 - 1*4*1. Which is smaller: b or w?
b
Suppose -3*t = -0*t - 4*a + 15, 10 = -t + 3*a. Let s be (-7)/((-105)/40)*(-6)/19. Let d = s - 85/57. Which is greater: t or d?
t
Let g = 807 - 522. Let k = 304 - g. Which is bigger: -2 or k?
k
Suppose 5*y - 429 = -2*l + 1436, -3*y + 5*l + 1119 = 0. Suppose 4*z = -4*t - 400, 0 = 4*z + 3*t + 22 + y. Is -96 >= z?
False
Let a = -0.165 - 1.585. Let r = a - -2.83. Which is smaller: r or -0.1?
-0.1
Let l be (6/4)/(180/96) + (-252)/15. Let o = -12.21 - -0.21. Is l at most as big as o?
True
Let d be (-2)/(-7) - 352/56. Let a be 1/d*-1*(-9)/6. Which is smaller: a or -53?
-53
Let h be (-3 + (-238)/21 + 5)*2/8. Let r = -1 + 2. Let m be -2 + (0 - (0 - r)). Is m at most as big as h?
False
Let y = 4338 - 4340. Is 16.7 smaller than y?
False
Let c be (16/(-108))/((-2)/(-60)). Let z(g) = -3*g**3 + 878*g**2 + 298*g - 1470. Let x be z(293). Which is bigger: x or c?
c
Let w = 16737 - 16736.7. Which is bigger: w or 1/72?
w
Let u = -2256 - -439. Which is greater: -1820 or u?
u
Suppose 12*p = 3*w + 15*p - 1494, -3*p = -5*w + 2522. Is w less than or equal to 498?
False
Let h = 14757 + -9164095/621. Let g be (-9 + 5)/(-9 + (-5 - -18)). Is h >= g?
True
Let w be 490/20 - (-2)/4. Let f = 8.8 + -8.28. Let n = f - 0.32. Is n < w?
True
Let l = 13376 + -13844159/1035. Do -1 and l have the same value?
False
Let f = 0 - 13. Let p be ((-117008)/(-15))/4 + (-32)/240. Let z be (2/(-5))/(13*5/p). Which is smaller: f or z?
f
Let w = 50517/29 + -1742. Which is smaller: w or -0.09?
-0.09
Let a(m) = -m**2 + 17*m - 68. Let x be a(10). Let h = 9 - 4. Suppose 0*j + 2*w - 10 = j, -x*j + h = w. Is -2/19 <= j?
True
Let d = 238217 + -238266. Let b(c) = -50*c**2 - c - 1. Let l be b(-1). Which is smaller: d or l?
l
Suppose 2*v = -2*v + 4*p - 1196, 2*v + 3*p = -583. Let f = -279 - v. Which is greater: 14 or f?
f
Let f = 2.9 - 4. Let p = f - -1. Let x = 297206.55 - 297207. Is p not equal to x?
True
Let a = -0.2 - 0.8. Let u = 102699 - 102577. Does u = a?
False
Suppose z + 4*z = -37*z - 39*z. Which is smaller: -11/1652 or z?
-11/1652
Suppose 6*u + 17996 = -4*n, -4*u - 11356 = -3*n + 596. Which is greater: u or -2992?
-2992
Suppose -36*g - 12183 = 57*g. Suppose 56 = -2*h - 208. Is g != h?
True
Let y = 44 - 96. Let t = 118 + y. Let s = 75 - t. Which is bigger: 0.3 or s?
s
Let k = -500 + 339. Let t = -168 - k. Is 0.08 less than or equal to t?
False
Suppose -507 = d + n, 0 = -4*d - 3*n + 4*n - 2043. Let y(u) = -10*u**2 + 28*u + 553. Let b be y(-9). Is d less than b?
True
Let o = -1 + -3. Let c be (-6)/(-12) - (-470)/o. Let v = 37410 + -37527. Do v and c have different values?
False
Suppose 38*a - 34*a - 8 = 4*v, 11 = -v - 2*a. Let c(f) = -f**3 - 6*f**2 - 4. Let r be c(-6). Which is greater: r or v?
r
Let f(k) = 45*k + 854. Let y be f(-19). Which is smaller: y or 106.74?
y
Let g be 1 + (29764/780)/7. Let v = -32/5 + g. Let t(j) = j**3 + 10*j**2 - 26*j - 25. Let y be t(-12). Which is bigger: y or v?
v
Suppose -204 = 5*s - r, -7*r = s - 4*r + 44. Let v = s + 34. Is -7 greater than or equal to v?
True
Let a(i) = -i**2 + 29. Let t be a(6). Which is smaller: t or 58/11?
t
Let d(c) = -10*c - 61. Let n be d(-6)