- (-5 - (-1048)/8). Does -1290/11 = f?
False
Suppose -3*w + 455 = 14. Let t(k) = 846*k + 4377. Let m be t(-5). Is m smaller than w?
False
Let k(r) = 84*r - 12. Let m be k(4). Let c be 2/(m/(-66) - -5). Is 25 equal to c?
False
Let r = -0.87 - 16.03. Let l = 4.9 + r. Let f be (-30)/56 - (-4)/14. Which is smaller: l or f?
l
Let j = 48 + -21. Let v = 29 - j. Suppose o + 2*n + 7 = -v, 5*o + 25 = -5*n. Is o < 1/8?
True
Suppose 3*l - 2549 = -4*d, -3*l - 728 = -2*d + 551. Let r = d + -619. Which is smaller: r or 18?
18
Suppose 2*k - 1251 = -5*y - 91, 3*k + 3*y = 1749. Suppose -12*j = 2283 + k. Does j = -238?
False
Let a = 115 + -111.73. Let g = a - 132.27. Is 0 smaller than g?
False
Let m = -45985/41346 - -5/4594. Which is smaller: m or 6.82?
m
Let i be 2 + 180/(-87) + (45402/667 - 54). Let o(n) = -n**3 + n**2 + 1. Let f be o(-2). Which is greater: f or i?
i
Let x(b) = -b**2 + 99*b + 307. Let n be x(-3). Let w(j) = 65*j**3. Let m be w(-1). Are n and m unequal?
True
Let d(v) = v**2 + 129*v + 1954. Let n be d(-18). Which is smaller: -47 or n?
-47
Let l be (-2 - 0)*4/8. Let a = -103586.824 - -103587. Is a at most l?
False
Let b(w) be the second derivative of w**4/12 + 7*w**3/3 + w**2 - 18*w. Let k be b(-6). Which is smaller: k or -48?
-48
Let f = -110.2 + 943.2. Let n = -832.66 + f. Which is bigger: 2/5 or n?
2/5
Let n be 909/(-36) + (7 - 54/8). Are -178 and n nonequal?
True
Let c = 1257 + -1235. Let r(l) = l**3 + 3*l**2 + l + 5. Let j be r(-4). Let q = 9 - j. Which is smaller: q or c?
c
Let g = -158 + 157.9751. Let l = 1.9751 - g. Let f be 8/(-10)*(-1)/(-4). Which is smaller: l or f?
f
Let i = -22 - -21. Let u be 6/45 + (-27)/432 + 1339/(-80). Is i > u?
True
Suppose 4*o = -5*v + 16, -5*o = 34 - 29. Is 0.0636 at least v?
False
Let w = -570.87 - -537.9. Let x = w + 33. Let n = -3.89 + -0.11. Is x < n?
False
Let p = -72 - -75. Suppose 156 = -t - p*t. Let k = 35 + t. Is k != -3?
True
Let c be (-6)/3 - (-441)/336. Which is smaller: c or -2?
-2
Let k = 6.5 - 3.3. Let z = -5.6 + k. Let m = 6.4 + z. Which is greater: m or -2?
m
Let m be ((-892510)/(-1341))/((-5)/(-18)). Is m less than 2403?
True
Let n(q) = 62 - 22*q + 13*q**2 - 12*q**2 - 17*q. Let z be n(25). Let i = 1431/5 + z. Is i smaller than -1?
True
Let q be 324/189 - (-40)/(-56). Is q != 58/489?
True
Let t = -317 + 299.1. Let n = t + 19. Which is smaller: n or 0?
0
Let s be (12/6)/((-233)/(-77) + -3). Let r be 5/120*1868 + (-2)/(-12). Is r > s?
True
Let z = 70474280691478979104120911/312582200 - 225458393636870491. Let h = 5/223273 - z. Let d = 1/200 + h. Which is smaller: 1 or d?
d
Let l(r) = r**2 - 2*r - 11. Let z be l(6). Suppose 6*h - z = 29. Suppose -h*s - 60 = -s. Which is greater: s or -47/5?
-47/5
Let h(q) = -q**3 - 20*q**2 + 25. Let r be h(-20). Let z be 0 + -2*(0 - -2). Let t be 2*5*(-10)/z. Is t smaller than r?
False
Suppose 2*o + 0*o = -40. Let x(j) = 28*j - 30. Let b be x(7). Let k be b/(-10) + -4 + 4/(-10). Do k and o have the same value?
False
Let g = -2/179951 + 17635332/12056717. Which is smaller: g or 2?
g
Let v be (-22)/(-45) + (-132)/110. Which is smaller: v or -1?
-1
Let k = -307 - -186. Let z = k - -1209/10. Let d(b) = -2*b**3 - 62*b**2 - 115*b + 28. Let v be d(-29). Which is greater: v or z?
z
Suppose -19*h - 204 = -17*h. Let a be ((-36)/h*2/3)/(-3). Is a at most as big as 1?
True
Let u be (-3968)/(-768) - (2/12 - 0). Suppose 4*t - 9 - 3 = 0. Which is bigger: t or u?
u
Let i(y) = -2*y + 12. Let k be i(6). Let b = 5 + k. Suppose -24 + 29 = b*r. Are 4/13 and r non-equal?
True
Suppose 55*m - 6 = 53*m. Suppose m*n - 28 = -4*n. Suppose 3*t + 2*r - 23 = -2*r, -2*t + 3*r = -n. Which is smaller: t or 2?
2
Let n = 333.5 + -334.264. Which is smaller: -2 or n?
-2
Suppose 48*a - 18968 - 13336 = 0. Which is bigger: 674 or a?
674
Let k(i) = 3*i**3 + 5*i**2 - 3*i + 1. Let q be k(-2). Let l be (-369)/q - (-4 - -6). Which is bigger: l or -127?
l
Let a be 732/427*(-553)/(-22). Which is smaller: 42 or a?
42
Let w be (-50720)/1868000 - (-1)/25. Is 0 > w?
False
Let j = -21.8 - -274.8. Let s = j - 146. Which is smaller: -0.1 or s?
-0.1
Suppose -3*t = -8*t + 5*g - 5, 3*t = 2*g - 2. Suppose t = -30*x + 39*x. Which is smaller: -1/90 or x?
-1/90
Let g be ((-17)/10)/(16/(-40)) - 4. Let o = 23704422 - 61987070339/2615. Let x = o - -2/523. Is g > x?
True
Let k be ((-219)/292 - (-8)/6)/(1/(-51)). Let z(a) = -8*a + 2. Let y be z(4). Which is smaller: y or k?
y
Let t be (4/(1 - -3) + 2)*(-252)/140. Suppose 4 = 3*j + 1. Suppose -h = 3 + j. Is t less than h?
True
Suppose -q - 1 = 4*i, 5*i - 30*q - 1 = -29*q. Which is bigger: 2/6905 or i?
2/6905
Let p = -120.23 - -1.23. Let t = p + 124. Which is smaller: t or -0.3?
-0.3
Suppose -4*u - 4*r + 1 + 11 = 0, 4*u - 12 = 5*r. Let i = -5416/5 + 1086. Which is bigger: i or u?
u
Let z be -2 - (-2)/((-104)/(-91)). Which is smaller: 0.458 or z?
z
Let s = -7 - 14. Let l be 14/s - 38/6. Let a(o) = -7*o + 129. Let k be a(19). Are l and k unequal?
True
Let s(n) = 2181*n**3 + n**2 + 3*n + 7. Let t be s(-3). Let c be 2/(-12) - t/336. Let u = c - 175. Which is greater: u or -0.1?
u
Let q = 4317/560 + 3/560. Is q < 16?
True
Let l = 87237189957047/18753 - 4651905825. Let c = -5/987 + l. Which is smaller: c or 2?
c
Suppose 0 = 5*h + b - 27, -4*h - 3*b + 5 = -10. Suppose -u - h = -1, 3*g - 4*u = 23. Let m be (3/14)/((-3)/g). Which is smaller: m or -1/4?
-1/4
Let p(c) = c**3 + 21*c**2 - 10*c + 34. Let r be p(-17). Is r less than 1364?
True
Let i = 12667 - 12668. Is i at most as big as -8617/2?
False
Let n = -5006101035 - -177215976660637/35400. Let i = -46/75 + n. Which is smaller: -1 or i?
-1
Let c = 16 + -17. Let v = 10 - c. Suppose 2*u + 9 = 5*r - 2*r, 3*u - 4*r + v = 0. Which is bigger: u or 4?
4
Let l = -210668 - -767463532/3643. Is 1 at most l?
False
Let a = 54 - 56.1. Let p = a + 2. Let r = 42 - 42.4. Which is greater: r or p?
p
Let s = -170/3 + 47. Let l be 9/12 - (17100/(-16))/(-5). Let w = l + 202. Is w at most as big as s?
True
Let r = 6857 - 6859. Which is smaller: 1735 or r?
r
Let c = -3990/47 - -14810927/174464. Which is greater: -1 or c?
c
Let b = -63596207/8 + 8009138. Let r = b + -59694. Let l = -82 - r. Which is bigger: l or -1?
l
Let p be 263/2893*(-1 - -1). Are 29/197 and p nonequal?
True
Suppose 26*x = 18*x. Suppose 4*t + 5 = -5*h, 3*h - 2*t = -3 - x. Which is smaller: h or -11/13?
h
Let l = -279 - -281. Suppose 14 = -12*g + l. Which is smaller: 3/47 or g?
g
Let w = 2490 - 2962. Are w and 5 equal?
False
Let j be (-80)/6 - (0 + (-6)/(-9)). Let w = -8430 + 8421. Which is greater: w or j?
w
Suppose -46 = -11*v + 372. Suppose -6*x = -v + 2. Let g be (4/x + 0)/(4/(-18)). Which is greater: g or 7/5?
7/5
Let t(v) = -34*v**2 - 54*v - 393. Let b be t(-6). Is -1292 >= b?
True
Let c(b) = -630*b - 13 - b**2 - 31 + 600*b. Let a be c(-29). Are -9 and a nonequal?
True
Let a be ((-1350)/5625)/(104/4330) + 10. Let y = -6 + 5. Is a smaller than y?
False
Let v = -22344 - -22357. Which is bigger: v or 35?
35
Let h(f) = -f**2 - 21*f - 8. Let n(i) = -i**3 - 24*i**2 - 41*i + 45. Let l be n(-22). Let s be h(l). Which is smaller: s or 8?
s
Suppose -3*p - 359 + 404 = 0. Let y = -22 + 26. Suppose 3*f = 5*f + v - 1, 0 = y*f + 5*v - 5. Which is greater: p or f?
p
Let r(w) = 5*w**2 - 6*w - 2. Let v be r(6). Suppose 30*p - 32*p = 302 - 586. Are v and p unequal?
False
Suppose -21*y = 24*y + 46 - 1. Which is bigger: y or -2/14781?
-2/14781
Let i = -28 + 26. Suppose -2*w = 4 - 8. Let x be ((-12)/9)/(-4) + -2 + w. Is x equal to i?
False
Let f = -19 + -6. Let c = -73 - f. Let p = c + 48. Is 23 at most as big as p?
False
Let i be (173536/(-320) + 38)*5/9. Which is greater: -280 or i?
-280
Let f be 36*(2365/44 + 8) - 4. Which is bigger: 2214 or f?
f
Suppose -3*v + 22*f - 17*f = 22, -2*f = -7*v - 3. Which is greater: -1/743 or v?
v
Let q = 18 - 15. Suppose 4 = z, -q*c + z + z + 1 = 0. Let a be (3 - 28/3) + 3 + c. Is a not equal to 1?
True
Suppose 0 = -131*d - 17*d + 296. Let p = 3.2 - 3.147. Let g = p - 0.01. Which is smaller: d or g?
g
Suppose 0 = -3*l + 6*a - 10*a - 5726, -2*a - 3820 = 2*l. Is l at most -1916?
False
Let s = -3507 - -3469. Which is smaller: s or 42?
s
Let y be 6/(-5)*170/(-68). Suppose 5*d + 7*u - 10*u - 34 = 0, y*d - 18 = u. Which is smaller: 4 or d?
4
Let k = 70939 - 141877/2. Let s 