11699/17. Which is smaller: m or a?
m
Let w = 2771 + -66. Which is smaller: 2704 or w?
2704
Let j be 5 - (25/((-125)/10230) - -12). Which is greater: 0.4 or j?
j
Suppose -9 + 17 = 2*o. Let i be o/18 + (-208)/(-36). Which is smaller: 23/5 or i?
23/5
Let n = 2476 - 2462.68. Which is bigger: 1/7 or n?
n
Suppose 3*z + 4*p - 1436 = z, -5*p = 5*z - 3595. Let v be 6/33 - z/(-33). Which is bigger: -0.3 or v?
v
Suppose -12*r = -3*r - 342. Let i be ((-21)/(-42))/(1/r). Let p be -1 + 3/3*i. Is p >= 17?
True
Let b = -41 - -39. Let v be 3*(6/6 - 17/3). Let n be (5/((-250)/v))/(6/(-15)). Which is smaller: b or n?
b
Let k = 5255/13 + -5285/13. Which is smaller: k or -3?
-3
Suppose -44 = -6*a + 2*a. Suppose 0 = -3*f + 25 + a. Let g = f - -82. Are g and 95 nonequal?
True
Let j = -26927553/11 + 2449909. Let z = j - 1968. Which is smaller: z or -19?
-19
Let q be 1390*(-25)/(-10)*5/(-25). Is -693 at most as big as q?
False
Let a = -1.9 + 0.3. Let t = a - -1.9. Let s = 16 - 22. Is s at most as big as t?
True
Let p(c) = c**2 + 32*c - 57. Let l be p(-29). Let i = 144 + l. Let n be 15/(-522)*-3*-2. Which is greater: n or i?
i
Suppose 773*u + 1 = 774*u. Let t = -279/28 - -45/4. Are t and u unequal?
True
Let n = 96 - 94. Suppose -n*y - 54 = -4*o + 292, -5*y - 430 = -5*o. Let s = 104 - o. Is 18 less than s?
False
Suppose -11 = -g + 5*o, -g - g - 2 = 2*o. Let a be 3509/693 + g + -6. Which is smaller: 1 or a?
a
Let q(o) = 1147*o**2 + 28*o - 11. Let w be q(-2). Are w and 4520 nonequal?
True
Suppose 0 = 3*q - 4*q - w, 12 = -4*q - w. Let j be (3 - 2)*7/q. Let t be (30/(-45))/(((-10)/9)/(-5)). Is t less than j?
True
Let o be 38736/(-3228) + (0 + -1459)*2. Is 0.3 >= o?
True
Let u be 11/(-6)*83/2. Let a = 76 + u. Let l be 935/(-44) - -26 - (-1 - -6). Is l at most as big as a?
True
Let p = -70033466/279 - -251016. Suppose 3*w + 2*w = 0, -3*m + 3*w = 0. Is p equal to m?
False
Let l be (24/(-6) + -1)*15/(-75). Is l >= -3/5162?
True
Let a = -145/19 - -2741/399. Let s = 25 - 26. Which is greater: s or a?
a
Let w be (-7 - (-150)/20)/((-1)/(-10)). Let z(b) = 8*b + 12. Let k be z(w). Do k and 52 have different values?
False
Let n = 2679 - 2660. Which is bigger: n or 43?
43
Let s(j) be the second derivative of j**4/3 - 3*j**3/2 - 9*j**2/2 - 7*j - 3. Let z be s(3). Is -8/97 greater than or equal to z?
False
Let g(j) be the first derivative of 7*j**2 + 189*j + 55. Let c be g(-15). Which is smaller: -24 or c?
-24
Suppose 15 = -3*k + 3*h, -2*k + 17 = -5*k + 4*h. Let b be -4*(-1)/(-6) - k/2. Let y = 5/24 - b. Which is smaller: -1 or y?
-1
Suppose 5*c - 3*p = 8*c + 24, 3*c + 24 = -4*p. Let m be (c - (-79944)/9996)/(3/(-7)). Which is greater: m or 1?
1
Let h be 255/7 + 24/(-56). Let a = -45 + h. Let f(z) = -z**2 - 8*z + 11. Let k be f(a). Is 1 equal to k?
False
Suppose w + 2 = 0, 2*v - 2*w = 3*v - 4. Suppose -5*u = -2*z - 17, -2*z = -0*z - 2*u + v. Which is smaller: -27/22 or z?
-27/22
Let b(v) = 7 - 3 - 61*v + 2. Let x be b(-3). Let g = -3593/19 + x. Do 1 and g have the same value?
False
Let j = 15834 + -15837.3. Which is smaller: j or -0.01?
j
Let z be -2 + (-1178114)/(-80) + 2*1. Let d = 47271609/3880 - z. Let p = -2543 - d. Is 0 less than or equal to p?
True
Let o be 2*(-5)/(-2) - 7929/1566. Let q = -811/6438 + o. Is 0 at least as big as q?
True
Let i(r) = 21*r + 190. Let l be i(-9). Is -14/3019 <= l?
True
Let v be (-81)/12*7/21. Let r(i) = -6*i**2 - i - 3. Let q be r(0). Which is greater: q or v?
v
Suppose 0 = -5*s - 20, -8*g + 3*g + 3*s = -42. Suppose 19 = -r - 11*j + g*j, -j + 5 = -2*r. Let i be -1 + (r/(-3))/4. Which is smaller: -60 or i?
-60
Let h be -140 - (36*(-10)/(-40) - -1 - 10). Suppose 0 = 2*g + 2, 2*s - 2*g + 137 = s. Which is greater: h or s?
s
Let v be 3/(-270)*-12 + (-288)/135. Is v less than or equal to -1171?
False
Let i be 2 - (-2 - (-38)/4). Let j(p) = -p - 29. Suppose -2*r = 8*o - 5*o + 50, 0 = 3*o + 6. Let k be j(r). Which is smaller: i or k?
k
Let p(o) = -o**3 - 3*o**2 + 12*o + 5. Suppose 13*x - 9*x = -16. Let i be p(x). Let s = i - -39. Is 12 < s?
False
Suppose -54 = -9*c - 0. Let m be (-6)/80*(-15115)/c. Let x = 189 - m. Is x > 1?
False
Suppose 12*d = -2*y + 998, 3*d + 187 = y - 330. Which is greater: y or 513?
513
Let h = 21 - 65/3. Let o = 4020.58 + -3958. Let r = o - 4.58. Is r smaller than h?
False
Let r be (-21)/(7 + -10)*(-19 - -18). Suppose -12 = -0*z - 3*z. Suppose -2*y + 20 = -z*y. Is r smaller than y?
False
Let u(s) = s**3 + 18*s**2 + 35*s + 27. Let j be u(-16). Which is greater: j or 23?
23
Let r = 23 - 15. Let n be 1/4*r/28. Suppose 0 = -4*i - t, 39*t = -5*i + 37*t. Are n and i non-equal?
True
Let b(y) = -y**3 + 8*y**2 - 6*y + 49. Let m be b(8). Suppose 4*f - 5*h = m, -7*h + 5*h = 3*f + 5. Does 1/27 = f?
False
Suppose -3*w + 5*y = 276, 3*w + 199 + 77 = -5*y. Let t = -137 - -46. Let l = t - w. Which is bigger: l or -1/29?
l
Suppose -20 + 229 = 11*h. Suppose v - h*p = -18*p, -3*v = -p. Is -1/177 smaller than v?
True
Let k = 1011.9 - 971. Let q = k + -41. Are 10/27 and q equal?
False
Suppose -p = -5*v - 6, -4*v - 1 - 3 = 0. Which is bigger: 2/57 or p?
p
Suppose -5*l + 2*j + 2 = -25, -5*j = 5. Suppose l*p - 74 - 41 = 0. Suppose 0 = -g + 5*b + p, -2*g - 11 + 37 = -5*b. Which is smaller: 24/11 or g?
24/11
Let l = -233.6 - -305. Let s = -905 - -919.4. Let z = l - s. Which is greater: z or -1?
z
Let t = -2054 - -1393. Let o = t + 742. Which is greater: -0.1 or o?
o
Suppose -14 = -3*v - 8*d + 4*d, -d = -3*v - 11. Let g = -33 + 90. Let u = g - 56. Are v and u equal?
False
Let h = -1412/5 + 213222/755. Suppose -7*k - 1640 = -3*k. Let i = k - -411. Do h and i have the same value?
False
Let a = 17428 + -16533. Is a not equal to 896?
True
Let n = 64 - -134. Let a = 199 - n. Which is bigger: a or 10/21?
a
Let s = 3286 + -2528. Which is smaller: 762 or s?
s
Suppose 96*v - 36511 - 929 = 0. Is 388 > v?
False
Let w be (118/(-4))/(1/2 + 2). Let j be 1365/(-130) - 1/2. Which is smaller: w or j?
w
Let c(z) = 2*z**2 + 29*z + 29. Let o be c(-12). Let t be -1*116 + o + 33. Are t and -115 nonequal?
True
Let p = 3598 + -3586. Which is bigger: 309 or p?
309
Let c = -93/41405 + -1/169. Suppose z + 24 - 19 = -2*x, 4*x - 4*z - 8 = 0. Which is smaller: c or x?
x
Suppose -2*f + 3*j + 38 + 6 = 0, 5*j = -10. Let r = -4884 + 4891. Is r equal to f?
False
Let m = 52 - 50. Suppose 0 = -3*r + 12, -m*r + 52 = -4*v + 3*r. Let z be 2 - (12/v)/(3/(-4)). Is z less than 5/27?
True
Suppose 3*p - 3*n = -2*n + 7, 5*p - 4*n - 7 = 0. Suppose 0 = 2*k, p*k - 295 + 95 = -4*t. Suppose 113*r - 12*r - 4949 = 0. Which is greater: r or t?
t
Let t = 185957/18 - 10331. Let u be -2 - (-2 + -2 + 2). Suppose u = n - 2*n. Which is smaller: t or n?
t
Suppose -425 = -2*w - 13. Suppose -6*o - 50 = -w. Which is smaller: o or 22?
22
Let t(k) = -k**2 + 11*k - 12. Let q be t(9). Let i be 3087/3 - 27/(-45). Let m = i + -1025. Which is smaller: m or q?
m
Suppose -3*s + s - 6 = 2*m, -2*m - 15 = 5*s. Are 26/69 and m non-equal?
True
Let k = -0.014 + -9.386. Let o = 56.5 + k. Let b = 48 - o. Which is smaller: b or 2/3?
2/3
Let t be -155 + 6*(-5)/(-60)*0. Let c = t + 8214/53. Let k = 1 + -1. Which is greater: c or k?
k
Let l be 3*(-4)/(-66) - (-1956544)/(-213180) - -9. Which is greater: l or 0.19?
0.19
Let n = 153.986 + -154. Let w = 0.314 + n. Suppose 3*m + 9 = -0*m, -5*q = 3*m + 14. Which is smaller: w or q?
q
Let n = 0.006647 + -0.006647. Let p be 2/(-5)*61/(-2). Are p and n non-equal?
True
Let n be 4/86 - 1 - -1. Let x = 135 - 133. Suppose 4*l + 4 - 6 = -x*u, 3*l = -u + 1. Which is bigger: n or u?
u
Suppose 2*j - 245 - 5 = 0. Which is smaller: j or 124?
124
Let a be 1*(-12)/(-17232)*220. Is a less than or equal to 0?
False
Let s(t) = 5*t**3 - 66*t**2 + 6*t + 68. Let q be s(13). Do 7 and q have different values?
True
Let d = 21 + -42.1. Let q = 1.9 - d. Let s = q + -23.13. Which is smaller: s or 2?
s
Let x(n) = 10*n - 2. Let d be x(-2). Suppose -4*k + 1 = -19, -2*i + 4*k = 16. Suppose 59 = -3*s - r, i*s + 0*s - 2*r = -50. Is d at most as big as s?
True
Suppose -23 = -4*k + 5*f - 4, 0 = -3*f - 9. Let z be (k + -3)/((-8)/460). Suppose 5*i + r = -r + 274, -2*i = -r - z. Are 57 and i nonequal?
True
Let k be (2/(-250))/((-8890)/(-9525)). Is -1.5 not equal to k?
True
Let z be 150/20*4/5. Suppose 2019 = -z*h - 249. Let k = 21923/