: 0.13 or s?
0.13
Let c = 1/1300 + -339/18200. Let q(r) = -76*r - 305. Suppose -3*n + 11 = -2*m, -2*n + 0*n - 2 = m. Let t be q(m). Which is smaller: c or t?
t
Let p = 185.682 + -186. Let w = p + 3.818. Which is smaller: 0.1 or w?
0.1
Let a be 153/20859*(3 + -10 + 1). Is -1 at least a?
False
Let a be (-1 + (-10)/(-6))*(-378)/(-84). Let i be ((-75)/(-5))/3 + 6/a. Suppose 8 = d + 2*x, 3*x - 5 = 3*d + i. Is d greater than 6/7?
False
Suppose 108 = a - 4*a - 4*l, -l = 2*a + 67. Let b = 83/5 + -957/20. Is b not equal to a?
True
Let f be (3120/(-21))/1 - 12/28. Is -147 greater than or equal to f?
True
Let h be (-11)/4323*2/(-5). Let g = h - -13729/25545. Let q(n) = -n**3 - 2*n**2 + n + 2. Let v be q(0). Is v < g?
False
Let w(z) = 4*z - 4. Let g be 1/(-1) - (-4 + -1). Let n be w(g). Let l(m) = 1514*m + 31805. Let f be l(-21). Which is greater: f or n?
n
Let w = 189 - -10. Suppose -4*z = 25411*u - 25410*u - 235, 4*u - 751 = 5*z. Is w smaller than u?
False
Let m be ((-135)/180)/(1 - -1*47/(-48)). Which is smaller: 7 or m?
m
Let o = -12143 - -10802. Is -1341 < o?
False
Let f be (-1 + 58/55)*325/(-130). Which is smaller: -117 or f?
-117
Suppose -2*y = -k - 4, 439*k = 441*k - y + 14. Is -192/25 bigger than k?
True
Let s(k) = 29*k**3 - 10*k**2 - 15*k + 9. Let g be s(-4). Is -1947 less than or equal to g?
True
Let t be 4/6 - 3/(36/20). Let d = -78 + 191. Is d equal to t?
False
Let x be 7646/(-14) + -1 + 2. Let v(k) = k**3 - 7*k**2 - 19*k + 11. Let j be v(-7). Let q = j - x. Which is bigger: q or 3?
q
Suppose 11*o - 16 = 12*o. Let h be o/(5 + -11 + 4). Is 80/11 < h?
True
Suppose 687 = 14*d - 153. Suppose -125*u = -130*u + d. Let j = -22 + 35. Is u greater than j?
False
Let o = -5607 + 1990483/355. Do 0 and o have the same value?
False
Let s = -4.26 - -77.26. Let f = s + -70. Which is bigger: f or -15/2?
f
Let a be (-188)/7 - (-1)/(-7). Let f = a - -31. Let z be f - -3*2/(-6). Which is smaller: z or 0.2?
0.2
Let d be ((-24)/468)/(7/21). Which is smaller: d or 4/93?
d
Suppose 10*q + 10 = -0*q. Let j be 11 - ((-99418)/(-6215) - 5). Is j at most as big as q?
False
Let y = 208.8 - 179. Let m = -31.8 + y. Let o = -0.43 - -0.03. Is o at most m?
False
Let v = 8.472 - 1.182. Let x = v - 7.26. Which is bigger: x or 0.19?
0.19
Let z be 12*(-2)/(-3) + -2. Suppose -i = r - 19, 3*r = 3*i + r - 72. Suppose y + 3*y = 4, 4*n + 2*y - i = 0. Which is smaller: z or n?
n
Let l be 5/(((-260)/(-24))/13). Suppose l*p + 245 = 455. Which is smaller: p or 38?
p
Suppose 0 = -4*r - r + 40. Let j = -55 + 375. Let l = -320.3 + j. Which is bigger: l or r?
r
Let r(j) = -j**3 + 4*j**2 + 78*j + 8. Let q be r(-7). Let p be (-8)/3 - (-6)/(-18). Let v be (p/54)/(1/(-8)). Which is smaller: q or v?
v
Let j = 136 + -140. Let o = 21 + j. Which is smaller: o or -2?
-2
Let z(c) = -3*c + 17. Let m be z(-9). Suppose 3*j + 56 = m. Let d be 6/(0 - 1)*j/(-18). Which is bigger: d or 0.2?
0.2
Let p be 4/(-14) + 1235/35. Suppose 0 = 2*d - 5*s - 188, d + 5*s - p = 59. Is d smaller than 95?
True
Let b = -68 + 15. Let r be ((-12)/(-8))/(15/(-520)). Let d = b - r. Which is greater: -1/47 or d?
-1/47
Let a(w) be the second derivative of 253*w**3/6 - 39*w**2/2 - 3*w - 15. Let m be a(-2). Which is greater: -544 or m?
-544
Let q = 87 - 87. Suppose -b + 4*w + 16 = q, -4*b + 4*w = 2*w - 92. Let g be b*1*(-2 - 1). Is g < -73?
False
Suppose 3*l - 5572 = 5*k, -k + 2*k + 1128 = 4*l. Let y = k - -4813/4. Let o = y - 1969/20. Is o equal to -8?
False
Let o be (-4 + 22/4)*18. Suppose o*g = 21*g - 18. Is g greater than or equal to -19?
True
Suppose 2*y - 81 = -3*r, 32 = -5*y + 5*r + 172. Let z(p) = -2*p**3 - 3*p**2 - 12*p - 27. Let g be z(-3). Is g less than or equal to y?
False
Let n be (-1215)/(-36)*4 - 8. Which is smaller: 126 or n?
126
Let t(x) = -x**3 + 24*x**2 + 2*x - 43. Let m be t(24). Suppose 0 = c + m, 5*c + 54 = -3*v + 20. Which is smaller: v or 1/2?
v
Let f be (-38)/95 - (3 - 6/((-120)/(-68))). Which is bigger: f or 2/433?
2/433
Let l = 3.51502 + -3.71502. Let f = 0.05 + 0.25. Let j = f + 0.3. Which is smaller: j or l?
l
Suppose 4*s + 308 = -h, 4*s + 308 = 8*h - 7*h. Let j = -78 - s. Let d be (-101)/374 + 6/33. Which is greater: j or d?
d
Suppose 2197 - 1710 = 23*r + 10998. Which is smaller: -460 or r?
-460
Suppose -80*z - 32700 = -13*z - 3287. Is -5 at least z?
True
Let a be 35*(-4)/(-20) - ((-100)/2)/(-5). Which is bigger: -308/141 or a?
-308/141
Let d = 1280 + -1317. Is d at most as big as -37?
True
Let u be (18667/22)/(-2*5/60). Which is smaller: -15271/3 or u?
u
Let k = 1703/7 + -243. Which is smaller: 72 or k?
k
Let x = 15.0331 - 0.0331. Which is smaller: x or -0.1?
-0.1
Let s = 4765 - 4779. Is s at least as big as 40?
False
Let c = -30 - -168. Let m = c - 91. Let v = -45 + m. Which is greater: v or -4?
v
Let s be 0 + (9 - 55/5). Is s equal to -5/2?
False
Let t = -11940 - -203064/17. Suppose 0 = x - 2*x - 4*z - 11, 0 = -3*x + 2*z + 23. Which is bigger: t or x?
x
Let f = -33 + 27. Let v = -656/7 + 3042/35. Are f and v equal?
False
Let b = -157.189 + 157. Let h = -0.089 - b. Is h >= -0.3?
True
Suppose -33*a - 22440 - 19470 = 0. Let n = -3850/3 - a. Is 1/4 less than n?
False
Let b(t) be the first derivative of -t**4/4 - 2*t**3 - 3*t**2 - 7*t + 63. Let l be b(-5). Is l less than 0?
True
Suppose -4*u + 2 = -0*u - 2*y, -4*u - 3 = 3*y. Suppose u = -68*k + 71*k - 12. Let r be (170/45 - k) + 14/(-18). Is 10 != r?
True
Let l(a) = 515*a - 2742. Let w be l(-7). Is w >= -6348?
True
Let i(f) = 2*f**3 + 5*f**2 + 13*f - 6. Let z be i(-7). Which is bigger: -537 or z?
-537
Let y = -16.41 - -0.41. Let z = -150 + 123. Let f = z - -28. Which is smaller: f or y?
y
Let s be (-3)/(-5 + 2)*26/2. Suppose 180 = s*t - 7*t. Is t greater than or equal to 29?
True
Let f = -15864 + 12482. Do -3379 and f have the same value?
False
Let i be (-225)/900 - 1/((-24)/830). Does -0.1 = i?
False
Let w = 4686 + -6978. Which is bigger: w or -1?
-1
Suppose -7 + 115 = 9*n. Let j be (n/(-20))/(9/(-5)). Is -10/11 at most as big as j?
True
Let s = -17.428 + 0.028. Let n = 17 + s. Which is greater: n or 1/6?
1/6
Let o be 17/1428*9*(-567)/18. Suppose 2*q + 0*q = -4. Is q != o?
True
Suppose 7*g - 1175 = -1497. Which is smaller: -13 or g?
g
Suppose -14*r - 147 = 189. Let u be (-2*(-1)/r)/((-28)/294). Is u >= 0?
True
Let j be (3*-2)/(418/(-15257)). Which is smaller: 208 or j?
208
Let l = 19449 + -22478. Do l and -3028 have the same value?
False
Let m = 201 - 197. Suppose -4*n + n + 75 = -m*d, 136 = 5*n - 3*d. Is 32 at least n?
True
Let n(j) = -4*j**2 - j + 2. Let m(c) = 5*c**2 - 32*c + 10. Let t be m(6). Let f be n(t). Let a be 2/(-6) + (-15)/9. Which is smaller: a or f?
f
Suppose 4*m + o = -7 + 1, 12 = 2*m - 2*o. Which is bigger: -4/257 or m?
m
Let x = 0 + 2. Let g be (-37)/3 - 16/24. Let f = -153/13 - g. Which is smaller: x or f?
f
Suppose -674*x + 1230*x = 152900. Let s be ((-23)/(-3))/((-1)/(-36)). Are s and x non-equal?
True
Let v be 2 - (-9)/(-180)*(-4552)/(-6). Do v and -36 have the same value?
False
Let a be -7 + 7 + (2/13 - (-11490)/14040). Which is smaller: 0 or a?
0
Let m = -66.92 + 66.8. Let b(v) = -v**3 + 2*v**2 - 22. Let g be b(0). Let j = -64/3 - g. Which is smaller: m or j?
m
Let s(p) be the third derivative of -p**6/120 + p**5/5 - 13*p**4/24 + 23*p**3/6 + 4*p**2 - p. Let f be s(11). Let l = -452/3 + 152. Which is bigger: f or l?
l
Let h be (0 + -1)/(9 + 133/(-14)). Let k be (-1)/h + 5 + 807/(-6). Is -130 at least k?
True
Let g = -1 + 18. Let k = -23167 - -23185. Is g < k?
True
Suppose 55*v - 114 = 51. Which is smaller: v or -1/140?
-1/140
Let d be (-19169776)/2240 + 3/4. Let o = d - -8557. Let b = o + -1/10. Are -1 and b equal?
False
Let x be ((-274895)/(-370))/(4/8). Let t = -1486 + x. Which is smaller: t or -1?
-1
Suppose 0 = 5*t - 29 + 16 + 18, 0 = -w + t. Which is bigger: w or -1/11969?
-1/11969
Let v = 8.31 - 20.31. Which is smaller: 184 or v?
v
Suppose -8*s + 98 = -6. Suppose -5*j = -a + 13, 2*a + s + 6 = -5*j. Suppose 0 = 2*o + 3*n - 1, -4*o = -0*o - 5*n + 31. Does a = o?
False
Let z = -26457 + 11615. Is z greater than -1?
False
Suppose -9584*c = -9140*c - 1332. Let t = 5 - 2. Is t < c?
False
Let t = -127 + 126. Suppose -5*w - 455 = -0*w. Is t < w?
False
Let u = -4687 + 4650. Which is bigger: 0.11 or u?
0.11
Let z be (-11114)/180 - (-