r: 0.08 or s?
0.08
Let q = 28 + -44. Let b be (-13 - q) + (1 - 0). Suppose 45 = 2*f + 5*i, 5*f + 0*i - 87 = -b*i. Which is smaller: 14 or f?
14
Let x(s) = -86*s**2 - 2*s + 31. Let o be x(4). Which is bigger: -1350 or o?
-1350
Let t = 17.6 - 19.1. Let s = t + 6.5. Let m = -3 + 3. Which is smaller: s or m?
m
Suppose 3*f - 3*v - 57 = 0, 21*f = 20*f - 5*v + 25. Let y be (330/25 + 7)/1. Which is smaller: y or f?
f
Let g = -7140 + 6889. Is g < -249?
True
Let r = 1833 - 1837. Which is smaller: -0.132 or r?
r
Let a = 2 + -1. Suppose 0 = 5*s + 6*s - 253. Suppose -24*r + 3 = -s*r. Is a >= r?
False
Let g = 51 + -51.07. Let x = -0.23 + g. Let p = -24 + 9. Are x and p unequal?
True
Let c = 43 - 26. Let y be c/50 + 4/(-10). Let a(p) = -p**3 - 17*p**2 - 92*p - 383. Let m be a(-12). Which is greater: m or y?
m
Suppose 4*z + 24 = -100. Let c(l) = 0*l + 2*l + 6*l - 6*l + 62. Let k be c(z). Which is bigger: k or 4/25?
4/25
Let i(q) = 57*q**2 - 13*q - 5. Let v be i(-5). Let u = 7478/5 - v. Let w(d) = -3*d**2 + 13*d + 40. Let m be w(6). Which is smaller: m or u?
m
Let g(z) = z**3 - 80*z**2 - 96*z + 1039. Let u be g(81). Which is greater: -187 or u?
u
Let v(o) = o - 1. Suppose -6*f + 1 = -17. Let n(c) = 4*c + 4. Let r(x) = f*v(x) - n(x). Let b be r(-7). Is b at most as big as 2/69?
True
Let b = 3.63 - 3.93. Is b smaller than 72/7?
True
Suppose -t - 281 = 5*n + t, 61 = -n + 2*t. Let a = -10 - n. Let f = a - 8. Is 40 smaller than f?
False
Let z = 47 + -66. Let b = -17 - z. Let x = -0.01 - 0.02. Which is bigger: b or x?
b
Suppose 3 = 3*g - 2*z - 11, 4*z + 4 = 0. Let t be (g/16*2)/(3/6). Let u = -16/107 - -538/5029. Is t greater than u?
True
Let i = 2983653/43 + -69387. Suppose -d - 4*d - 20 = -2*b, -4*b + 12 = -3*d. Are i and b unequal?
True
Let w(n) = n + 1. Let m(f) = 4*f + 3. Let x(h) = -2*m(h) - 10*w(h). Let l be x(-3). Let s = l - 33. Is 4 greater than or equal to s?
False
Let m(a) be the first derivative of -a**4/4 + a**3 - a**2/2 + 22*a - 5. Let x be m(5). Let l be (-2*(-6)/(-56))/(x/(-88)). Do 0 and l have different values?
True
Let v = -29492 - -28881. Which is smaller: v or -608?
v
Suppose -678*t - 9426448 = -223*t - 1075833. Which is smaller: t or -1/4?
t
Let m = -2308 + 2325. Let q be -15 + ((-1)/1 - 0). Let o = q + m. Which is greater: o or 3?
3
Let s = -52833/2 + 26418. Is s > 4.12?
False
Let l = -25342 - -8134738/321. Does l = 0?
False
Suppose 7*u = 27*u + 280. Let c be u/77 + 142*45/55. Is c equal to 114?
False
Suppose 26 = -55*c + 136. Let u = -16 - -11. Let w be ((-75)/(-6))/u + 3. Is w greater than or equal to c?
False
Suppose -3*q - q - 5*r = -1, q + 2 = -2*r. Suppose 0 = 3*g + 2*l + 11, -l + q = -2*l. Let f be -19 - -13 - (-2 + (-46)/11). Which is greater: f or g?
f
Let k = 432/23377 + 3/241. Suppose 0 = -0*r - 3*r - 3*d, -5*r = d. Which is bigger: k or r?
k
Let f = -71.75 - -67. Let o = f - -29.65. Let a = 25 - o. Which is smaller: a or -28?
-28
Suppose 0 = 2*i + 1195 - 1207. Let q be (-4)/(-8)*i/(-12). Which is greater: q or -162?
q
Suppose 0 = 4*x + 85 + 91. Suppose -4*g + 5*g - 2 = 0. Let z be 3/(g*(-4)/120). Is x at least as big as z?
True
Let q(w) = 3*w**3 - 23*w**2 + 45*w - 5. Let m be q(4). Let o be (2/194)/(2/(-4)). Is o less than m?
False
Let q = -0.22193 - -0.01693. Which is greater: q or 1?
1
Let w(q) = -9*q + 26. Let l be w(2). Let c be (l - 74/7)/(1/(-7)). Let x = -2 + 19. Which is bigger: x or c?
c
Let k be 5 + (-4)/(224/1080). Let c be 3*3/9*-13. Which is greater: k or c?
c
Let x = 549.0391 + -549. Let o = -0.0691 + x. Do -10 and o have the same value?
False
Let u = -690 - -690.7. Let z be (-4)/(-20) + (-186)/(-730). Let l = z - 4/73. Which is smaller: u or l?
l
Suppose -4*i + 0*m + 22 = -2*m, -3*m + 12 = 3*i. Suppose -4*r - i*r = -18. Let g be 2/(-2)*(r - 2). Is g less than 2/15?
True
Suppose 507*w - 1675 = -693*w - 475. Let r be 60/(-86) + (-1 - -2). Which is smaller: r or w?
r
Suppose -y = -i - 20, -4*i = y + 254 - 184. Let b be (-2 - -1)*(11 + -1). Let s be b/8 - (-2)/8. Which is greater: s or i?
s
Let p = -79672034/699 + 113980. Which is bigger: p or 0?
0
Let w = 7174.12 + -7177. Is w less than or equal to 2?
True
Let c(t) = -t**3 - t**2 - 3*t + 3. Let s be -4 + (-11)/(22/(-4)). Let a be c(s). Which is greater: a or 3?
a
Suppose 12*o + 20*o = 43*o. Which is bigger: -1/360 or o?
o
Let q = 714 + -715. Let x = -1/3349 - -13555/532491. Is q equal to x?
False
Let y be 385/2464*6/(-2). Is y > 3?
False
Let o be (-13)/(-377) - (-4)/(-116). Is -1/5141 at least as big as o?
False
Let s be 1647/183 + (-8859)/(-1938)*-2. Which is bigger: s or -1?
s
Let t be 9/(5 - 2) + 2 + 2. Let o = 5 + t. Suppose b + 5*z = -5, -60 - 20 = -4*b + 5*z. Is o greater than b?
False
Let n = 18.002 + 66.688. Let z = -84 + n. Let j = z + -5.79. Which is bigger: j or 0.1?
0.1
Let w(y) = -11*y**3 - 6*y**2 + 11*y + 82. Let p be w(5). Which is smaller: 5 or p?
p
Let z be (-3 + 3)/((-1)/(-1)). Suppose 0 = -28*m + 89 + 751. Let q be m/(-15) + (z + 20)*2. Which is smaller: 39 or q?
q
Suppose -m = -0*m - 148. Suppose 2*y = -88 + m. Let p be (-16)/(-120) - 544/y. Is p less than or equal to -16?
True
Let v be 7*(-48)/(-3) + (-4)/(-1). Let b = 124 - v. Which is greater: 0.01 or b?
b
Let p = -38 - -86. Suppose -435*g - t = -432*g - 139, -5*g + 245 = -t. Is p <= g?
True
Let c(u) = -4*u - 27. Let t be c(-8). Suppose -t*h = 3*b + 14 + 26, -45 = 5*h + 2*b. Let q(n) = -n**3 - 7*n**2 - 6*n - 13. Let j be q(-6). Is h <= j?
False
Let z be 4*56/20*(-50)/(-40). Suppose 2542 = -z*i - 468. Is -215 at most as big as i?
True
Let u(k) = 4*k**2 - 58*k + 33. Let r be u(-11). Let m = 10381/9 - r. Which is smaller: 0.2 or m?
m
Let o = 2269 - 2269.2. Which is smaller: -7/235 or o?
o
Let c be 7/(2/64*4). Suppose 0 = 3*r + 2*s + c, 27 = -r - 3*s + 4*s. Let n = r + 28. Which is smaller: 7 or n?
n
Suppose r = 4*u - 229, 0 = -11*u + 15*u - 2*r - 230. Suppose 7*x + u = 169. Let d be (-4)/(2 - 0) + 16. Is d > x?
False
Let h(d) be the second derivative of d**4/12 - d**3 + 3*d**2 - 23*d. Let o be h(3). Let p(j) = -6*j + 11. Let n be p(o). Is n at least as big as 29?
True
Suppose -2*o + 18 = -3*q - 5*o, -22 = 5*q + o. Let u(t) be the second derivative of 2*t**3/3 + 15*t**2/2 + 7*t. Let z be u(q). Does -1 = z?
True
Let n = -151 - -150. Let o(v) = v**3 + 8*v**2 + 9*v - 2. Let u = -1 + -2. Let g be o(u). Which is bigger: n or g?
g
Suppose 0 = -52*q + 47*q - 4*d - 1055, 0 = q - d + 202. Is q less than -7?
True
Suppose -15*l + 12*l + 9 = 0. Suppose l*j = -4*j. Let p = 256959/85 - 3023. Which is bigger: p or j?
p
Let d = 0.032 + -68.032. Let o = d + 68. Let q = 22 - 23.8. Is o greater than or equal to q?
True
Suppose 45 = -8*c + 3*c. Suppose -249*g + 180 = -264*g. Which is greater: g or c?
c
Suppose 348*k = 34152 + 260952. Is k at most 840?
False
Suppose 39*h + 369 = -411. Let g be (-5)/h*(3/(-1))/(-3). Which is smaller: -0.069 or g?
-0.069
Suppose -v = k - 3*k + 21, 3*k = -5*v - 66. Let a be 788/20 - 9/v. Is 39 equal to a?
False
Let n(l) = -l**3 - 31*l**2 - 155*l + 276. Let g be n(-24). Let k = 11 + -8. Let q(m) = -4*m**2 - 1. Let x be q(k). Do x and g have different values?
True
Let l(v) = 9*v - 13. Let y be l(4). Suppose 3*b + 39 = -4*o, -3*b = 2*o + 10 + y. Let t be 90/(-20)*4/3. Is b at most as big as t?
True
Let j(o) = -8*o + 76. Let f be j(10). Let x be ((-238)/420)/(2/f). Which is bigger: x or 1?
x
Let x(d) = 5*d**3 - d**2 - 2*d + 2. Let w be (2/4 - 1)*-2. Let h be x(w). Is -3/44 greater than h?
False
Suppose -2*x = -4*y + 2*y + 24, 0 = -2*y - 2*x + 24. Suppose -14*f = -86 - y. Suppose f*i = -2*i + 90. Which is greater: -1 or i?
i
Suppose 3*l + 9*m - 10*m - 1005 = 0, -3*l + 1011 = -2*m. Do l and 298 have the same value?
False
Suppose 0 = -3*i - 24*k + 20*k - 98, 5*i - 5*k = -105. Does -1.4 = i?
False
Let d be -13 + 17193/55 + -5 + (-2)/(-5). Which is bigger: 293 or d?
d
Suppose -o + 27 - 10 = 0. Suppose 11*v - 12893 = -12706. Is v smaller than o?
False
Let m = 893/3 + -95545/321. Suppose 3*w + h - 24 = -2*h, -4*w + 5*h - 13 = 0. Suppose -2*o - w = o. Which is greater: m or o?
m
Suppose -272 + 271 = d. Which is bigger: d or -4/983?
-4/983
Let r be (3 - (-20)/(-8))*12. Let y(f) = -f**3 + 11*f**2 + 27*f - 8. Let g be y(13). Is g < r?
True
Let t(d) = d**3 + 9*d**2 + 19*d - 2. Let k be t(-5). Suppose 