hich is smaller: i or 11?
i
Let g = 3.14 + -2.991. Let f = g - -0.251. Which is bigger: f or 6?
6
Let g be 75/10 + (-9030)/1190. Let q be 1/3 - 2/(-3). Is q less than g?
False
Suppose -76 = 24*b - 62*b. Suppose 3*k + 76 + 182 = -3*d, -5*k = -b*d + 395. Is -3 less than k?
False
Let y = 2660 + -2653. Is -24.2 > y?
False
Let m be 9648/(-350) + 15/(-21) + 1. Let o = m - -39/50. Let s = o - -27. Do 70 and s have different values?
True
Suppose 130*k - 3*k = 17*k. Let w = -214 + 112. Let m be k + (-2)/(-1) + 216/w. Is m bigger than -0.1?
False
Let m be (6/4)/(5/(-70)). Let p(n) = 3. Let j(q) = -q - 2. Let i(w) = j(w) - 6*p(w). Let s be i(m). Which is greater: -1/29 or s?
s
Suppose 0 = 157*c - 543796 + 148627. Is c at most 2520?
True
Let r = 0.9483 + -0.1153. Let v = 8.167 + r. Is v less than or equal to -13?
False
Let t(l) = l**3 - 8*l**2 + 2*l - 98. Let r be t(9). Let z be r*(237/20 - (-16)/(-64)). Which is smaller: z or 13?
z
Let t = -202 - -202.61. Let c = 1.01 - t. Which is greater: c or 26?
26
Let h = 769 + -768.9. Is h bigger than -4459?
True
Suppose 2*z + f - 2 = 0, z - 32*f - 23 = -27*f. Let d be (-1006)/338 - 3/(-1). Let x = 2684/845 + d. Which is smaller: z or x?
z
Let f be 35/21*(-3 + 9). Let t = 11 + f. Suppose i + k = -i + 6, -i - 5*k = -t. Do i and -1 have different values?
True
Let a = 117 - 18. Let o = -68 + a. Is o greater than 0?
True
Let o = -2094725/4 + 518355. Let g = o - -5461. Let t = 134 - g. Which is greater: t or -10?
t
Let x be (-297)/(-45)*30/9. Let a be 1/6 + (-149)/(-6). Which is bigger: x or a?
a
Let t(a) = -a**2 - 6*a. Let r be t(-6). Let b = -2705/48743 + 3/617. Which is bigger: r or b?
r
Suppose 5*m + s - 606 = -s, 2*s = -2*m + 246. Suppose -m = -3*t + 4*f, -3*f + 291 = 5*t + 62. Let p = -46 + t. Is -2 greater than p?
False
Let u = -1303/518 - -4/259. Do u and -25 have different values?
True
Let v = 15.2 - 15.305. Let b = v + 2.105. Which is smaller: b or -0.49?
-0.49
Let k = 164 - 172.9. Let u = -0.1 + k. Let v = 6 - u. Which is bigger: v or 1/4?
v
Let n(c) = -c**2. Let r(i) = 3*i**2 + 7*i + 2. Let y(u) = 4*n(u) + r(u). Let t be y(7). Suppose 5*d - 4*d + t*l = -4, 7 = -d - 5*l. Is -3 greater than d?
False
Let o = -12 - -12. Suppose -a - 2 + 74 = o. Let w be 2/a + (-6)/24. Which is smaller: w or -2.5?
-2.5
Let n(k) = 4*k - k**2 + 38 - 134 + 6*k + 2*k + 24*k. Let s be n(23). Is s less than 203?
False
Let y = 42250 + -40810. Which is bigger: 5759/4 or y?
y
Let c = 201 - 149. Suppose c*s = 47*s + 90. Which is bigger: -2 or s?
s
Let r = -5 + 4.91. Let m = 25113/10 + -2514. Let w = m + 11/5. Is w greater than r?
False
Suppose 2*m + 30 = -2. Let k be (4/(-6))/(m/(-192)). Let z be 201/(-15) + -2 + (93 - 86). Is k at most z?
False
Suppose -3*j - 45*r + 7366 = -44*r, -r = 2. Is j != 2456?
False
Let f = -65.33 + 69.663. Which is bigger: f or 0?
f
Let n = -1306.6 - -1422. Let h = n + -116. Is -22 less than or equal to h?
True
Let i = -1 - -2. Let b(y) = -y**3 + 8*y**2 + 5*y + 16. Let t be (3 - 0)/((-1)/(-3)). Let d be b(t). Are i and d equal?
False
Let n(c) = c**2 - 28*c + 79. Let z be n(25). Suppose 5*x - 2688 = -3*s - 3*s, z*s = 12. Do x and 534 have the same value?
True
Let m = 11229 + -11229. Which is smaller: 734 or m?
m
Let t be (-21)/14*4/(-6). Suppose 3*l + 90 + 36 = 0. Let r be 12/l - (-41)/217. Is r at most as big as t?
True
Let j = -5470 + 10441/2. Let h = j + 253. Let c = 15 - 11. Is h at most c?
True
Suppose -22*i + 61*i - 27*i - 1092 = 0. Which is bigger: i or 10?
i
Suppose -1437 = 2*r - q, 65*r - 66*r + 3*q = 726. Is -3579/5 not equal to r?
True
Let d(t) = -43*t - 988. Let v be d(-23). Is 69/88 at least v?
False
Suppose 0*g + 20 = -5*g. Let b(c) = -c**2 + 9*c + 81. Let k be b(13). Suppose z = -k*z + 60. Which is smaller: z or g?
g
Let t(w) = -58*w + 1. Let o be t(-2). Let i be (19 + 9)/(-112)*5/(5/(-472)). Are o and i unequal?
True
Let w = 5635 - 5635.4. Let l = -2 - -2. Let j = l + 2. Which is smaller: j or w?
w
Suppose 0*l - l + 37 = 36. Is l bigger than -4/2067?
True
Let m = -38.9 - -246.9. Let h = m - 303. Let i = -93 - h. Which is smaller: i or -41?
-41
Suppose 0 = 39*m + 8020 + 9101. Which is smaller: m or -437?
m
Let m = 2/845 + 1408/119145. Suppose u - 3*u - 5*x = 81, 108 = -3*u - 3*x. Let f = u - -32. Is f less than or equal to m?
True
Let h = 177 + -175. Let m be (0 - h) + (-13)/((-78)/18). Let b = 4/101 - -17/2121. Is b less than m?
True
Let f be (-24)/176*5/30. Let w = 25/132 + f. Which is bigger: 1 or w?
1
Suppose -5*o + 11*x - 1505 = 6*x, 5*o - x + 1493 = 0. Let z = o - -296. Is -4 at least z?
False
Let k(b) = -b**3 - 18*b**2 + 26*b + 141. Let n be k(-6). Which is smaller: 10 or n?
n
Let v = 289/2 - 22251/154. Let y be 3 + -1*2 + -1. Let l be (0/(y - 1))/2. Is l > v?
False
Let i(r) = r**3 - 38*r**2 - 317*r + 91. Let f be i(45). Let y be (6/(-2136))/(-1*1). Are f and y equal?
False
Let u be 1*1994/(-12) - 91*(-69)/(-18837). Which is greater: u or -166?
-166
Let h = 3128 - 3127. Suppose y + 3*v = 1, 5*v - 5 = -2*y + 2*v. Let r be 51/90 - y/6. Which is greater: r or h?
h
Let j(g) = -1 - 3 + g**2 - 2*g + 10*g. Let o be j(-8). Let s be (7/(35/o))/(10/(-25)). Is s at least as big as -0.1?
True
Let a be 4*(-1)/(-26) - (-249)/(-1365). Which is smaller: 0 or a?
a
Let s(x) = x**2 - 130*x + 3013. Let y be s(100). Let g = 534 + -342. Let a be g/54*(-15)/(-4). Which is smaller: y or a?
y
Let x = -51 + 84. Suppose -57*c = -48*c. Suppose -h = -c*h - x. Which is bigger: h or 34?
34
Let t = 0.343 + 170.657. Let m = -190 + t. Which is smaller: -0.2 or m?
m
Let k = 6246 + -5593. Are 650 and k equal?
False
Let d be 29*2/(-9)*(-290)/(-174). Which is smaller: d or -11?
-11
Suppose 0 = -3*y - 2218*n + 2217*n - 2904, y = -2*n - 968. Which is greater: y or -967?
-967
Let f = 279461/4 - 68695. Which is smaller: f or -0.1?
-0.1
Let a = -1036 - -372. Let t = 492 + a. Do t and -2/3 have different values?
True
Let h = 8607 + -8605. Which is greater: 3067 or h?
3067
Suppose -5*f = -3*h - 785 - 221, 2*h - 6 = 0. Let d = f + -303. Is d less than -99?
True
Let h(s) = -35*s**2 + 20 + 64*s**2 - 30*s**2 - 34*s. Let x be h(-33). Is x at least as big as 53?
True
Let k be (1 + 0)/(-4 - (-68)/16). Let t be (8/4)/(((-32)/(-444))/k). Let h = t - 51. Is h greater than or equal to 60?
True
Let x = -55.59 - -56.09. Which is bigger: x or -218?
x
Suppose 17*k + 6*k = 18*k. Let g be (3/510 + k)*(-31 + 27). Which is smaller: 0 or g?
g
Let s = 591 - 579. Let j be (18/s)/(((-108)/(-16))/(-9)). Let z = -1703/2058 + -2/343. Is z not equal to j?
True
Let u = 0.336 - -44.264. Let s = u - 44.77. Is s less than -2?
False
Let q(p) be the first derivative of 11*p - 11/2*p**2 + 40. Let h be q(3). Which is greater: h or -24?
h
Suppose 8*g = -2*g - g. Suppose -2*s + 6*s - 24 = g. Suppose u = s*u + 20, 0 = 3*j + 2*u - 127. Are j and 45 equal?
True
Let r = 6975 + -6917. Let o = 1 - 0. Is o smaller than r?
True
Suppose 0 = 5*m - 4*h + 150, 139*m - h + 267 = 131*m. Is -26 not equal to m?
True
Let r(a) = 2*a**2 + 24*a - 16. Let j be r(-13). Let h = j + 28. Let t be 8/24 - 14/h. Does 1 = t?
False
Let w(u) be the second derivative of 23*u**6/720 + u**5/10 + 7*u**4/3 + 21*u. Let i(f) be the third derivative of w(f). Let p be i(2). Is p smaller than 57?
False
Let x(o) = 3*o + 4*o + 53 - 140. Let a be x(12). Is -18/5 bigger than a?
False
Suppose -15 = 17*o + 2. Let v be ((-5)/(-81))/(8/(-24)). Which is bigger: v or o?
v
Let k = -4/105 + -92/35. Let t = -116 - -120. Suppose t*v - 27 + 35 = 0. Which is greater: v or k?
v
Let p = 103621 - 103623. Let d(c) = -112*c**2 - c - 1. Let f be d(-1). Which is smaller: f or p?
f
Suppose -70*l - 195 - 202 = -327. Is 114/311 bigger than l?
True
Let y be -1*1 - (-1 - -13). Suppose 0 = 2*x + 4*i + 32, -4*i + 108 = 10*x - 15*x. Let o be 253/(-55) - 12/x. Is y < o?
True
Let u(h) = -h. Let j(k) = -k - 7. Let d = 4 - 3. Let s(o) = d*j(o) + 5*u(o). Let x be s(-2). Are 4 and x non-equal?
True
Let j(u) = 2*u**3 + 12*u**2 + 23*u - 40. Let s be j(-5). Which is smaller: 2/285 or s?
s
Let p be (-1 - -4) + (-4)/34 + 18/153. Do -2 and p have different values?
True
Let d = -190.4 + 161. Let v = -17.6 + d. Is -2 less than v?
False
Let j(b) = b**2 + 4*b - 6. Let n = 48 - 53. Let l be j(n). Is l greater than -26/17?
True
Suppose 1 = 151*x + 6 - 5. W