5/70). Which is smaller: h or -3/4?
-3/4
Let m(f) = -2*f**2 + 14*f - 259. Let q be m(11). Which is bigger: -350 or q?
q
Let t = 225674/11 - 20490. Is 26 greater than t?
True
Let q be 100/6*((-30)/5 + 3). Let y be (10/q)/((-4)/(-5)). Do y and 178 have different values?
True
Suppose -1177 = 2*f + 3*k, -4*k = 14*f - 11*f + 1768. Let g = 1125 + f. Which is greater: g or 528?
g
Let g = -983 - -935. Let p = -17 - 31. Is p equal to g?
True
Suppose -100*b + 165 = -115*b. Let w = 52 - 73. Let m = w - -9. Which is greater: b or m?
b
Let w(o) = o**2 - 173*o - 6. Let i be w(-4). Is i bigger than -0.02?
True
Let i(t) = -t - 1329. Let q be i(19). Does q = -1345?
False
Suppose 0 = -n + 8 - 6. Suppose 4*h = c - 7 - 5, -5*c - 6 = n*h. Is c smaller than -2/57?
False
Let u = -109.88 - 1.12. Let r = u - -254. Which is greater: -0.1 or r?
r
Suppose 84 = 4*h + f, 2*h - 2*f - 33 = 19. Which is smaller: h or 16?
16
Let v(i) be the first derivative of -171*i**2/2 + 40*i + 240. Let p be v(2). Is p > -302?
False
Let v = 2744/9 - 306. Suppose 4*d = 0, 5*q - 4*d - 3 = -13. Let k be (1*2)/(5/10*q). Which is bigger: v or k?
v
Suppose m + 68 = 4*y + 67, 2*m + 2 = -4*y. Which is smaller: -8/2595 or y?
-8/2595
Let n = -93 - -99. Let r(w) = 3*w**2 - 22*w + 10. Let f be r(n). Let c be -6*(0 + -6)*2/f. Is -6 >= c?
False
Let n(i) = 75*i - 2649. Let c be n(44). Which is greater: -3/5 or c?
c
Let i = 6669 + -7005. Let o = -124 + -211. Is o at least i?
True
Let p = -2108 - -2108. Is p less than or equal to -2/19509?
False
Let n(d) = -d**2 + 1635*d + 8201. Let z be n(-5). Which is greater: z or 84/1405?
z
Let q = 74.6 + 30.4. Let b = 105.06 - q. Which is greater: b or 11?
11
Let j = -0.8 - -2.8. Let i = 17.38 - 4.37. Let f = i + -13. Which is smaller: f or j?
f
Let n = -0.5757 - 8.4243. Is -143 < n?
True
Suppose -30*o + 5*o = 50*o + 9825. Does -662/5 = o?
False
Suppose -28*p + 22 = -17*p. Suppose 0 = 8*f - 6 - p. Is f > 1/176?
True
Let r = 191522 + -434563426/2269. Which is smaller: r or 1?
r
Let r be (5/6 - (-28)/(-42))*3/(-2). Is -28/101 at least r?
False
Let z be (-2)/18*(234/(-12))/(-39). Let m(k) = -k**2 + 6*k + 8. Let i be m(7). Which is greater: z or i?
i
Let j be 2701/7 + 8 + 1. Which is smaller: 395 or j?
j
Let v = 9 - 5. Let a(z) = -z**3 + 21*z**2 - 19*z - 17. Let i be a(20). Let d be (-1)/i - (-620)/1302. Which is greater: d or v?
v
Let i be 12177/(-14182) - 198/(-231). Which is smaller: -1 or i?
-1
Suppose 7*b = 3*b + 3*o + 40, o + 30 = 3*b. Suppose b*f - 144 = 28*f. Which is smaller: f or -10?
-10
Let r be 9 + (-7 - 310/50). Is -4 bigger than r?
True
Let w(l) = l**2 - 3*l - 9. Let u be w(4). Let b be (-10)/(-25) + 97/u. Suppose 56*s - 6*s + 850 = 0. Which is smaller: s or b?
b
Let w be (-1)/(-4) - (-154)/(-8). Suppose 0 = 18*k - 10*k - 48. Suppose r + 15 = -4*h, 2*r = k*r + h + 75. Does w = r?
True
Suppose 4*y = 6*y. Let q be (1 - 17/16)/(565/(-154132)). Let a = q - 17. Is a > y?
True
Suppose 4*q + 0*c + 4*c = 0, -3*c - 16 = -q. Suppose -q*h + 3*v = h + 15, -v = -2*h - 7. Is -46/7 less than or equal to h?
True
Let s = -15497364/1535 - -10096. Is 1 < s?
False
Suppose 5*r + 11*u - 99 = 9*u, 0 = -2*r - u + 40. Suppose 0 = -3*q + 2*j - r - 82, -q - 5*j = 28. Let s be (-2)/(-9) - q/(-27). Are -9/17 and s nonequal?
True
Suppose -5*d - 5*b - 20 = 0, -11*b + 51 - 87 = 3*d. Which is smaller: d or -26/879?
d
Let g be (-96500)/(-875) + (-2)/7. Which is smaller: g or 109?
109
Let y = 6242 - 6896. Is -2 greater than y?
True
Let v = 571/26 + -49939/2210. Which is smaller: v or -1?
-1
Let c = -69.46 - -71. Let q = 0.46 + c. Is q >= -3/31?
True
Suppose 8*j = 14*j + 12*j + 37908. Is j greater than or equal to -2106?
True
Let v = -52 + 55. Let p be -1 + 4 - 3/v. Suppose -2*s + 5*w = -6, 0*s + p*s + 30 = -4*w. Is s != -7?
False
Let c be (6 - -113)*1 - (8 - 3). Let f be 12/c + 3200/(-76). Which is smaller: 0.12 or f?
f
Suppose -11*c + 141 = -68. Suppose -377 - 117 = c*u. Which is greater: -74/3 or u?
-74/3
Let c = 89.9 - -19.1. Let v = c + -216. Which is smaller: v or 1?
v
Suppose -3*b = 5*k - 504, -b - k + 112 = -54. Is b bigger than -1/22?
True
Suppose 3*s - 250 = -2*s + 2*d, -203 = -4*s + d. Let p be (-5 + s)*(0 - -1). Suppose -2*z + 5*l + 99 = 42, -11*z = -l - 499. Is z at least as big as p?
False
Suppose -3*w - 5 = 4*z, -w + 1 = -0*z + 4*z. Let y be (w + 2)*-3 + 9698/(-3250). Let n be (10/(-15))/(2/(-3)). Is n != y?
True
Let j be (-10)/(4 + 3/(-1)). Let i be (-5 - j) + -6 + -30. Is i at least -32?
True
Let n = -12491 + 7369. Is n at least as big as -0.1?
False
Let g = -187 - -22. Let v = g + 164.7. Do v and -0.13 have the same value?
False
Let l be (33/(-20))/(119634/119292 - 1). Let q = l - -1151/2. Which is smaller: 0 or q?
q
Let m(d) = 2*d**2 + 12*d + 3. Let s be m(-6). Let f be s/9 + -2 + 215/120. Is f greater than -2?
True
Let r = 1484 - 149882/101. Let j = r + -1727/505. Is j equal to -4?
False
Let a = 4698.8 - 4699. Which is smaller: a or 410?
a
Suppose -5*u + u = 3*h - 17, -2*h = -u + 7. Suppose 15 = 3*m + 3. Suppose y = -m*w - u, 2*w + y + 2*y + 5 = 0. Is 1/93 smaller than w?
False
Let k(a) = 55*a - 678. Let h be k(12). Suppose -5*j - 18 = -p, 0*p - j + 54 = 3*p. Let z = h + p. Which is smaller: -1/8 or z?
-1/8
Let p = 22.7 - 26.5. Let n = 3.3 + p. Is n less than -2/17?
True
Let n = 42779/18702099 + -1/20943. Suppose 235 - 214 = 291*m - 270. Which is greater: n or m?
m
Let m = -303 + 294.3. Let f = 17.7 + m. Is f smaller than -19?
False
Let n be 4/(-34) - (-69265)/(-85). Which is bigger: n or -816?
n
Let o = -212 + 96. Let c = 114 + o. Is c at most as big as 21?
True
Let y = -485 - -494. Suppose 19 = 13*n - 150. Is y > n?
False
Let c = -3880 - -3827. Which is smaller: c or -46?
c
Suppose 895 = -4*g - 2225. Let r be (6/8)/((-13)/g). Let f be 388/15 + 6/r. Is 26 not equal to f?
False
Suppose 221 = -17*c + 18*c - w, 0 = c + w - 227. Suppose -b + 3*b - k - 447 = 0, -6 = -2*k. Which is greater: b or c?
b
Suppose -4*a = -2*g - 2788, -14*a = -13*a + 2. Is g >= -1398?
True
Let v = -24 - 29. Let p = 8.6 + 43.4. Let t = p + v. Is -4 less than t?
True
Let m be (-2)/(-4)*3*-42. Let p be (-1)/(-2)*(-3 + 13). Let a(z) = -7*z - 28. Let w be a(p). Is w at most as big as m?
True
Let z = 45185/187 - 3471/17. Is 36 <= z?
True
Let k = -82 - -169. Suppose -5*x = k - 882. Let z = x + -1753/11. Which is smaller: -2/7 or z?
z
Let g be (-4)/38 + (-1471059)/(-15010). Let s = 50 + -148. Let r = g + s. Is r at most 1?
True
Let c(j) = 190*j**2 - 7*j - 112. Let k be c(0). Let v = -176 - -65. Which is greater: v or k?
v
Suppose 1124 = 12*u + 10256. Let m = -667 - u. Are m and 96 nonequal?
True
Suppose 0 = -152*i - 2083 - 39413. Is i < 5/4?
True
Let u = 27130 + -45876836/1691. Which is greater: -0.1 or u?
u
Let t = -354 + -382. Let i = -16931/23 - t. Which is bigger: i or 0?
0
Let d be (-9)/(-54)*-298*5. Let b = d - -249. Are -1/15 and b non-equal?
True
Let w be (-62)/(-4) - (-4)/(-8). Let q = w + -6. Let x = -1037 - -1048. Is q at most as big as x?
True
Let p = -7.726 - -7.736. Which is smaller: p or -0.23?
-0.23
Let b = 27 + -11. Let k = -980 - -982. Does k = b?
False
Let h = -111 - -95. Let s = 17 - 0. Let d = s + h. Does d = -6?
False
Let a be (6/(-24)*34)/((-1)/2). Suppose f - 10 = -4*g, 13 = -5*f + 2*g - 3. Let j(b) = -10*b - 2. Let w be j(f). Is w at least as big as a?
True
Let y be 6 + -16 - 19/(19/1654). Is y < -1661?
True
Let b = -0.0612 + 246.0612. Let a = -246 + b. Let u = 0.8 - 0.3. Which is greater: u or a?
u
Let y(q) = q**3 - 10*q**2 - 36*q + 2. Let x be y(14). Suppose 4*u = -590 - x. Which is smaller: -220 or u?
-220
Suppose -177*j + 166*j = -1210. Suppose 4*q = 3*h - 5*h - j, -4*q = 12. Which is smaller: h or -1?
h
Suppose -10*t + 33*t = -2806. Let d be (-10)/25*(-10)/t. Is -1 less than or equal to d?
True
Suppose -3*m - 27 = 21. Let s be (18854/3740)/(17/2). Let p = -2/289 - s. Is m <= p?
True
Let z be 240/280 + 10/(-35)*-7. Suppose 4*h - a = 7, h + 4 = -h + 2*a. Suppose -18 = -5*f - h. Is z at most as big as f?
True
Let d be (-1 + 2)/((-43)/86) - (-1160)/(-215). Is d greater than or equal to -6?
False
Let i be 267/(-4) - 3/(-4). Which is smaller: -1/3 or i?
i
Let m(h) = -h**2 - 120*h - 340. Let d be m(-67). Does d = 3211?
True
Suppose 8*w = -160 + 352. Suppose 0 = 3*h + 3*u + w + 432, 