- -1673. Suppose 4*w - 2 = 2. Is w less than or equal to k?
False
Let i = 94.7 + -99. Let z = -6 - i. Let d = z + 1.6. Is 1/13 > d?
True
Let o be 7 + -1 + -1 + -2. Let r be (27/(-4))/o + 12 + -10. Are 0.2 and r equal?
False
Let m be (4 - 5) + (3 - (-34)/(-12)). Which is greater: m or -0.15?
-0.15
Suppose 0 = -12*d - 276 - 264. Let t = -1/257 + -22357/514. Which is bigger: d or t?
t
Let h(q) = q - 2. Let y be h(1). Suppose -8 = d - 2. Let u = d - -7. Which is greater: y or u?
u
Let z be (-456)/(-16) + 1/(-2). Let c = z - 31. Let l(j) = -j**3 - j**2 + 5*j - 3. Let w be l(c). Which is smaller: w or 3/8?
w
Let y = 1183 + -1204. Which is bigger: y or 21?
21
Suppose 3 = -58*o + 57*o. Is o equal to -14?
False
Let x = -29 + 37. Suppose 0 = 7*z - 6*z - x. Is 6 equal to z?
False
Let v be (3 - 0)/((-8)/(-72)). Suppose -v = -3*y + 3*p, 0 = -y - 2*y - 5*p - 13. Let h be y/6 + (-2)/3. Is h < -6/11?
False
Let a = -9.87 - -10. Let y = a - -6.87. Is -4 at least as big as y?
False
Suppose 2*o - 503 - 255 = 0. Which is smaller: o or 377?
377
Let z = -1131.13 + 1126. Let j = z - -2.06. Let i = -0.07 - j. Are -2 and i non-equal?
True
Suppose f = -3*f + 100. Let g = 4 - f. Let c be g/14*8/174. Is 1 >= c?
True
Let v = 0.97 + -1. Let z = -0.27 + v. Let w be (35/(-14))/(285/(-12)). Is z at most as big as w?
True
Let t = 18.2 + -5.1. Let x = 5.9 + t. Are x and -0.1 equal?
False
Let d(a) = -a**3 + 17*a**2 - 21*a + 38. Let j be d(16). Let v be (-3 - -2)/((-33)/j). Is 0 < v?
False
Let g be ((-4)/4)/(4/(-32)). Let w(q) = -q**3 - 9*q**2 - 9*q - 4. Let f be w(-8). Let p be 0*f/g*2. Which is bigger: p or 1/16?
1/16
Let w(q) = -3*q**3 + q**2 + 2*q - 6. Let p be w(-3). Let t be ((-4)/8)/(3/p). Is -11 greater than t?
True
Let j be 0 - (4 + -2)*1. Let f be ((-72)/(-30))/j*(-20)/102. Is -1 at least f?
False
Let o(u) = 285*u**2 - 6*u + 4. Let v be o(1). Which is bigger: 284 or v?
284
Suppose -5 = -0*i + 5*i. Let m = -4/837 - 314/51057. Is m > i?
True
Let p be (-1 - 6) + (7 - 7). Let v = 3/8713 - -11544704/60991. Let n = 189 - v. Is p greater than n?
False
Let d = -126 - -126. Let o = -432 - -19873/46. Is d not equal to o?
True
Let x be 333/444 + (-29566)/39400. Which is bigger: x or -1?
x
Let h = 12 + -11. Suppose -10 - 20 = -5*s. Suppose 3*x - 6 = 3*d, -d + 4*x = -s*d + 17. Is d < h?
False
Let d = -42 + 42. Let l(m) = m**2 + m + 1. Let o be l(d). Which is greater: o or -3/25?
o
Let j = -4 + 14. Let d be 5 + (-81)/15 - 116/j. Do d and -12 have the same value?
True
Suppose 0*k + 2 = 2*k. Let v = -1/133 - 261/665. Which is bigger: k or v?
k
Let h(u) = u**3 + 7*u**2 - 19*u - 7. Let w be h(-9). Are w and 2 nonequal?
False
Suppose -5*t - 74 = 91. Let o(u) = -u**2 + 6*u - 4. Let i be o(9). Is t equal to i?
False
Let c be (-1)/(2/(-4)*1). Let f(u) = 4 - 15*u + 0 + 30*u - 13*u - u**2. Let m be f(3). Is m <= c?
True
Let b = 41 - 33. Let u = -0.21 - 1.29. Let f = u + 0.5. Which is greater: b or f?
b
Let z = -311 + -35. Is -347 at most as big as z?
True
Suppose -3*q + 2 - 8 = 0. Let l = -2 - q. Suppose l = -u - 3*i - 12, -5*u + 4 - 44 = 5*i. Which is greater: -5 or u?
-5
Let m be (-12)/15 - ((-670)/25 + 3). Suppose 0*o + 46 = 2*o. Do m and o have different values?
False
Let p be (-166)/10 + (-4)/10. Suppose -4*v = 16*v + 340. Do p and v have the same value?
True
Let t(s) = s**2 + 4*s + 2. Let j be t(-3). Let z be (-107)/728 + (-4 - -3)/(-8). Which is greater: j or z?
z
Let n be 1 + 8/(-12) + 4. Is 4 at least as big as n?
False
Suppose r + f + 11 = 4*r, 0 = 2*r - 4*f - 4. Suppose 387 - 3683 = r*q. Let c = q + 35434/43. Is c > 1?
False
Let n be 15*4/(-32) + 2. Suppose u - 5*w = 3*u - 12, -3*u - 1 = -2*w. Is n at least as big as u?
False
Let v = -3387 + 3380. Let k = 0.08 - 0.38. Does v = k?
False
Let s(z) = -z**3 + 9*z**2 + 2*z - 12. Suppose -5*q + 4 = -16. Let j be (9/2)/(2/q). Let f be s(j). Is 6 <= f?
True
Let y = 391 - 4693/12. Let a(f) = -f + 3. Let r = -7 + 10. Let h be a(r). Is h > y?
True
Suppose 0 = -61*i + 65*i + 420. Let z be (18/15)/((-2)/i). Is z != 63?
False
Let c = -61 - -60.04. Let h = 0.06 + c. Which is smaller: h or 2/9?
h
Let w = 91 + -90. Does 4/43 = w?
False
Let a(j) = j + 5. Let f be a(-5). Suppose -1 = -2*s + s + v, f = 5*s + v - 5. Let z = -2/1073 - -2168/11803. Which is smaller: z or s?
z
Let a(z) = z**3 + 7*z**2 + 3*z + 1. Let p be a(-3). Suppose -5*l - 8 = -2*k, -l + 5*k + 1 = 2*k. Let i = p - l. Do i and 31 have different values?
True
Let q be -1 - (0/3 + -19). Let v = q + -17. Which is smaller: v or -1/22?
-1/22
Let o = 50.7 + -47.7. Which is bigger: 0.1 or o?
o
Suppose 9*v = -v + 10. Suppose 6*k + 7 - v = 0. Which is bigger: k or 3/29?
3/29
Let j = 423.02 - 434. Let k = j + 11. Let h = 0.08 + k. Is -3 bigger than h?
False
Let k(z) = -z**2 + 8*z - 12. Let r be k(6). Suppose -95 = -5*u - r*u. Which is smaller: u or 20?
u
Let y = 747 - 746. Is 2/2103 at most y?
True
Let j = -460 + 460.199. Let i = j + 0.001. Which is smaller: -0.7 or i?
-0.7
Let s = -191 - -2099/11. Let b be ((-24)/9)/(6/9). Let j be ((-11)/22)/(2/b). Which is bigger: j or s?
j
Let h(f) = 2*f**2 + 33*f + 47. Let w be h(-15). Which is greater: w or 409?
409
Let s be (((-3)/2)/(-3))/((-13)/(-12012)). Let f be 0/2 + s/(-187) - -2. Which is smaller: f or 1?
f
Let r = -10235 + 10209.027. Let d = -0.027 + r. Let m = d - -25. Which is smaller: m or 4?
m
Let b = 1285 + -1284.6. Which is greater: 39 or b?
39
Suppose s + s - 18 = 5*p, 3*p = -5*s - 17. Let r be -1*(5 + p)*-4. Let f be (-2)/(-4)*r/8. Which is smaller: 0.3 or f?
f
Let c = -61 - -64. Suppose 0 = 4*l - c*x + 13, 4*x - 6 = 5*l + 10. Which is smaller: l or -11?
-11
Let i(s) = -s + 2. Let j be i(1). Let t(g) = -3*g - 1. Let a(d) = d**2 + d + 1. Let h(q) = -2*a(q) - t(q). Let z be h(j). Which is bigger: z or 1/4?
1/4
Let c(o) = o**3 - 10*o**2 - 10*o - 9. Let h be c(11). Suppose -h*u + 642 - 76 = 0. Let q = 1985/7 - u. Is q less than or equal to -0.1?
False
Let z = -73 + 24. Let s = z - -49.34. Let m be (((-3)/2)/(-1))/3. Is m not equal to s?
True
Let y be (397/6)/(-1) + (-9)/(-54). Let v be (-4)/y*-2*(4 + -1). Which is bigger: 0 or v?
0
Let q = -3 - -4. Let t = -825 + 17317/21. Let a = -2/3 - t. Is a bigger than q?
False
Let k = -944/7 - -5126/35. Which is bigger: k or 13?
13
Let v be 0*((-2)/(-9))/((-52)/(-117)). Is v less than -27/86?
False
Let o be 84/60 + -7*2/(-35)*-1. Let u = -116403627/25 - -4655453. Let k = 692 + u. Is k >= o?
False
Suppose 17*k + 16 = -1. Let c be ((-1)/303)/(4/(-36)). Which is greater: c or k?
c
Let v(j) = -5*j - 71. Let c be v(-15). Let l = -4 + 8. Is l greater than or equal to c?
True
Suppose -c + 3 = l + 22, -c + 2*l = 22. Let t = 26 - 140/3. Which is smaller: c or t?
t
Suppose 6*s = -5*h + 3*s + 116, -50 = -2*h - 3*s. Let o be (-5)/h*-20 + -4. Which is bigger: 0 or o?
o
Let b be 8/(-1 + 3)*92. Suppose -5*u + u = -b. Let j = -458/5 + u. Are j and 4 equal?
False
Let m = -195 + 2347/12. Let a = 1334 + -1334. Is m smaller than a?
False
Let z be (-24)/1630*(0 + (-15)/(-6)). Are 0 and z equal?
False
Let x(k) = 5*k + 9. Let t be x(-6). Let b = t - -11. Let l be 10/(-50) + (-6)/b. Is -1/5 less than l?
True
Let g be ((-2)/5)/(243/(-240) - -1). Which is smaller: g or 3?
3
Suppose -3*f - 2 = 4. Let u = 32 - 52. Let y be ((-180)/(-50))/(98/u - -1). Is f >= y?
False
Suppose g = -0*g + 2. Suppose 3*v - 5 = -g*v. Let a = 4 + -3. Are v and a equal?
True
Let t be (-4)/32*(-17 + 12). Is 1 < t?
False
Let m be 1/3 - -64*4/6. Let s = -42 + m. Which is greater: -3/7 or s?
s
Let w(h) = -104*h**3 - 3*h - 1. Let a be w(-1). Which is greater: 105 or a?
a
Let k = 102 + -110. Let p be (-2 - 54/(-23))*6/k. Which is smaller: p or -1?
-1
Suppose 66 = 8*p + 602. Which is bigger: -70 or p?
p
Let g be 5/15*123*-1. Let p = g - -286/7. Are p and 1 nonequal?
True
Suppose -2*v = k + 12, -5*v - 10 = -3*k + 31. Let n be 1/(-2)*(-26)/v. Which is bigger: -2 or n?
n
Let y = 116 + 163. Is 0 < y?
True
Suppose 4*d + 6 = -2*k - 4, 0 = -d - 2. Let w = -287 - 59. Let f = 1724/5 + w. Which is smaller: f or k?
f
Suppose 0 = -110*i + 114*i + 304. Let l be (-11)/33*6/i. Is -1 greater than or equal to l?
False
Let g = 926 + -853. Which is bigger: g or 5?
g
Let r = 12 - -140. Is r smaller than 154?
True
Suppose 368 = -13*x + 9*x. Let a = x - -66. Which is smaller: a or -2