785. Which is smaller: h or -1?
-1
Let q = -7 - -57/8. Let z(v) = -v**3 - 6*v**2 + 10*v + 12. Let p be z(-6). Let a = -47 - p. Is q bigger than a?
False
Let g be 0 + (9 - 6) + (-3 - 6). Let w be (19 - 16)*(-20)/g. Which is greater: w or 21?
21
Let k = 2 + -2. Let i = -1135/7332 - -5/188. Let s = -4/39 + i. Is k greater than s?
True
Suppose 22*f - 6*f = -16*f. Which is smaller: f or 1/1101?
f
Suppose 101*r + 1058 - 5925 = 6243. Do 774/7 and r have different values?
True
Suppose 6*v - s - 40 = 4*v, 4*s = 2*v - 40. Let u be 4*(-5)/v + 1/1. Is -1/310 less than u?
True
Suppose 2*w - 3 = 3. Suppose 34 = 3*p + 1. Suppose -3*v = -p - 10. Which is smaller: w or v?
w
Let d be 99 - -1 - ((-2)/7*7 + 6). Which is smaller: d or 2000/21?
2000/21
Let m(a) = -a**3 - 6*a + 7. Let s be m(-9). Let w be s/(-9) + 5/((-135)/6). Which is smaller: w or -89?
-89
Let i be 9/36 - (-89)/(-4). Let d = 1544 - 1544. Which is smaller: i or d?
i
Let r(q) = -3*q**2 - 41*q + 16. Let o be r(-14). Let x be (2/(-42))/(o/12). Does x = 1.41?
False
Let z = 17889 - 13389. Is 4502 < z?
False
Let u = 425/2303 - 8/49. Let f(b) = -b**3 + 2*b**2 + b + 2. Let a be f(2). Let s = -3 + a. Is s greater than u?
True
Let q be -29*(6/12 - 198/60). Suppose -10*g + 648 = -2*g. Is g greater than q?
False
Let i = 14958 - 13592. Which is greater: 1364 or i?
i
Suppose w + 3 = 4, -2*s = 3*w - 5625. Suppose -18*o = 771 + s. Do o and -199 have the same value?
True
Let z = 158.3 + -157. Let n = 1.2 - z. Are n and 1/33 unequal?
True
Let d(t) = -2*t + 4. Let n be d(-3). Let k be n/40 - 62/88. Let m be (72/108)/(2/(-3)). Which is smaller: m or k?
m
Suppose 3*s + 23 = 5*t, 4*t - 19 + 2 = s. Let u be -81 + -9 + t - 6. Is -94 smaller than u?
True
Let v(k) = 9*k + 27. Let h(d) = d. Let c(q) = 2*h(q) + v(q). Let l be c(4). Let m = l + -81. Does m = 0?
False
Let s = 0.1913 + 0.0387. Let i = s + -1.83. Which is bigger: -3 or i?
i
Let a be (-2 + 2/4)*-2. Let o be 2/a*6/(-8). Let v = -5388 + 5392. Do v and o have different values?
True
Let n be (-192)/(-86) + -2*1. Let q be 6/(27 + -8 - 25). Which is smaller: n or q?
q
Let u = 30136 + -30135.58. Is 42 smaller than u?
False
Let t = 343.77 + -345. Let p = 1.29 + t. Which is smaller: 12/11 or p?
p
Let w = 27 - -28. Let p = -399 - -457. Let j = w - p. Is -1/2 <= j?
False
Let s(o) = -86*o**2 + 308*o - 306. Let p be s(1). Are -86 and p equal?
False
Let k be -11 + -11*(-13 + (-48)/(-4)). Is -1/3162 at least k?
False
Let f = -2.169 + 0.119. Let x = f - -1.91. Which is smaller: x or -5?
-5
Let u = 3181840/3553 - 15222/17. Are -1 and u non-equal?
True
Let s = -42847 + 42847.3. Is -651/4 != s?
True
Let t = -91 + 87. Let z be 36/(-72) + 1142/t. Is z greater than -286?
False
Suppose -384*n = -378*n + 2910. Are -485 and n equal?
True
Let v be (-231)/21 + 112/10. Let c be (9/(-12))/((-129)/(-90)). Let w = -1/43 - c. Which is bigger: w or v?
w
Suppose 25*b = 32*b - 28. Suppose -b*f = -45*f - 3198. Is -78 <= f?
True
Let v = -35750 - -35750.17. Is 250/3 greater than or equal to v?
True
Let i be 8/(152/(-375))*(-4 - 72/(-20)). Which is smaller: i or 8?
i
Suppose 203*s + 5581 = -6396. Is s smaller than -55?
True
Suppose 3*j - 8 = 4*j - w, 0 = 5*j + 5*w. Let n(g) = g**2 + 11*g + 19. Suppose 4*b + 3*i + 56 = 33, -4*b = 5*i + 17. Let z be n(b). Is j greater than z?
True
Let j = 3.8 + -3.8062. Let f = j + -7.9938. Is f less than 5?
True
Let x(z) = -3*z. Let o be x(1). Suppose 5*b = 10, 71*b = 4*v + 74*b + 26. Let w be o - (v/(-14))/(22/(-77)). Which is bigger: 3/29 or w?
3/29
Let j = -77.4 - -122. Let f = 1 - -44. Let a = f - j. Which is smaller: a or -1?
-1
Let n = -2403 - -2499.7. Let v = n + -97. Which is smaller: v or 15?
v
Let g(l) = -737*l**2 - 412*l + 35. Let k be g(-5). Are k and -16330 equal?
True
Let o be 4/(-220)*-10*44 + -9. Which is greater: o or -3/11146?
-3/11146
Let h = -3007/3 - -991. Let o be (-6)/21 + 600/42. Suppose -4*l = -0*a - a - o, -42 = 4*a - 2*l. Is h at least a?
False
Suppose 3*r + 4*s - 1642 = 0, 0 = -5*r - 27*s + 24*s + 2733. Is 544 != r?
True
Let r = -284731/14 + 20338. Is -512 at least as big as r?
False
Let p be (-5)/(105/(-124)) + 20/210. Let u be 1 + 3059/4 + p/24. Is 767 at least u?
True
Let l be 46/(-224)*-74 - 87/(-203). Let r = -655/24 + l. Which is smaller: -11 or r?
r
Let p = 8401 + -8787. Which is greater: p or -396?
p
Let a = -139372 + 1199853550/8609. Which is greater: 1 or a?
1
Let o = 6548.3 + -6360. Which is bigger: 1/4 or o?
o
Suppose 287*q - 286*q - 320 = -4*l, -1726 = -5*q - 2*l. Let m = 746 - 398. Is m at most as big as q?
True
Let o(t) = -2*t - 8*t**2 + 4 - 6*t + t - t**3. Let m be o(-7). Let y(q) = q**3 - 6*q**2 - 520*q + 5. Let n be y(26). Which is smaller: n or m?
m
Let p = 210.9 - -103.1. Let z = p - 314.1. Is z < -235?
False
Suppose 65*d = 41*d - 112*d - 130560. Which is greater: d or -958?
-958
Let z be 3/((72/(-54))/(752/(-36))). Let j = 2 - 5. Are z and j non-equal?
True
Suppose 3*s = 5*r + 41, 4*s - 4*r = -0*s + 44. Let p be (-58)/(-261) + 264/27. Suppose -5*q - p = -s*q, 0 = -4*v + 3*q - 15. Are -31 and v non-equal?
True
Let p = -22903/6 - -3765. Let d = 103/2 + p. Which is smaller: d or 3/61?
d
Let r = 220259/8 + -27532. Is r at least 122?
False
Let l = 2 - 0. Suppose -3*i + 0*s + 8 = l*s, 0 = -4*s + 16. Let q = -3071455/113 + 27181. Is q smaller than i?
True
Suppose -7870 = -95*k + 680. Is 449/5 >= k?
False
Let g = 185 - 113. Let b = g + -29. Let c = 44 - b. Which is smaller: c or 0?
0
Let k be (-17)/5 + 3 + 468/45. Suppose -5 = 5*f, k*x = 13*x - 2*f - 365. Is 122 greater than x?
True
Suppose 0 = 5*c + 3 + 17. Let d = -20 + c. Let u = d - -26. Is -1 < u?
True
Let c(v) = -1 - 3 - v + 1. Let n be c(-4). Let f = -75/17 + 491/119. Do n and f have the same value?
False
Suppose -9*l + 3*l - 9740 = -5*l. Which is smaller: -9741 or l?
-9741
Let x = -141 + 72. Let z be -1 + -73 + -6 + 9 + (-1 - -3). Is x >= z?
True
Let u = -0.01516 - -706.01516. Which is smaller: u or 1/2?
1/2
Let h(q) = 30*q**2 - q + 1. Let f be h(1). Suppose -f*j + 52 = -34*j. Which is smaller: j or -16?
-16
Let y = -3 + 21. Let g be 10/(40/138)*4/(-6). Let a = y + g. Which is greater: a or -7/2?
-7/2
Let r be (-13)/(-143) - 10157/(-77). Is r at least 130?
True
Suppose -3*f = 3*i - 549 - 150, -3*f + i + 715 = 0. Let q = f + -161. Suppose 0 = -2*x + 4*u - 8, 0*x - 4*x - 4*u = q. Which is smaller: x or -51/4?
x
Let s = -2539 - -12697/5. Is s < -424?
False
Let n be (-2 + (-1016)/(-505))/(62/(5208/315)). Which is smaller: 1 or n?
n
Suppose 5*p + 732 - 752 = 0. Let o be p/14 + -7 + (-423)/(-63). Which is greater: -12/17 or o?
o
Suppose 14*h + 1100 + 2764 = 0. Are -1383/5 and h equal?
False
Let n be 6*(-99)/(-144) + (253/88 - 3). Let b = 10 - 10.07. Is b less than or equal to n?
True
Suppose -32 = -2*q + 4*o, -2*q + 7*q + 3*o - 2 = 0. Which is bigger: -3.83 or q?
q
Let f be (-2)/10*(-3)/30. Let a(u) = -6*u + 63. Let b be a(8). Let y be 1*(-5)/b*0. Is f bigger than y?
True
Suppose 0 = 2*i - 2*b + 8, -23*i = -28*i + 2*b - 8. Suppose -w + 5*s + 611 = i, 5*w - 2546 = -s + 587. Which is smaller: w or 627?
w
Suppose 9*a + 2544 = -3. Let p = a - -401. Suppose -n + 0*n - 114 = -5*y, -5*y = -2*n - p. Is y at least 22?
True
Let o(u) = u**2 + 2*u. Let n be o(-2). Suppose -3*w + 3*f + 45 = 0, n = w + w - f - 28. Let l be 13/(-2) + w/26. Is -6 greater than or equal to l?
True
Let w be (39 + 0)*(1 - 0). Let o = 157902 + -157872. Is w greater than o?
True
Let z = -1219 - -1206. Let n = -29 - -86/3. Is n at most as big as z?
False
Let z = -3.948 + 2.948. Let h be ((-8)/(-6) + -1)*39. Which is smaller: h or z?
z
Suppose -2*d + 238 = -d - 3*w, 674 = 3*d + w. Let h = -226 + d. Is 2/13 <= h?
False
Let t = -495219070/13 - -164917101842/4329. Let z = 2114 - t. Which is greater: 0 or z?
0
Suppose -22*y - 19 = 3. Let o(u) = 8*u**2 + 2*u + 3. Let d be o(y). Is d greater than or equal to 17/2?
True
Suppose 0 = t + 2*t. Let r(o) = -3*o**2 - 51*o + 1. Let v be r(-17). Let m be (-8)/(3 + v)*(-9)/6. Which is greater: t or m?
m
Suppose -5*h = 5*i - 20, -4*h + 7*i + 7 = 2*i. Let f(z) = -2*z**3 - z**2 - 3*z - 4. Let p be f(h). Let s be (-20)/50 + p/10. Are -2 and s equal?
False
Let j = -2694 + 2682. Which is greater: 3 or j?
3
Suppose -108 = -0*a + 2*a. Let o be 27/(1161/15953)*1/(-7). Is o at most as bi