r: -1 or b?
-1
Let y(s) = s**3 - 5*s**2 - s + 1. Let d be y(5). Let r be (-8)/6*3/d. Suppose -5*z + r + 4 = 5*p, -3 = -2*z - 3*p. Do 1/16 and z have the same value?
False
Let h = -3.974 - -3.62. Let q = 0.014 + h. Which is smaller: q or -2/3?
-2/3
Suppose -71*r - 75*r + 149*r + 18 = 0. Do r and -237/34 have the same value?
False
Let m = 1.38 + -1.433. Let a = m + 0.353. Which is bigger: 9 or a?
9
Suppose -370 = 3*j + 41*t - 37*t, 2*j = 4*t - 220. Do -113 and j have different values?
True
Let o(w) = -w**2 + 60*w - 644. Let s be o(14). Which is smaller: 2/5197 or s?
s
Let r(a) = -13*a**2 + 30*a**2 - 18 - 4 - 2*a + 7. Let f be r(-4). Suppose 5*m = -0*m - f. Is m > -53?
False
Let f = -107 + 108. Let d = 2926/15 + -195. Which is smaller: d or f?
d
Let h(r) = -89*r + 1957. Let g be h(22). Which is greater: g or 3/5995?
3/5995
Let g be ((-477)/(-318))/(1/(-22)). Is g smaller than -197/6?
True
Suppose -539 = -695*l + 646*l. Is 189 greater than l?
True
Let k be 113228/8596 - (-4)/(-1) - 4. Let n = k - 9/307. Which is greater: 6 or n?
6
Let t(u) = -u**3 - 29*u**2 - 60*u - 119. Let d be t(-25). Are d and -1121 unequal?
True
Let o = 571799/133 - 94782/19. Is -690 > o?
False
Let y(c) = c**3 - 6*c**2 + 11*c - 30. Let l be y(10). Let z = -659 + l. Which is bigger: -177 or z?
-177
Let q = 7.274 + -7.209. Which is smaller: -20 or q?
-20
Let b be (8/(-98))/(1 - -1 - (-194)/(-96)). Which is smaller: b or 5?
b
Let s be 6*1/2*2. Let i = 2792 - 2784. Which is smaller: i or s?
s
Suppose 0 = 9*a - 5*a + d + 4508, d + 1127 = -a. Does -1129 = a?
False
Suppose o = -5*w - 41, -37 = -3*w + 8*w + 2*o. Suppose 0 = 7*b + 23 + 29 - 24. Which is smaller: w or b?
w
Let b = -849 + 868. Let m be (-15)/25*2/(-4). Is b at least as big as m?
True
Let k(t) = t**2 - 71*t - 9660. Let v be k(-69). Let z be (12/230)/(4/5). Which is smaller: z or v?
v
Suppose -2*q = -q - 8*q. Let b be (-3 - 5724/(-1708)) + (-18)/63. Is q greater than b?
False
Suppose u = 5*p - 399, p - 13*u + 14*u - 81 = 0. Suppose 0 = -5*g - 4*b + 584 - 183, 2*g + b - 161 = 0. Which is smaller: p or g?
p
Suppose 0 = -210*g - 12*g + 1879 - 12757. Is g less than or equal to 96?
True
Let c(q) = -q**2 + 12*q + 8. Let d be c(13). Let r be 3 + d + 0/2 + 278. Is r not equal to 276?
False
Let a = -405/4 - -99. Let f(z) = 13*z + 2 + 4 - z**2 - 10*z + 1. Let x be f(5). Which is smaller: x or a?
x
Suppose 5*p + 5*x = 4*p - 23, 5*p = -5*x - 15. Let n be (p + 14/(-4))*(-1924)/(-1221). Is -2 > n?
True
Let c = 328 - 492. Let u = c - -155.5. Suppose 2 = 2*r - 0. Is r less than or equal to u?
False
Let h = -2.4 - -4.4. Let z = 0.7 - h. Let a = -0.3 - z. Which is smaller: 0.5 or a?
0.5
Let i = -6 - 14. Let r = -0.085 + -0.715. Let h = -0.2 + r. Which is smaller: h or i?
i
Let u = 217652/7 - 31712. Are u and -619 nonequal?
True
Let p = 79/27 - 131/54. Is p at least as big as 114?
False
Suppose -2*q - 10 = -7*q. Let o be (1*2)/(-2*q/88). Is -43 equal to o?
False
Let n(w) = 11*w**3 + 45*w**2 + 36*w - 299. Let f be n(7). Is f at least 0?
True
Suppose 231 = 137*m - 146 - 34. Let u(v) = -v**3 - v**2 - v + 2. Let w be u(0). Which is smaller: m or w?
w
Suppose -12 = z - 5*o + 17, 0 = -5*z - 2*o - 10. Let g be (-1)/(z + 23/7). Let t be (-14)/((-280)/(-30))*(-4)/14. Is t greater than g?
False
Let r = -7218 + 7233. Which is smaller: r or 0.01?
0.01
Let g be (-1)/2 - 13/(-18). Suppose -27*y = 191*y - 48*y - 340. Is y bigger than g?
True
Let p(o) = -o**3 - 71*o**2 - 5*o - 86*o**2 + 144*o**2 + 13. Let w be p(-12). Suppose x + 72 = 5*r, 5*r - 2*r + 72 = -x. Which is smaller: w or x?
x
Let r be (2/(-15)*(-126)/(-22512))/(54/(-8)). Are r and 1 unequal?
True
Let m = -132/5 - -1011/40. Let g be 2 + 8/((-2 + -13)/5). Are g and m unequal?
True
Let z = 31907 + -31906. Which is smaller: z or 1/17108?
1/17108
Let t = -40705445/9501 - -12853/3. Which is greater: 1 or t?
1
Let a = 11868 + -11867. Which is greater: -11/237 or a?
a
Let x be 629/(-828) - (-174)/232. Suppose 6 = -5*i - 5*s + 16, -2*i = s - 1. Which is greater: x or i?
x
Let q be (-404893)/(-99246) - (-4 + 16/2). Let m = q - -1/7089. Let n = 7/34 + m. Is -0.3 greater than n?
False
Let i = 6.08 + 237.92. Let w = i - 244.1. Which is greater: w or 24?
24
Suppose -116*m + 95*m + 21 = 0. Which is bigger: 6/121 or m?
m
Suppose 284*k - 278*k + 24 = 0. Suppose 3*b + 2*b + 2*o = 3089, -4*b + 2466 = -o. Let x = -3719/6 + b. Are k and x equal?
False
Suppose -3*d + 21*v + 630 = 26*v, 0 = -4*d - 5*v + 840. Let a = 326 + d. Which is greater: 535 or a?
a
Suppose -10*l - 1120 = 4*l. Suppose x - 1 = -2*b, -x + 4*b + 11 = b. Let j be (-3)/x - (-192)/l. Which is smaller: 14 or j?
j
Let f(z) = -z**3 + 4. Let l be f(0). Suppose 3 = g + 4*i, 0 = l*g + g + 5*i. Let a = -3 + g. Is -7 > a?
False
Suppose -3*y = 5*j + 1170, -129 = j + 2*y + 112. Let m = j + 231. Does m = -2/669?
False
Suppose 0 = 22*b - 24*b + 10. Suppose 0 = -3*j + 5*y + 13, -2*j = -3*j - b*y - 9. Is -3/362 != j?
True
Let z = 476/87 - 47269/8613. Are 0 and z equal?
False
Let c = 809 + -809. Let m be c/((7 - 2)/(-1)). Are -1/740 and m non-equal?
True
Let u = 5309 - 5311. Which is greater: -208/69 or u?
u
Suppose -2*s + 1 = -5, -4*i + 3*s + 19 = 0. Suppose 0*j = -i*j + 392. Let f be (j/714)/(4/(-6)). Is f less than or equal to 1?
True
Suppose 3588 = -24*f + 36*f. Suppose -295*n - 124 = -f*n. Which is smaller: 30 or n?
30
Let v be 0/(5/(-5)*2) - 62/(-1). Which is greater: v or 61?
v
Let r = -18449 - -2896481/157. Is r at least as big as 1/5?
False
Suppose 0 = 3*x - 3*d + 10881, -136*d - 3 = -139*d. Which is bigger: x or -0.1?
-0.1
Let o = 148 + -146. Suppose 0*n = t - 5*n - 6, -o*t = n - 1. Let f(s) = s**3 - 7*s**2 + 4*s - 8. Let l be f(7). Which is smaller: l or t?
t
Let a = -3692/2189 - -10/199. Let n(q) = 5*q + q - 5*q - 8. Let g be n(5). Which is greater: a or g?
a
Let a be ((-7)/(-14)*8)/(1/4). Suppose -a*d + 3*d = -208. Is -0.1 smaller than d?
True
Let n = 728 - 727.9773. Let b = 8.9773 + n. Are 0.9 and b non-equal?
True
Let j(s) = -543*s**3 - 10*s**2 - 20*s + 21. Let v be j(1). Is v greater than or equal to -562?
True
Let j = 15866 - 15867.9. Which is greater: j or -6.52?
j
Let v be (-76)/1520 - 134/(-1080). Is v less than -6/11?
False
Let g = -1/34 - -71/102. Let z = -34987.9 + 34984. Which is bigger: g or z?
g
Let d = -0.5533 + 0.9673. Are d and -2/9 nonequal?
True
Let t be (112/(-24) - -4)*6 - -3. Which is greater: 2/5 or t?
2/5
Let f(n) = n**3 + 9*n**2 + 18*n - 1. Let i be f(-6). Which is bigger: i or -1/6279?
-1/6279
Suppose 3*h - 6 = -l, 2*l - 3*h + 5*h - 4 = 0. Suppose 3*o + 3*o - 5*o = l. Which is greater: o or 6/49?
6/49
Let h(s) = -s - 4. Let t be h(-3). Let a = -18153/231523 - 1/40857. Which is bigger: a or t?
a
Suppose -5*v - 8*s + 5 = -7*s, -4*s = -4*v + 28. Let r be (2/6)/(1/3). Suppose r + 4 = 4*y - b, -v*b = 2. Which is smaller: 3/40 or y?
3/40
Let j = 8655 + -8360. Is 881/3 at least as big as j?
False
Let b be (7/(-35))/((-3)/(-27)). Suppose -9*d = -5*d - 224. Let a be 2/(-8) - 154/d. Is a at most b?
True
Let q be 78/(-9) - (-298 + 290). Is -27/716 equal to q?
False
Let l = -6 + 10. Let v = 4.1 - l. Let b = 1495 - 1499. Are b and v nonequal?
True
Suppose 44*a = -26*a + 12*a - 39730. Is -685 bigger than a?
False
Suppose -9*j + 4*z = 16, -20 = -j + 3*z - 8*z. Which is greater: j or 64/259?
64/259
Suppose 8*d - 3388 = 788. Let r = d - 579. Which is smaller: r or -60?
-60
Suppose 94*j - 90*j = -3*q + 25, q = -5*j + 12. Is j greater than 12/2699?
True
Let d = -27/356 - 327/89. Which is bigger: 188 or d?
188
Let x be (4 - 3) + (-268)/28. Let g = -303 - -304. Is g <= x?
False
Let c = -372 + 329.5. Let w = -39.5 - c. Which is greater: w or -3/34?
w
Let q be 1 + (141 - (-9)/3). Let t = -587/4 + q. Let a be ((-80)/360)/(2/18). Is a bigger than t?
False
Let q = -2168 + 2464. Are q and 3246/11 nonequal?
True
Let i = 4326 + -4327. Are i and 434 unequal?
True
Let c = -452 + 452.152. Let y = 0.308 - c. Is y smaller than -1?
False
Let q = 617376/43 - 14354. Are 3 and q non-equal?
True
Suppose -2*d = 2*d - 3*q - 57, -15 = -d + q. Let r(j) = j + 19. Suppose 0*c - 8 = c. Let l be r(c). Which is bigger: d or l?
d
Let l = -9360 + 9360. Is l less than 3/2953?
True
Let i be (-5)/(10/(-4)) + -1. Let w = -3.939 + -192.061. Which is smaller: i or w?
w
Let q be 