12. Which is bigger: -19/5 or o?
o
Let z = -5168 - -5222. Is -19 at least z?
False
Let w = -534017 - -3730901/7. Is -1032 < w?
True
Let f = 0.05818 - 0.35818. Let w = 39.4 - 3.4. Which is smaller: w or f?
f
Let t be 60 + (0/(-1) - 1). Suppose 89*q = -3076 - 2264. Let l = q + t. Is -2/13 bigger than l?
True
Suppose -41 = 17*h + 146. Are h and -11 nonequal?
False
Suppose -10 = -4*d + 3*t, 0 = -d + 2*t - 0 + 5. Does -24/55 = d?
False
Let r = -76 + 109. Let d = r - 31. Let s = -1.8 + 2. Is s at most d?
True
Let a be ((3 + -2)*0/(-9))/(-2). Suppose a = -2*i + 16 - 12. Are -29 and i unequal?
True
Let s be ((-3)/(-6))/((-420)/(-40) - 10). Which is greater: 19/12 or s?
19/12
Let g(j) = -j**3 - 14*j**2 - 12*j + 224. Let f be g(-11). Do f and -278 have the same value?
False
Let y(v) = v**2 + 4*v - 7. Let r be y(3). Let b(z) = z**2 - 4*z + 21. Let u be b(9). Suppose -5*f + u = -0*f + 2*g, -2*f + 3*g = -15. Is r equal to f?
False
Suppose 49*p = 53*p + 2444. Let k = -611 - p. Which is greater: k or 1/248?
1/248
Let v = 853 - 22157/26. Let s = 88 + -86. Are s and v non-equal?
True
Let i(j) = j + 14. Let s be i(19). Let y be (5/15)/(s/324). Let q = 2 - 0. Which is smaller: q or y?
q
Let w be ((-2)/20)/((-46)/8). Suppose 0 = 2*b + 4 - 26. Suppose -b*z = 4*z. Which is bigger: w or z?
w
Let a = -4 - 210. Let j = a - -351. Which is greater: j or 1?
j
Suppose 4*n - 108 = -0*n. Suppose -3*o - 18 = -2*w - w, -2*w + n = o. Let j(r) = r**2 - 4*r - 10. Let b be j(7). Is w at least b?
True
Let z be 3/(-2) - 14157/9126. Which is smaller: -4 or z?
-4
Let u be 38 - 1 - (-1 - 0). Let r = 4961 - 4920. Is u greater than or equal to r?
False
Suppose -93 = 5*l - 3. Let z be ((-24)/120)/(l/(-70)). Is -1/5 > z?
True
Let z be (-138)/(-92)*(-16)/(-6). Suppose 5*s - 6 = -q + z, s = 2. Is 8/7 >= q?
True
Let u = 782.658 - 782. Let b = u - 0.592. Is 0.5 smaller than b?
False
Let p = 35 + -36. Let y be ((-1 - p) + -1)/2*-8. Let f be (-8)/(32/(-12)) - 46/y. Is -8 not equal to f?
True
Let r = -0.08 + 0.18. Suppose 6*q - 34*q = 2408. Are q and r equal?
False
Let t = -0.441 + -4.559. Is -0.1074 greater than or equal to t?
True
Let k(f) = -707*f + 16834. Let c be k(18). Which is bigger: c or 4107?
c
Let k = 1678 - 1547.1. Let s = -132 + k. Is s <= -1?
True
Let b be 7*30/70 - (-784)/(-268). Which is greater: b or 8?
8
Let a be (6 - (-51)/(-9))*(7 - -1). Let s = a - 107/30. Let b be (6/4)/((-6)/8). Are b and s nonequal?
True
Let k be (275/330*2/(-15))/((-174)/4608). Is k less than 2?
False
Suppose 46*b = -17*b - 3528. Which is greater: b or -49?
-49
Suppose -4*q - 2*z = -30, -5*q + 75 = -2*z - 3*z. Let g be 36/30*q/39. Is -4/3 at least g?
False
Let v = 68.94 + -70. Let u = v + 2.06. Let m(y) = y**2 + 7*y - 8. Let i be m(-6). Which is smaller: u or i?
i
Suppose 25 = -21*p + 26*p. Suppose s - 10 = -p. Suppose -2*n + 3 = -1. Is s bigger than n?
True
Let m = -8267/31 + 305497/217. Is 1142 > m?
True
Let o = -9542 + 6695. Is o != 2/3?
True
Let z = 319.068 - -3.932. Which is bigger: -0.4 or z?
z
Suppose 0 = -0*d + 4*d - 4, 5*n = -3*d - 42. Let q be 1/(-2) - ((-405)/(-10))/n. Suppose -2*m = -4*f + 6, f - q*f = 2*m + 20. Is -8 smaller than m?
True
Let o(z) be the third derivative of z**4/12 - 5*z**3 + 29*z**2. Let b be o(12). Let w(d) = -3*d - 12. Let l be w(b). Is 19/3 less than l?
False
Suppose 0 = 7*b + y - 0*y - 25, -b = 5*y + 45. Suppose -5*o + 5 = 25. Is o >= b?
False
Suppose -37115 = 41*m - 1855. Which is greater: -863 or m?
m
Let r = 927407918/1045 + -4437354/5. Let n = -7/95 + r. Which is greater: n or 2?
2
Suppose 5*k + 4 = -46. Suppose 0 = -9*h + 34 + 20. Let i be -4 - 1/(-1) - h. Do i and k have the same value?
False
Suppose -4*a + 38 = -5*s, -2*a + 5*s + 50 = 3*a. Let q(v) = v - 12. Let x be q(a). Are -2/159 and x nonequal?
True
Let m = -45 - -77. Let f = m - 32. Let v = 0.0096 - -2.8904. Which is smaller: f or v?
f
Let c be 14/49*2402/158. Let w be 20/3555 - 2/(-9). Let x = w + c. Is 5 smaller than x?
False
Suppose -3*q - 2*w = -13, -q + w - 1 = -2. Suppose -64 = -p - q*u - 19, -5*p = 3*u - 189. Let a = p - 107/3. Which is smaller: -0.2 or a?
-0.2
Let c = 4021/3 - 4283/3. Let x = c + 1309/12. Is x smaller than 21?
False
Let p = -125.0653 - -0.5253. Which is smaller: p or -2?
p
Let h be 1*(3 - 90/10). Is -150/23 not equal to h?
True
Let u = -26 + 36. Let m = -213 - -84. Let a = m - -137. Is a at least u?
False
Let r = -275 + 1000. Which is greater: r or -3/5?
r
Let v = -18.7554 - -1.8854. Which is greater: v or -0.7?
-0.7
Let a = 220029/31 - 7097. Is 1 at least as big as a?
True
Let z be 7/(-35)*(-13 + 10402/805). Which is greater: 1 or z?
1
Let u = 6664.885 - 6612. Let t = -53 + u. Are t and 0.1 unequal?
True
Let y = 24/725 + 347688/9425. Are y and 38 equal?
False
Suppose 71*z - 61*z = -300. Is z less than or equal to -0.035?
True
Suppose 4*k = -k + 5, -n = -2*k - 40. Suppose n*c - 34*c - 304 = 0. Is c smaller than 38?
False
Suppose -17 = -c + 99*l - 98*l, 5*l + 68 = 4*c. Which is bigger: c or 15?
c
Let w be (7*(-40)/210)/(168/(-10)). Which is bigger: w or 7?
7
Let z = -375549/2630 - 3/526. Does z = -144?
False
Let s = 29455 - 29467.377. Which is greater: s or 0?
0
Let o be 2*16/(-56) + 2314/7. Which is greater: o or 310?
o
Let w = -12407 + 14573. Which is smaller: w or 2167?
w
Let d be (-2)/((-8)/(-40) + (3786/795 - 5)). Which is smaller: 429/8 or d?
d
Let h = -3343 + 6689/2. Is h >= 9?
False
Let o = 111 + -111. Let z = -65 + 75. Is z <= o?
False
Let w be -2*9/(-6) - (-33984)/59. Does 581 = w?
False
Suppose -4*l - j - 3 = 0, 0 = -5*j + 313 - 328. Which is greater: 12/29 or l?
12/29
Suppose 0*c + 51 = x - c, 4*c - 76 = -x. Suppose -28*h = -26*h - x. Suppose 0 = -2*m - 10 + h. Is 11 smaller than m?
False
Suppose 2*u + 9 = -85. Let f be 10/(-4)*(-6)/(-5)*-15. Suppose -11*c = -10*c + f. Which is bigger: u or c?
c
Let b be (-2)/((-120)/126)*24/(-612). Which is greater: b or -1?
b
Let v(p) = -6*p + 36. Let l(n) = 7*n - 37. Let y(w) = 5*l(w) + 6*v(w). Let b be y(3). Suppose -4*a = -2*a - 52. Which is smaller: b or a?
a
Let b be (2 + -5 - -2 - -1)/(-1). Suppose 9*k + b*k - 828 = 0. Let n be (k/6)/(26/(-78)). Is n < -47?
False
Let c = 733/58 - 4813495/380886. Are 0 and c equal?
False
Let l = 1/354 - 3197/3894. Which is smaller: l or -12?
-12
Let a = 277/12 - 647/24. Is a not equal to -5?
True
Let w be (-14)/(-6) - 1/3. Suppose 0 = 6*q - 125 + 95. Let t be q/((-10)/16)*20/(-70). Are w and t equal?
False
Let g be 333*(1710/189 - 4). Let i = g - 1684. Suppose f - 2*f = 3. Is f < i?
False
Let x be ((-8)/(-248))/((-22)/(-974)). Let q = 189 - 2094/11. Let r = q + x. Are 1 and r nonequal?
True
Let z = -510/41 - -3683/451. Let i = z - -42/11. Suppose -3*s = -40 + 43. Is s greater than or equal to i?
False
Suppose -g + 2*h = -332, 0 = 3*g - 97*h + 92*h - 999. Which is smaller: 335 or g?
335
Let u = -475 - -491. Suppose -5*f + 5*w + 35 = 0, -31*f - u = -35*f + w. Which is greater: 14 or f?
14
Suppose 157 = 10*h + 37. Suppose i = -3*n + 4*i + h, -n - 2*i - 8 = 0. Let s be 6/2 - (-98)/(-30). Which is smaller: s or n?
s
Let o = -23053 + 23053. Which is smaller: o or -1/703?
-1/703
Let m be (48 - 48) + 1*2/(-1806). Let p = 368/60501 + m. Is 0 at most p?
True
Let w be (-16 - -1)*2/5. Let n be (6/8)/(w/4). Let v = -816.99 - -817. Is v < n?
False
Let i be 0 + (2 - (-24)/(-11)). Let k = -72.92 - -3.92. Let r = k + 72. Which is bigger: i or r?
r
Let a = -107 + 117. Suppose -2*c - 16 = -a. Which is smaller: -1 or c?
c
Let t be 4 + (2272/(-730) - (-14)/35). Which is smaller: 1 or t?
1
Suppose -196 = d + i + 4*i, 784 = -4*d - 4*i. Let g = d - -170. Which is smaller: -23 or g?
g
Let p(h) = h**3 + 1. Let i be p(-1). Suppose i = 2*q + f - 3*f + 6, -q = -2*f + 6. Let c be -44*465/(-57288)*(-1)/((-1)/2). Which is smaller: q or c?
q
Let s(g) = -g**3 + 3*g**2 + 2*g + 4. Let u be s(4). Let d = 175.38 + 2.62. Let q = -182 + d. Is u not equal to q?
False
Let h(a) = a**3 - 8*a**2 - 14*a + 9. Let v = -16 - -25. Let f be h(v). Let i = f - -285/8. Which is bigger: 1 or i?
1
Let q = 16 + 13. Let z = 29.98 - q. Let f = -1.78 + z. Are -0.1 and f nonequal?
True
Let t be (6 - (6 - 1)) + (-10130)/10134. Let r = t + 16868/55737. Do r and -2 have the same value?
False
Suppose 4*s - 2478 = -2622. Let m be ((-1411)/3)/(5/45). Let y be 