703/o - 9)*(3 - -1). Which is bigger: c or i?
i
Suppose -5*w + 83 = 2*n, 0*n + 3*n = -5*w + 87. Suppose -x - w*c + 102 = -11*c, 4*c = -12. Is x < 113?
False
Let v = 6 - 8. Let w be (24/(-36))/(v/72*2). Let a be -14*4/w + (-4)/(-6). Which is smaller: a or 0.03?
a
Let j = -3677317/46287 - -8/5143. Are j and -80 equal?
False
Let l = -0.04219 + -0.55781. Which is smaller: -27/7 or l?
-27/7
Let w(c) = -c**3 - 30*c**2 - 30*c - 87. Suppose -5*p = k + 109 + 34, 4*p + 122 = 3*k. Let j be w(p). Is j not equal to -58?
False
Let b = -0.8381 - -0.8387. Which is smaller: 3 or b?
b
Let g be ((-2)/8 - 0) + (-5646)/(-22776). Which is smaller: -1 or g?
-1
Let s = 129707/11 - 11815. Suppose -3*b + 24 = -4*b. Do b and s have the same value?
False
Suppose 0 = -3*u - 5*k - 64, -5*k + 3*k + 36 = -u. Suppose 20*p + 0*p - 1300 = 0. Let h be (2/u)/(p/20 + -3). Which is bigger: 9 or h?
9
Let k = -2373 - -33227/14. Which is greater: 7 or k?
7
Let h be 168/18*(-3)/6. Let i = 318 - 317. Is i bigger than h?
True
Let u be 3/(-6) + (-14)/(-4). Let g be (22 + -23)*(-111 - -109). Which is smaller: g or u?
g
Let u = 1503 - 16611/11. Let r = u - -301/44. Which is smaller: 106 or r?
r
Let v = 6 - 3. Let i be 9/v - (-5 + 2). Suppose a + i*a = 2*a. Which is smaller: -1/54 or a?
-1/54
Let a be ((-4)/22 + 690/165)/1. Let v be (a + -1)/(-9) + (-20)/(-15). Which is bigger: -1/7 or v?
v
Let a = -210 + 240. Let l = -34 + a. Which is bigger: 12 or l?
12
Let r be 91207155/11690 + ((-27)/(-7) - 4). Let q = -7802 + r. Are q and -1 non-equal?
True
Let k = -0.05214 - -0.10214. Is -0.318 less than k?
True
Suppose 8*i - 879 = -5*t + 240, -3*i + 402 = -4*t. Suppose -2*d = -5*w + d + 689, 3*w - 423 = -3*d. Is w less than i?
False
Let f = -18112 + 16084. Are -2028 and f nonequal?
False
Let c = 1342 + -127476/95. Is 1 at most as big as c?
False
Suppose 27*h + 137 = 28*h. Suppose -135*u = -h*u - 10. Is u at most -36/7?
False
Let n be 1/(2 + (-15)/9). Suppose -7*v - n = -4*v. Let c = -5666 + 62322/11. Which is smaller: v or c?
v
Let x be (-3 + 1)/2*-113 + -6. Which is bigger: x or 637/6?
x
Let x = 85/96 - -85867/96. Which is smaller: 894 or x?
894
Let l(r) = -2*r**3 + 2*r**2 - 14*r - 22. Let d be l(-4). Which is greater: d or 191?
d
Suppose 0 = -2*j - 0*j + 6. Suppose -j*q - 8 - 16 = 0. Let f be 2*17/((-765)/189). Is f less than or equal to q?
True
Let n be 3/(-21) - 4210571/(-29490363). Do n and 1 have the same value?
False
Let b be 1 - -1 - 49/22. Let i(r) be the third derivative of -r**5/20 - 17*r**4/24 + r**3 - 11*r**2 + 2*r. Let v be i(-6). Which is smaller: b or v?
b
Suppose 0 = -5*f - 3*p + 17, -4*p + 20 = 3*f + 1. Are -3/161 and f nonequal?
True
Let k be (-2348)/(-5) + 1 + 18/(-30). Let b = 489 - k. Let w be (-4 + 2)*19/(-2). Are b and w nonequal?
False
Let h(b) = -2*b + 30. Let v be h(-7). Let g be v/(-66) + (-1 - (-17)/3). Suppose 3*d + 4*j - 28 = -0*j, 0 = -g*d - 4*j + 40. Is 15 at most as big as d?
False
Let o = -6114 + 30587/5. Which is greater: 28 or o?
28
Let j = -8318 + 13868. Let r = -38529/7 + j. Which is smaller: r or 45?
45
Let m = 75 + 230. Let l = 398 - m. Which is smaller: l or -0.1?
-0.1
Let s(o) = -64*o - 2275. Let m be s(-41). Which is smaller: 355 or m?
m
Let z(o) = -o**3 - 7*o**2 - 17*o - 56. Let c be z(-6). Suppose -3*m - 3 = -5*i - c, -4*m = i + 6. Are -2/885 and m equal?
False
Let h = -1542.29 - -1681. Let k = h - -1.29. Let x = k + -142. Which is greater: 3 or x?
3
Let r = 1113 + -1005. Let p = -56.7 + 164.8. Let y = p - r. Is y less than -0.2?
False
Let o(a) = -3*a**3 - 3*a**2 + 4*a. Let u be o(-5). Suppose 22 - 107 = -w. Suppose 0*f - 4*n = f - w, u = 4*f - 4*n. Is f less than 74?
True
Let z = 58 + -47. Suppose 7*c - 46 + z = 0. Which is bigger: 2/3 or c?
c
Let f = 13/847 + 771/60137. Is f at most -185?
False
Suppose y - 3*h - 2 = -h, -4*y = h + 1. Suppose y = 6*v - 18 + 6. Let a be -4 - (3/(-1) - v). Which is greater: -3/25 or a?
a
Suppose -3*x + 4*r - 5 = -95, x - r = 31. Suppose 4*u - x = 6. Suppose 4*a + 55 = 5*z + 6*a, z - 4*a - 11 = 0. Is u bigger than z?
False
Let w = 4936 - 4792. Suppose -1 = -t + 7. Suppose -w = -5*o + t*o. Which is smaller: -47 or o?
o
Let b = -496 + 108. Let v = 393 + b. Is -62 not equal to v?
True
Suppose -4*u = 5*r + 25, 2*r - 11 = -2*r + 3*u. Let f be (4*(-3)/660)/(836/285 + -3). Which is greater: r or f?
f
Let g(j) = -2*j**2 - 9*j + 1. Let s be g(-8). Let u(x) = -x**2 - 39*x - 163. Let b be u(-36). Does s = b?
True
Let c(t) = 54*t + 7. Let o be c(-6). Suppose 2579*b + 1028896 = 216511. Which is smaller: b or o?
o
Let l = -876 + -1507. Is -2381 less than l?
False
Let y = 231 - 247.6. Let s = -51.6 - y. Is s greater than -2/9?
False
Suppose -767 = -3*q + j, 4*j + 19 = -1. Suppose 4 = 2*w, -76*t = -78*t + 4*w - q. Which is smaller: t or -121?
t
Let f = -83.0352 + 0.1352. Let x = -82 - f. Let m = 2.9 - x. Which is greater: m or -22?
m
Let i = -8899 + 5126. Which is smaller: i or -3774?
-3774
Let h = -46.1785 - -0.0785. Let y = h - -46. Let a = 56 - 90. Does a = y?
False
Let r be (27 + 1 + 0)/(41 - 35). Let o(c) = -c + 9. Let d be o(4). Suppose w + 4*b = -b - 5, -d*b - 20 = -2*w. Which is smaller: w or r?
r
Let p(b) = 2*b + 44. Let w be p(-21). Suppose -2*o - 8 = -w. Let z be 1*4 - 1/((-7)/(-28)). Is o smaller than z?
True
Let n = 23 - 11. Let t be n/16*7/((-28)/8). Let y(w) = -w + 6. Let v be y(7). Which is smaller: v or t?
t
Suppose 0 = 4*t - 6 + 18. Let j(a) = -a**2 + 10*a - 17. Let f be j(6). Suppose 2*h = -f*h - 72. Is t greater than h?
True
Let n = 35259/4 - 8815. Which is smaller: -2274 or n?
-2274
Let i be 30/(-105) - (-46178)/9184. Let u = 156/41 - i. Which is smaller: u or 0?
u
Let a = -1019 + 7113/7. Let w = -104 + 114. Suppose -4*v - w = 6. Which is greater: v or a?
a
Let c be (-1)/(3/12*(-16)/28). Suppose 0 = -c*z - 12*z - 19. Is z bigger than 5/17?
False
Let y(p) = 8*p**3 - 3*p**2 - 2*p + 2. Let i be y(-2). Let f be -19 - (5 + (-102)/21)*7. Let r be i/f*36/7. Is 19 greater than or equal to r?
True
Let u = 13320 + -13311. Which is smaller: 1/79 or u?
1/79
Let i = -334916/5176293 - -66/5443. Which is smaller: i or 0?
i
Let l be (1670/4)/(-5) + (-15)/(6/2). Let d = -192 + 103. Let a = l - d. Which is bigger: a or 0?
a
Let z = -13 - -83/6. Let y = 62.013 + -63.013. Which is greater: z or y?
z
Let b be 1*8 + (6 - 5)*2. Let m(a) = -6*a + 45. Let t be m(b). Let c be 148/(-12) + 1 + -5. Which is bigger: c or t?
t
Let p = 0.119 - 158.119. Let k = 161 + p. Are k and 0.1 non-equal?
True
Let u = 23.2 + -4.2. Let n = u - 18.64. Let m = n + -0.56. Is 2/5 < m?
False
Let p = 1953/8 - 243. Suppose 3*d = -5*t + 7, -4*d + 5*d - 1 = -t. Which is bigger: p or t?
t
Let h be (1*-1)/((-31)/(-217)). Let l(n) = -n**2 - 8*n + 13. Let y be l(h). Suppose 0 = 4*c + 5*a - 84, -5*a = 2*c - 5*c + 63. Is c at least y?
True
Let t = -170/339 + -94390/14577. Is t > -8?
True
Let i = -174604405/76186 - -25210/11. Which is greater: i or 1?
1
Let u = 341 + -512. Suppose -9*h - 1717 + 169 = 0. Which is smaller: h or u?
h
Let s = 130 + -4929/38. Suppose 0 = -15*d + 20 - 17 - 3. Is s at most as big as d?
False
Let f = 3840.5 - 3566.2. Is f less than 0?
False
Let y(v) = 3*v**3 - 7*v**2 + 9*v + 4. Let f be y(4). Suppose -f = -2*o - 5*r + 14, 3*o = 2*r + 201. Which is smaller: o or 0.3?
0.3
Let p = 259/24 - -2027/24. Is p at most 95?
False
Let g be 1*(-16512)/57 + -1. Suppose -560 = 2*h + 22. Let f = h - g. Which is smaller: f or -2/3?
-2/3
Let p(x) = -x**3 + 13*x**2 + 42*x + 101. Let v be p(16). Let h be (1/3)/(14/222). Is h < v?
False
Let t = 660 + -666. Let m be (-3*t/(-18))/(6/12). Is m equal to -22?
False
Let v be (-1895)/1830 + (-4)/(-24). Are -2 and v equal?
False
Let z = 0.1031 - -0.0069. Is -0.118 >= z?
False
Let m = -3225 - -3262. Is m less than 46?
True
Let j be 10/(-3)*(-2424)/7070. Is -50 at most j?
True
Let d(j) = -77*j - 66. Let u be d(11). Let r = 66651/73 + u. Do 1 and r have the same value?
False
Suppose -4*w = 0, 0 = 5*c - 8*w + 5*w + 175. Let i be (-5)/c - (-9232)/56. Which is bigger: 1 or i?
i
Let n = -0.034 + -0.496. Let p = n - -0.53. Which is smaller: p or 2/3?
p
Let n be -8 - ((-8)/4 + 3)*-7. Does -6/1355 = n?
False
Let w = 45581/41031 + 1/4559. Which is bigger: 0.17 or w?
w
Let y = -188 + 196.2. Let z = 8.3 - y. Which is greater: z or -0.067?
z