or -66/5?
-66/5
Let s be ((-16)/2)/(6/(-3)). Suppose 2*g + 23 = s*v + 61, 45 = -5*v + 5*g. Let f = -0.05094 + -0.94906. Is f smaller than v?
False
Let v = -22 - -24. Let r(o) = 7*o + 7*o**v + 4 + o**3 + 2*o - o. Let a be r(-5). Is 9 at most a?
True
Suppose 29*g + 16358 = -270*g + 67487. Let x(p) = -6*p**3 + 2*p**2 + 4*p + 3. Let d be x(-3). Does g = d?
True
Let w = 118336/263789 - 113/263. Do -1 and w have different values?
True
Suppose 195*j + 5365 = -82 - 1378. Do j and 8 have the same value?
False
Suppose 5*i + 1068 = -5*l + 133, 4*i = 4. Let r = l - -170. Which is smaller: r or -84/5?
r
Let b = 66 - 117. Let h = 5453.1 - 5453. Which is bigger: h or b?
h
Let c be 4/(-10)*(4 - 144). Suppose -5*v = -5*l + 255, -3*l - 2*v + c + 72 = 0. Let s = l - 34. Is s greater than or equal to 12?
True
Let r(u) be the first derivative of 2*u**3/3 - 5*u**2/2 - 3*u - 25. Let k be r(3). Suppose 0 = 3*o - k*x - 5*x - 39, -2*o = x - 26. Which is bigger: 11 or o?
o
Let k = 544 - 605. Let w be (-1 + -1)*(33 + -1 + -2). Is w < k?
False
Let p = 42/19 - -87/38. Suppose 3*q = -2*c - 17, c - q - 17 = -18. Let t be (-6)/(-1 + -2) - c. Is p bigger than t?
False
Suppose -5*s = -7*f - 412, -2*s - 3*f = -38 - 150. Which is bigger: 92 or s?
92
Let a = 11 - -23. Let w = -33.4 + a. Let r = w - 16.6. Is r at least as big as 0?
False
Let q(o) = -124*o + 249. Let u be q(2). Let d = 594/25 + -189536/7975. Do d and u have the same value?
False
Suppose 49*z = -8*z + 30438. Is 531 < z?
True
Let y(r) = -r**2 - 12*r + 8. Let l be y(-10). Suppose -2*x - 26 = -l. Let f be (-2*x + 72/27)*9. Is 0.3 less than f?
True
Suppose -y - 45 = -4*y. Let m(s) = 5*s**2 + 378*s - 3329. Let w be m(8). Is w less than y?
False
Let h be (-15 + -7)/((-84)/86 + 3/3). Is -948 != h?
True
Suppose 0 = 9*l - 6*l + 330. Let z = 134 + l. Suppose 2*h - 8 = 2*m, z = m + 5*h + 4. Which is smaller: 18 or m?
m
Let o = 79 + -15. Let i = 1121.9 + -1214. Let t = i - -92. Do o and t have the same value?
False
Let o = -152 - -26. Let p = o - -113. Which is smaller: p or -11?
p
Suppose 18 = 3*g - 0. Let t be (g/9)/(4 - 40/(-12)). Suppose 0 = 3*p + 2*l + 1, 4 + 2 = -2*p - 4*l. Which is smaller: t or p?
t
Let d = 125/21 - 1613/273. Let w be (4 + -1)/(9/(-3)). Which is smaller: d or w?
w
Let o(s) = s**3 - 10*s**2 + 4*s - 1. Let p be o(9). Suppose 781 = 6*i + 1039. Let v = i - p. Which is smaller: v or 2?
2
Let k be 1/(-2 + (-10)/(-4)). Let d(p) = p**3 + 7*p**2 + 10*p + 9. Let y be d(-5). Suppose -y*x = 114 + 48. Which is bigger: x or k?
k
Suppose 12*g - 22*g = -680. Let c(x) = -x**2 - 11*x + 15. Let v be c(-12). Suppose -4*s - n - g = 4*n, -v*s - 40 = n. Is s smaller than -10?
True
Let m = 1282.9 - 1283. Is m at most 2175?
True
Let i(l) = -2*l**3 + 115*l**2 - 34*l - 1240. Let j be i(57). Which is smaller: j or 20?
20
Let h = -309.496 - -324.8. Let u = h + -0.104. Let s = u + -15. Is s equal to -3/4?
False
Let t be -13723 + -1*(46 + -23). Which is bigger: -13745 or t?
-13745
Let t(s) = -s + 14. Let f be t(5). Let c(q) = q + 13. Let p be c(-10). Suppose -4*r = -5*i + f, -6 = -p*i - 3. Is r at least as big as 3/41?
False
Let u = 0.09 + 0.01. Let w = -0.15507 - 360.84493. Which is greater: w or u?
u
Let d be (1 + 0)/((-3)/(-360)). Let p be (39 - (-9)/(-3))*(108/81 - -2). Is p at least as big as d?
True
Let p be ((-2024)/(-1035))/((-5)/25). Is p less than or equal to -10?
False
Let f be (1752/160 - 11)/((-2516)/(-48)). Which is smaller: f or -1?
-1
Let r(q) = 9*q**2 - 4*q - 1. Let n be r(-1). Let c be (2/4 - 0)/(426/n). Which is greater: -1 or c?
c
Let v(n) be the third derivative of 0*n - 13/24*n**4 + 0 + 1/60*n**5 + 3*n**3 + 13*n**2. Let l be v(11). Is l greater than -5?
True
Let u be (7*96/1400)/((-831)/20). Which is smaller: u or 0?
u
Let v(q) = q**3 + 3*q**2 - 5*q. Let b be v(-4). Let a = -163 + 283. Let z be ((-32)/a)/(b/(-10)). Is z smaller than -1/3?
False
Let d = 367.748 - -0.252. Let g = 368.33 - d. Which is smaller: g or -2?
-2
Let s(c) = -14 + 2 + 11*c + 8. Let q be s(1). Let v(i) = i**3 - 28*i**2 - 29*i + 9. Let a be v(29). Are a and q equal?
False
Let i(a) = 15*a**2 - 16*a + 51. Let w be i(4). Which is smaller: 2488/11 or w?
2488/11
Let t(b) = b**3 - 16*b**2 + 76*b - 32. Let g be t(10). Which is smaller: 0.07 or g?
0.07
Let y = 37/19 - 534/323. Which is smaller: 12 or y?
y
Let z = -1987.77 + 1990. Which is smaller: -3/4 or z?
-3/4
Suppose 482*h - 156 = 404*h. Is h > 160/113?
True
Let n = 249 + -353. Let a = -322 - n. Which is greater: -217 or a?
-217
Let o = -8831 + 8830.5. Which is greater: 0 or o?
0
Suppose -226*c + 233*c = 1036. Suppose -4*s - 144 = -4*k, 18*k - 21*k + c = 5*s. Which is greater: 39 or k?
k
Let f(u) = -u - 32. Let d be f(-10). Let w = -28 - d. Let s be 4/(-3)*w/116. Is s greater than or equal to 0.2?
False
Let x be ((-141)/(-15) - 2) + (-75)/25. Let f = -47 - -59. Let y = f + -7. Which is bigger: x or y?
y
Suppose -5878 - 6120 = -13*r - 3782. Which is greater: 629 or r?
r
Let p be (-2)/(-1) - (10 + -20). Suppose 10 = 2*b + p. Which is greater: 74 or b?
74
Let p = -329.54 + 329. Let f = p - 14.46. Is -1 greater than f?
True
Let l = -2242943/531 - -4224. Suppose -96*r - 586 = -490. Which is smaller: l or r?
r
Let s(z) = 2*z**2 - 1. Let q be s(1). Let k = 47/787 - 1857/57451. Do k and q have different values?
True
Let z = 38 + -37. Let l = 7739/78 + 107/26. Let w = 97 - l. Is w smaller than z?
True
Let j be 406/(-80) - (7 - (-432)/(-60)). Are j and -4 unequal?
True
Suppose 30*n = 57511 + 32429. Are n and 2998 equal?
True
Suppose -49*s + 53*s - 2928 = 0. Suppose -729*r = -s*r. Is 318 at most as big as r?
False
Let r be -11 + 23 + (-620)/50. Which is bigger: r or 5/654?
5/654
Suppose 24*p = -26*p. Which is smaller: p or 1/2524?
p
Suppose 0*l - 24 = -3*l. Let i be ((-2844)/(-24))/(24/16). Suppose 23 = l*q + i. Are -7 and q equal?
True
Let c = 1906.05389 + -0.05389. Which is smaller: -2/9 or c?
-2/9
Let m = 44.1 + -45.1. Let d = -23.18 - -23. Is d bigger than m?
True
Let m = -79 + 82. Suppose m*o + 744 = 27*o. Which is smaller: o or 1?
1
Let k = 1283 - 1489. Which is greater: -208 or k?
k
Let m(t) = -t**2 - 2*t - 3. Let k be m(-5). Let f(b) = -b**3 - 102*b**2 - 16. Let a be f(-102). Is k <= a?
True
Let s = -6203/17 - -365. Suppose a + 2 = -3*r, 4*a - 3*a = -2*r - 3. Which is smaller: r or s?
s
Let a = 6.6 - -1.4. Let s(g) = 3*g**3 - 227*g**2 - 247*g + 13000. Let u be s(76). Is u greater than or equal to a?
False
Suppose 3*d = 18 - 3. Suppose 12*j - d*j - 63 = 0. Suppose -14*m + j*m = -70. Which is greater: m or 13?
m
Let a = -46.5 - -47. Let r = a + -1.28. Let k = r + -0.02. Which is smaller: k or -2?
-2
Let u = -448 - -278. Let j = u - 73. Is j greater than -0.1?
False
Let h be 1/(-9) + 7657/(-4959). Which is greater: -2 or h?
h
Let p = -156090 + 156091. Let x = -11079 + 4387115/396. Let s = x + 9/44. Which is bigger: s or p?
p
Let m be (-3)/2 - (-321)/2. Suppose -155*f = -m*f + 20. Is f at most as big as 1?
False
Let x = 0.02376 - -489.97624. Is -0.3 < x?
True
Suppose 3*z - 34*b + 35 = -30*b, 138 = -2*z + 17*b. Let h = -556243/57 + 9759. Do h and z have the same value?
False
Let s(f) = 8*f**2 + 348*f + 10*f**2 - 342*f + 40. Let b be s(-5). Is 458 < b?
True
Let c be 5 - 81/45 - (0 + 4). Is -16 greater than or equal to c?
False
Let g be (2/8)/((-609)/(-112) - (-8 - -13)). Which is smaller: g or 0.159?
0.159
Let i be (107 - 103)/((-51)/(-3)). Is -0.0194 at most as big as i?
True
Let r(z) = -z + 1. Let o be r(3). Let p be o + 232/396*(-2 + 5). Let t = p + -1/11. Do t and 0 have different values?
True
Let v be 177/(-12) - 6/(-8). Let k be ((-188754)/(-31452) - 6)*(-8)/v. Let l = k - -68128/23589. Which is bigger: 4 or l?
4
Let s = 271 - 117. Let j = -166 + s. Which is smaller: 2 or j?
j
Suppose -4562 = 13*n + 376 + 2264. Which is greater: n or -551?
-551
Let a = -1 - -0.996. Let s(b) = b**2 - 8*b - 345. Let g be s(-15). Which is smaller: a or g?
a
Suppose 515*k - 512*k - 114 = 0. Suppose -3*t - k + 227 = -j, 2*t + 589 = -3*j. Is j bigger than -195?
False
Let p = -71 - -28. Let l = -38 - p. Suppose -l + 9 = 4*w. Is -1/16 smaller than w?
True
Let j(h) = -7*h**2 - 3*h + 23. Let m be j(-8). Let l = m + 414. Is 5 at most as big as l?
True
Let u be (-1595)/165*3/(-5) + -7. Let g(b) = -3*b - 2. Let r be g(-3). L