 -35 or m?
m
Let l be 155/2*(-20)/(-50). Suppose 11*o + 3528 = -l*o. Which is greater: -83 or o?
-83
Suppose 2*s = -4*b + 742, 0 = 5*s - b + 394 - 2315. Which is smaller: 4 or s?
4
Let i = 28033/35 - 801. Let j = 0 - -15. Suppose -j*c = 18 - 3. Is i at most c?
False
Let j = -331 - 217. Let v = j - -548. Which is smaller: 2/291 or v?
v
Suppose 25 + 107 = 12*n. Suppose 0 = -0*y + n*y - 88. Let z be (-64)/(-3)*((-36)/y + 3). Are -32 and z unequal?
False
Let h(w) = -2*w**3 - 4*w**2 - w + 2. Let t be h(-2). Let p = 701.948 - 702. Let g = p - 0.018. Are g and t nonequal?
True
Let r = 7.426 - 3.426. Which is greater: 14/53 or r?
r
Let p = 93.5 - -42.5. Let f = -136.09 + p. Does f = -0.16?
False
Suppose 6 + 51 = -119*s + 138*s. Which is greater: s or 306/109?
s
Suppose -91*p - 165 = -86*p. Let z be (-32)/p - 18/(-36)*0. Is z not equal to 0?
True
Suppose -2*b - 3*y - 6 = 0, -2*b + y - 1 = -3. Let l = 181 + 107. Let u be 10/(-2) - l/(-56). Is b greater than or equal to u?
False
Let z be 66 - ((-5)/(-3) + (-5)/(-15)). Suppose 4*o + 52 = 3*m, -5*o - 3*m - z = 1. Which is smaller: o or -92/7?
-92/7
Suppose -61*c + 0*c = 61*c - 112606. Is c < 922?
False
Let z be ((-45)/60)/(4/(-16*1)). Is -32/21 greater than or equal to z?
False
Let w = 1.1643 + 14.8357. Which is smaller: -52 or w?
-52
Let p = -1441 - -1451. Which is smaller: p or -0.053?
-0.053
Suppose -29*x = -20*x - 13*x. Let b = -90 - -20. Let c be (-12)/b*(-20)/(-6). Are x and c unequal?
True
Let l = 4977 - 5359. Is l bigger than -0.5?
False
Suppose -14*z + 8*z - 6 = 0. Let t be 2 + z + 2 + 147/(-39). Let i = -262 - -262. Is i > t?
True
Let f(q) = -q**3 + 3*q**2 - q + 1. Let n be f(2). Suppose n*v + 1 - 4 = 0. Let k = -683 - -683. Is v less than or equal to k?
False
Suppose -3*q + 52 + 28 = -5*a, 6*a + 2*q = -96. Is a equal to 112?
False
Let s(h) = -346*h - 1115. Let x be s(-9). Are x and 6001/3 non-equal?
True
Let w(c) = -6*c**2 + 493*c - 568. Let x be w(81). Does 37/244 = x?
False
Let n = -70239/22 + 3192. Let u = 203 + -203. Which is greater: n or u?
u
Suppose 8*l = 5*l + 5*f - 34, 0 = -3*l + 4*f - 32. Let z(k) = 10*k + 36. Let x be z(l). Which is smaller: x or -222/5?
-222/5
Suppose -1 = -t - 7. Let w be ((-1)/(-4))/(t/16). Let r(c) = -23698*c - 1161284. Let z be r(-49). Is w less than or equal to z?
False
Let a(j) = 223*j - 10. Let k be a(4). Let z = 2093 + k. Let w be 2 - -1 - z/986. Are 1 and w unequal?
True
Let a be (-6)/(-4)*(-96)/4. Let g be (-25)/625*885 - ((-8)/(-5) + -1). Is a not equal to g?
False
Let m = 1.4311 + -3.4151. Which is smaller: m or 0?
m
Suppose 5*h - 104 + 400 = -3*c, 360 = -4*c + 2*h. Let r = -51 - c. Let i be -1 - (1 - r/(-5)). Is -9 greater than i?
True
Suppose 1520 = 3*w - 5*o, -5*w + 2*o + 1891 = -617. Let k be (-275)/w - (-1)/(-5). Which is bigger: 1/2 or k?
1/2
Let z be 2/(-4) - 3/(-2). Let j = 205 + -218. Let m be (-2)/(-3)*((-2296)/175 - j). Which is smaller: z or m?
m
Let r(x) = -15*x + 9. Suppose -15 = -3*z + 3*k, -5*z + 1 = -6*z + 4*k. Let a be r(z). Let f = a - -863/9. Is f greater than -1?
True
Let j be (483 - 490) + (-34462)/(-4926). Which is smaller: j or 1?
j
Let g(b) = -176*b**2 - 23*b - 96 + 89*b**2 + 3*b + 86*b**2. Let y be g(-8). Which is smaller: y or -1/102?
-1/102
Let x(t) = t. Let n(q) = -35*q + 7. Let p(z) = 2*n(z) - 6*x(z). Let v be p(4). Which is greater: -291 or v?
v
Let f = -0.05065 - 1.94935. Which is smaller: f or 1725?
f
Let s = 169.96 + -225.9. Let x = s - -2.94. Is x >= 0.1?
False
Let l be (-8)/(-2) + 2 - -190. Let t be 198 + 4/(-3 + 1). Is t at least as big as l?
True
Suppose -44 + 2 = -7*b. Let q(s) = -4*s + b + 3*s + 0*s. Let t be q(9). Which is smaller: t or -10?
-10
Let a(k) = k**3 + 7*k**2 - 7*k + 8. Let q be a(-8). Suppose -3*j - 2*j = q. Let z = 1147/140 + -33/4. Which is greater: j or z?
j
Let t = 53 - 58. Let o be 3*(-25)/(t - 0). Suppose -330 = -o*f - 0*f. Is -2 greater than f?
False
Let a = 17.89 + -18. Let b = a + 11.11. Let x be (-34)/15 + 2 + 112/(-280). Which is greater: b or x?
b
Let k = -397180/11 - -5421719/143. Let m = 1813 - k. Is 6 < m?
True
Let v(g) = 5 + 0 - 4 + 0 + 3*g + g**2. Let m be v(3). Let i = -0.992 - -1.092. Which is bigger: i or m?
m
Let x be 99207930/11229*4/(-10). Let g be 2/(-11) - 155488/44. Let i = x - g. Is 1 at least as big as i?
True
Let q be 719/120 + 13 + (3/(-24) - 13). Let y = 10 - 4. Is y <= q?
False
Let h = -71 + 71. Suppose -3*o + 3 - 159 = h. Let v = 56 + o. Are v and 6 unequal?
True
Let p = 597 - 597. Suppose p = 4*h - 14 + 98. Is -21 greater than or equal to h?
True
Let c(o) = 3*o - 46. Let h be c(16). Let n be h/(-170) + (-1)/2*0. Which is greater: -1 or n?
n
Let i = 6 + -16. Let g = i + -17. Let v be 3/(24*-1) + 828/(-32). Do g and v have the same value?
False
Let n = 191845.07 + -189962. Let s = n + -1862. Let u = s + -21. Does -1/3 = u?
False
Let p = -11.26 - 586.74. Let w = p + 567. Which is bigger: w or -2?
-2
Suppose -255 - 65 = 5*r. Let h = -97 - r. Do h and -30 have different values?
True
Suppose 11 = n - j + 2, 4*n - 28 = 3*j. Is 7/1149 less than or equal to n?
True
Suppose 7*l = -3*b + 4*l - 6, 5*b = -2*l - 19. Let r(j) = 17*j + 80. Let p be r(b). Is -30/7 greater than p?
True
Let k = 148.57 - 0.57. Let b = k - 146. Is b > 67?
False
Let b = -35130.051692 - -0.051692. Let h = -35158.962 - b. Let m = -29 - h. Which is smaller: -1/2 or m?
-1/2
Let t(u) = 18*u**2 + 216*u. Let c be t(-12). Suppose 2*r + 8 = 0, 4*z - 3 = 4*r + 21. Suppose -z*f - 8 = -2*k - 0*k, -f - 2*k + 5 = c. Is -2 greater than f?
False
Suppose -538 = 13*v + 1724. Is -864/5 greater than or equal to v?
True
Suppose 18 = 4*p - 46. Let k be ((-15)/(-4) - 0)/(22/440). Suppose 3*m - v + k = 8*m, 4*m - v - 69 = 0. Is p < m?
False
Let l = 9207621 + -13535202281/1470. Let i be -3*1/294*36. Let q = i + l. Which is smaller: 0 or q?
0
Suppose 30*d + 4*a - 6 = 32*d, d = 5*a - 15. Which is greater: d or 82/13?
82/13
Let u be -58 - (10 + -14 - -4)/(-1 + 2). Which is smaller: u or -56?
u
Let v = -79 - 46. Let q be 286*315/5460*((-56)/10 - 2). Is q less than or equal to v?
True
Suppose -2*u = -2*x - 48, -2*u + 8 = -5*x - 25. Suppose 5 = -2*l + 3. Let a be (327/12 - l) + 2/(-8). Which is smaller: u or a?
a
Let f be (152/1520)/((-11)/2). Let n(t) = -t + 1. Let w be n(1). Is f greater than w?
False
Let z = -30826.0396 - -30826. Is 0.2 >= z?
True
Suppose 0 = 2*h + 2*k - 2, 34 = 4*h + 3*k + 36. Which is smaller: -315/53 or h?
-315/53
Let w be (14/(-21))/((-561)/(-4356)). Which is greater: 2/51 or w?
2/51
Suppose 2*z - 4*q + 2 = -2, 6 = -3*z - 4*q. Let h = -11 + 1. Let u be (-1)/(-24) + h/15. Is u <= z?
False
Let n(t) = -4*t**2 - 3 + 3*t**2 + 0*t**2 - 4*t + 2*t**2. Let s be (3 - 5)*6/12. Let a be n(s). Which is bigger: -2 or a?
a
Let i = 3.1 - 1.1. Let p = -210 + 201. Let j = p + i. Is j bigger than 3?
False
Suppose 74 = 3*r + 2*f, 2*f - 130 = -5*r - 0*f. Let d be (-12)/20 - (-5)/25*r. Which is smaller: d or 12?
d
Let n = 430 + 1893. Is 4643/2 at least n?
False
Suppose 3*w - 27 = 2*s, 0*s + 3*s + 27 = 3*w. Suppose 19*f - w*f = -10. Which is smaller: f or -6?
-6
Let y be 7/(42/78) + 7. Let z be (-40)/(-14)*4550/y. Which is greater: 649 or z?
z
Suppose 13*l - 37 = -1285. Suppose c + 52 + 44 = 0. Is c at most as big as l?
True
Let y(z) = 11*z + 44. Let p be y(-4). Suppose p = -6*x + 136 - 136. Let q = -524 + 13097/25. Which is smaller: q or x?
q
Let w(c) = c**2 - 156*c - 810. Let t be w(-5). Let x = 23 - 16. Let u = x + -16. Which is greater: u or t?
t
Suppose 5*i - 3*m = -23, -4*i - 5*m - 9 = -35. Let j(r) = 3*r**2 + 2. Let h be j(2). Let b be 6/h*5/6. Are b and i non-equal?
True
Suppose 0 = 2*f + 3*d - d - 8, 0 = -3*f + d + 8. Let r be f/(-7)*(-20)/140. Is r >= 1?
False
Let o = 117/307 - 120408/318359. Which is smaller: 1 or o?
o
Let w = -1910833754761/5161 - -370244873. Let k = -50/397 + w. Let x = k - 2442/377. Is x bigger than 0?
True
Let n be ((-2)/4)/(4/8). Let g(c) = 7*c - 1. Let q be g(1). Let a be 64/3*n/4*q. Do a and -32 have the same value?
True
Let d = 154 + -101. Let t = d + -52. Let n = -2/1575 + 92/1575. Which is smaller: t or n?
n
Let d = 6214/35 + -5815639/32760. Is d > -1?
True
Let o = 10709 - 10708.1. Suppose 7 + 5 = 3*w. Do w and o have the same value?
False
Let f be -6*(-36)/81*(1 - -1). Let j = -6 + f. Which is 