se
Suppose -3*m = -16*m. Which is bigger: 1/201 or m?
1/201
Suppose 26*o + 354 = -140. Which is smaller: o or -16?
o
Suppose -1698 = -0*a - 6*a. Suppose 9*z - 67 = -a. Is z smaller than -24?
False
Suppose -3*v - 20 = 949. Let r = v - -979/3. Is r smaller than 4?
True
Let s be (-233)/(-328) + ((-291)/24 - -12). Which is smaller: s or 0?
0
Suppose 5*y + 48 = -57. Which is smaller: -23 or y?
-23
Let y = -14 - -13. Let r = -523/19530 + -1/558. Is r <= y?
False
Suppose 177 = -p + 5*h, 4*p = 3*h - h - 672. Which is bigger: p or -166?
-166
Let y = 0.18 - 0.08. Suppose -22*r = -24*r - 18. Is r less than or equal to y?
True
Let l = -146 - -1169/8. Let j(h) = -7*h**2 + 3*h**3 - 6*h - 5*h**3 + h**3 - 1. Let t be j(-6). Is l smaller than t?
False
Let g = -25831/105 + 246. Which is bigger: g or 1?
1
Suppose 4*y - 7*f = -2*f + 10, 4*f - 18 = -2*y. Suppose -3*q = -y*q - 6. Which is bigger: -9 or q?
q
Let k = -8 - -7.958. Let x = k + 1.082. Let t = x - 0.04. Which is bigger: 8 or t?
8
Let a = 52.2 + -52.3. Is a bigger than -0.375?
True
Suppose -5*y + 25 = -0*y. Let q be (-5)/(75/54)*15/(-6). Which is bigger: y or q?
q
Let g be (234/(-21))/(-6) - 1. Let s = 0.8 + -4.8. Let j = s + 3.9. Which is smaller: g or j?
j
Let f be 4/(-10) + 52/5. Let p = 606 + -591. Do f and p have the same value?
False
Let c = -4 + 10. Let o = c - 6. Is -0.2 at least as big as o?
False
Let o be 207/46*20/6. Which is smaller: 7 or o?
7
Let q = 399/5 - 83. Let o = 0 - 4. Which is smaller: q or o?
o
Suppose -845*f + 55 = -834*f. Is 24/5 at least f?
False
Let x be (-55)/50 - (-6)/(-15). Suppose -3*n = 4*f - 22, 0 = 2*f - 0*f - 8. Let t be 3 + -6 - (-4)/n. Is x at least t?
False
Let u = -337 + 336.94. Which is greater: u or -4.3?
u
Suppose -2*r = -3*r + 10. Let c be 1 + -1 + r + (-3)/(-1). Which is bigger: 47/4 or c?
c
Suppose -14*d - 5707 = -27*d. Is 440 <= d?
False
Let k(n) = 2*n**2 + 3*n - 9. Let t be k(4). Let a be (t + -2)*(-1)/3. Let p = a + 10. Which is bigger: -7/4 or p?
p
Suppose 0 = -2*q + 3*i + 18, -2*q - 4*i - i - 14 = 0. Suppose x = -2*x + q. Which is bigger: -5/11 or x?
x
Let p = 26498/36465 - -2/3315. Let b = -1/44 - p. Is -1 at most b?
True
Let t = -17396 + 3705271/213. Let d = 1555 + -110407/71. Let o = d - t. Which is smaller: o or -1/8?
-1/8
Suppose j - 2*u = 12, -2*u - 27 = -j - 3*u. Let r = 22 - j. Which is bigger: r or -2/3?
r
Let v(d) = -16*d - 23. Let n be v(-8). Let h be (n/(-42))/(2/4). Let j(w) = -w**2 - 6*w - 6. Let l be j(h). Which is bigger: l or -14?
l
Let c = -5546 - -49739/9. Are -19 and c non-equal?
True
Let x be 2 - ((-6)/(-4) - (-100)/(-40)). Which is greater: x or 8/3?
x
Let n = 1.35 + -0.96. Which is greater: n or 3?
3
Let a be (2 - (-5)/3)*3. Let u be (-27)/3 + (0 - -2). Let h = u + a. Is 4 less than h?
False
Suppose 3*l - 3*s + 1 = -14, 0 = l + s - 3. Which is smaller: -21/73 or l?
l
Suppose -35 = 30*l - 25*l. Let v = -0.8 - -1. Let i = 0.1 - v. Is i > l?
True
Let j = 8374528/15 - 558011. Let i = -291 + j. Let r be (66/(-198))/((0 - 2)/6). Which is smaller: r or i?
i
Suppose 5*v - 5 = 4*v. Suppose -q = -v + 2. Suppose 2*s + 4*a + 48 = 0, -2*a + a - 47 = q*s. Which is smaller: -15 or s?
-15
Let u(a) be the third derivative of a**5/60 - 3*a**4/8 + 7*a**3/6 + 14*a**2. Let k be u(8). Which is smaller: 1/18 or k?
k
Let o = -0.91 - -0.11. Let m = o + 0.3. Suppose 2*f - 4*f = 2. Is f at most m?
True
Let t be ((-10)/(-15))/((-2)/(-303)). Let m = t - 1714/17. Is 0 at most as big as m?
True
Let x = 49 - 22. Is 26 greater than x?
False
Let n be 2 + (843/45)/(-1). Let u = n + 49/3. Which is smaller: u or 23?
u
Let r = -98 - -151. Let s = -53.3 + r. Is -3 > s?
False
Suppose -1 = -q + z, -q - 2*q - 2*z = -8. Let u be 4 - 5 - 4 - q. Does u = -8?
False
Let u(c) = -5*c - 17. Let k be u(-4). Let y be 158/96 + (-4)/k. Which is greater: y or 0?
y
Let z be 25/5 - 3 - -1. Let m(r) be the first derivative of r**3/3 - 3*r**2/2 - r + 1. Let n be m(z). Is 1/25 bigger than n?
True
Let i(n) = 2 + 2*n**3 - 2*n**3 + 2*n**3 - 4*n**2 - 3*n**3 - 2*n. Let g be i(-4). Which is bigger: 6 or g?
g
Let z = -5 - -6. Let s be (-27)/(-35) + (-24)/42. Is s equal to z?
False
Let r = 0.556 - -8.604. Let j = 0.16 - r. Let y = -9 - j. Are 0.02 and y unequal?
True
Suppose 2*b - 5*d - 41 = -10*d, 2*b = d + 47. Is b bigger than 15?
True
Let b = -2935/87 - -101/3. Suppose 2*f = 3*i - 4 - 7, -5*i = 2*f + 3. Is i bigger than b?
True
Let m = 30 - 21. Suppose -6*g = -m*g - 45. Which is greater: g or -16?
g
Let t = -953 + 955. Suppose 3*k + 14 = -1. Is t bigger than k?
True
Let o = -15959/19 - -840. Which is smaller: o or -5/12?
-5/12
Suppose 0 = 3*n - 3*y - 105, -n = -0*n - 3*y - 37. Suppose 0 = 2*v - 87*m + 86*m - 73, -3*m + 131 = 4*v. Is n at least as big as v?
False
Let r be (-15)/6 - 0 - 7/14. Which is smaller: 7 or r?
r
Let w = 2220.569 + -2220. Is w not equal to 3/5?
True
Let s = -2.8 - -5.8. Suppose 0 = 5*c - v - 6, -c + 2 + 8 = 2*v. Is s at most c?
False
Suppose 135 = -3*u + 96. Which is bigger: -10 or u?
-10
Suppose 0 = -4*l - 2*z - 4, 3*z + 7 = 2*l - 7*l. Which is smaller: l or 6/37?
6/37
Let m = 0.93 + -57.93. Let o = 155.89 + -155.99. Which is smaller: o or m?
m
Let w = -5 + 5. Let x(g) = g**2 - 7*g - 6. Let y be x(8). Let n = y + 0. Which is smaller: n or w?
w
Let n = -57 + 49. Let i(g) = 2*g**2 + 15*g + 2. Let h be i(-7). Is h at least n?
True
Let c = -373477 + 56020649/150. Let y = c - -37/6. Is 0 not equal to y?
True
Suppose -d = 4*d - 50. Suppose -x = x + d. Let i be x/4*1/5. Is 0.4 smaller than i?
False
Let n = 0.35 - -0.39. Let f = -2.74 + n. Is f smaller than 1/4?
True
Let f be 0 + 5/((-15)/(-9)). Suppose -d - f*q = -5*d + 7, 0 = -3*q - 3. Do -14 and d have the same value?
False
Let b(l) = -l**2 - 6*l - 4. Let i be b(-4). Suppose 0 = 4*d + i*m + 40, 4*m = -2*d - 3*d - 49. Is d > -8?
False
Let m be ((-42)/6)/(42/24 - 2). Which is greater: m or 32?
32
Let r = -137 + 136. Is r less than 3.7?
True
Suppose -7*i - 1370 + 481 = 0. Is -251/2 less than i?
False
Let m = 1/413 + -419/2478. Which is greater: m or 0.34?
0.34
Let a be -2 - (37/(-15) + -3). Let h = 24/5 - a. Let w = -3 - -2. Is h at least w?
True
Let l be -1 + 2 - (-13 - -17). Let g be (-27)/44 - l/4. Is g less than 0?
False
Let k be 21 - ((-2 - -2) + -3). Suppose -2*p + 2*h + k = -3*h, 3*p - 78 = -3*h. Suppose 0 = -4*x - 18 - p. Are x and -10 equal?
True
Suppose -3*r = -3*j + 24, 7*j - 26 = 4*j + 2*r. Let y be (-27)/15 + 1/(-5). Let k be 1*(5 - 10/y). Are j and k equal?
True
Let h = 4.51 + -4.5. Which is bigger: -14 or h?
h
Let o = 32 + -30. Let n = 26.5 + 2.5. Let z = n + -28.98. Is o less than z?
False
Suppose -4*z - 107 = h + 160, -272 = 4*z - 4*h. Which is greater: z or 1/5?
1/5
Suppose -3*g = -14 + 26. Let a be (-608)/16*2/g. Is a greater than 16?
True
Let h(r) = 5*r - 15*r + 3*r**2 - 4*r**2 + 11. Let g be h(-11). Which is bigger: -2/19 or g?
g
Suppose -1 = -3*x + 2*i, -4*x + 5*x + 2*i = 3. Which is smaller: 2/277 or x?
2/277
Let x = -114 + 65. Let b = x + 67. Which is greater: b or 16?
b
Let b = -19 - -11. Let l = 95 + -92. Suppose k = l*k + 2*k. Which is greater: k or b?
k
Let y = 1.96 - 2. Let f = -4236 - -4233. Which is smaller: f or y?
f
Let o = 0.331881 + -1362.941881. Let b = 1356 + o. Let f = 0.39 - b. Are 2 and f nonequal?
True
Let s be 2/5 - (-143)/5. Suppose 0 = 34*l - s*l. Let n = 4067/135 + -151/5. Is l < n?
False
Let b be (-4)/((-1)/(30/95)). Is b smaller than 0?
False
Let w be (-1 - 59/(-5))*(-6500)/2145. Do -34 and w have different values?
True
Let y be (12/(-4 - -1))/(-2). Let i(v) = v**2 - 3*v - 12. Let b be i(5). Let x be b/(-7) - (-84)/49. Are x and y equal?
True
Suppose -5*x + 5*x = -x. Suppose x = -4*w + 15 - 31. Let y = -6/221 - 3518/663. Is y equal to w?
False
Let o = 1.89 - -15.28. Let m = -3.37 - -3.2. Let q = o + m. Is 0.1 at most as big as q?
True
Suppose -5*g - 14*h = -9*h + 15, -2*g = -4*h + 6. Are -14/9 and g equal?
False
Let h be 0 + -1 - -4*4. Suppose 496 = 133*j - 102*j. Is h < j?
True
Let h = 703/9 + -78. Let v(u) = 2*u**3 + 12*u**2 + 14*u - 4. Let s be v(-4). Suppose -2*n + 3 = -4*y + 7*y, 4*n - 4 = -s*y. Which is smaller: h or y?
h
Suppose -w + 9 = -3*d - 66, 3*d - 249 = -3*w. Let j = w - 64. Which is smaller: j or 14?
14
Let i = 142986/11 - 12990. Is 10 <= i?
False
Let m = -5.19 + 5.2