*p**2/2 - 6*p + 6. Let m be f(-3). Suppose m*d - 6*d = -30. Are d and 22/5 nonequal?
True
Suppose -10 = 10*i - 12*i. Let k be ((-3)/1)/((-2)/6). Let w = k + -4. Is i at least w?
True
Let t be ((-58)/(-20)*2)/(24/120). Let d = -425 + 422. Is d < t?
True
Let r = 0.0675 - 2.3775. Which is smaller: r or 2?
r
Let r be -1 - (-9102)/4 - (176/32 + -6). Is r smaller than 2275?
False
Let o be (141/(-88))/(27/180*-5). Does o = 2?
False
Let i = 0.5954 - 177.5954. Which is bigger: -0.11 or i?
-0.11
Let x be (-15)/(-4) + -3 - (-25)/20. Let p be (1*x)/(27 - 528). Which is smaller: 0 or p?
p
Let o = 2 - 14. Let m = -18657/1505 + -1/301. Is o less than m?
False
Let m = -152 + 154. Suppose o + m = 43. Suppose -r - 66 = -o. Is -28 greater than r?
False
Let v(b) = 3*b + 99. Let g(m) = -m**2 + 11*m - 9. Let u be g(13). Let p be v(u). Which is smaller: 10 or p?
p
Let f = -200 + -157. Let t = -422 - f. Is -63 > t?
True
Suppose -13*d = -14*d + 688. Suppose 3*p - d = 5*q, p + 284 = -5*q + 3*q. Which is smaller: -139 or q?
q
Let q = -0.357 - 275.643. Let h = q - -155. Let n = h + 120.91. Is -2 smaller than n?
True
Suppose 595 = -104*n + 111*n. Suppose 2*s = s - 33. Let w = n + s. Is 51 less than w?
True
Let d = -21/4 - -55/12. Let y be (1/(-2))/(24/(-56)). Let g = y + d. Is -0.08 greater than or equal to g?
False
Suppose 2 = -2*o - 0. Let h be 50/(-45) - 3224/(-2772). Which is smaller: o or h?
o
Let d = 2 - 2. Suppose 1265 - 1286 = 7*s. Let w be (-3 + (-10)/s)/(15/9). Which is bigger: w or d?
w
Let a be 22/(-12) + 2 + (-11)/(-2) + -5. Is -976 less than a?
True
Let d(a) = -13*a**3 - 11*a**2 + 11*a - 1. Let t be d(-8). Is t less than 5864?
True
Let o(i) = i**2 - 8*i + 10. Let r be o(9). Suppose r*h = 14*h + 10. Let y be 1/6*(-54)/(-8). Is h at most as big as y?
False
Suppose 6*l - 35150 + 35132 = 0. Suppose -10 = 3*m - 13. Which is smaller: m or l?
m
Let r(p) = -2*p + 40. Let s be ((-74)/4)/(2/(-4)). Suppose 3*f = -2*w + s, -2*w - 4*f + 35 = -1. Let j be r(w). Which is bigger: j or -3/26?
j
Let q be 5 + 35/(-10) - (-1)/2. Let u be q + (0 - 0/((-8)/4)). Let i(z) = z**3 - 2*z**2 + 2*z - 4. Let b be i(u). Which is smaller: -5/6 or b?
-5/6
Let c(a) = a**3 - 2*a**2 + 2*a - 1. Let t be c(3). Suppose 3*s - t = -17. Let n(z) = 30*z + 566. Let g be n(-19). Which is bigger: s or g?
s
Let n = 702 + -765. Let b = -63.1 - n. Let u = 57.7 + 1.3. Is u not equal to b?
True
Let k = 3.5 + -3.6. Let n = 0.023 + -308.023. Let a = n - -307.9. Is k less than a?
False
Let p(t) = 3*t**2 - 3*t + 2. Let g be p(1). Suppose 3*s + 12 = 0, g*o + 2*s - 8 = -2*o. Suppose 4*x - 21 = -3*b - 87, 5*b = o*x + 50. Is x less than -2?
True
Let n = 435 + -425. Suppose -5*p + 13 = -3*r, 0 = -3*r + 2*p + 3 - n. Which is smaller: 5/63 or r?
r
Let m = -57 + 58. Let s = 76 - 75.87. Which is smaller: s or m?
s
Let b be (852/34 + 2)*(80 + -81). Which is greater: 0.01 or b?
0.01
Let v be 31/(-35) + (-8)/12. Let w = 5608/21 - 267. Let c = v - w. Which is bigger: c or -2?
c
Let h be (-32951208)/1812360 + (-4 - -2). Let v = h + -3/6865. Is v <= -21?
False
Suppose -44211 = 140*x - 323931. Is 1999 <= x?
False
Suppose -455 = 61*h + 15*h + 15*h. Is h greater than -53/12?
False
Let a = -17866 - -18766. Which is smaller: 903 or a?
a
Let n = 5136 + -5024. Is n > -2/5?
True
Let i = -20313 - -20312. Which is bigger: -2/77549 or i?
-2/77549
Let l be 8/(-36) + 10792/48726. Let z = -5492/105573 - l. Let b be (-14)/16 - -1*3/(-24). Which is greater: b or z?
z
Let l = 18 + -10. Let g = 326.9233 - 327. Let u = -0.0233 + g. Does u = l?
False
Let l(q) = -21*q + 845. Let k be l(41). Is -9 at most as big as k?
False
Let v be ((-126)/72 - 122/(-56)) + (-6922)/14. Is v less than or equal to -3449/7?
True
Suppose 3*v - 32 = -2*v - 3*h, 4*v - 24 = -2*h. Suppose 5*y - 430 = 3*n, 5*n - v*y + 0*y = -721. Do n and -146 have the same value?
False
Let k = 166357 + -166359. Let o = 1.2 - 0.2. Let s = o + -2. Are k and s non-equal?
True
Suppose -5*a + 10*c - 15*c = 475, 3*c = -2*a - 191. Suppose 14*p + 535 = 9*p. Let y = p - a. Is y greater than -13?
False
Suppose 3*x + 5*u = 16 + 61, 122 = 3*x - 4*u. Let o = x + -37. Let q be o*(0 + -3 - -2). Which is smaller: q or -2?
-2
Let i be 21424/(-1768) + ((-6)/(-8))/(51/8). Is i < 14?
True
Let m = -63 + 117. Let c(n) = -n**2 + 87*n - 483. Let o be c(6). Let w be (o + m/(-15))/((-3)/(-44)). Which is greater: -9 or w?
w
Let n = 8555 - 7166. Is 0.3 >= n?
False
Suppose 184*b - 2744825 + 244633 = 0. Are 13590 and b nonequal?
True
Suppose -3*z + 7970 = -5*m, z - 4*m - 2304 = 355. Is z < -2/9?
False
Suppose 2*n + 540 = 2*v - 3*n, -4*v + n = -1062. Let o = v - 270. Is -13 at most o?
True
Suppose -5*b - 13 = 22. Let y be b/3 + 1*(-20)/(-12). Which is bigger: 12/85 or y?
12/85
Let p be (-13)/((-4836)/(-3060)) + 13. Which is greater: p or 6?
6
Let w(c) = -c**3 - 11*c**2 + 12*c + 13. Let y be w(-12). Suppose 157 = -y*t - 25. Is -150/11 < t?
False
Suppose -26*i + 5781 = -1993. Is 2/7 <= i?
True
Let v be (33/12 + -2)/((-74)/79328). Which is bigger: -801 or v?
-801
Let o = -12 - -15. Suppose 0 = -19*a + 90 - 14. Which is greater: o or a?
a
Suppose -9594*c = -9714*c + 840. Let w be (-16)/(-6)*1*3. Is w equal to c?
False
Suppose -4*q - 5*b - 296 = 0, 40*q + 5*b + 370 = 35*q. Is 18 < q?
False
Let c = -44 - -5. Let t = -196/5 - c. Let v be -4 - 3/(-3)*5. Which is smaller: t or v?
t
Suppose 0 = -34*p + 33*p + 2. Suppose -11*o + 6*o = 15, o = p*x - 5. Is 1/417 smaller than x?
True
Suppose -c - l = -6*l + 7, 14 = -c - 2*l. Let m be 4/c + (-5739)/(-20160). Let r = m - -9/140. Which is smaller: 0 or r?
0
Let w = 104 - 20. Let z be (260/30)/((-7)/(w/(-8))). Which is bigger: -1 or z?
z
Let m = -315 - -327. Let p be (-9)/(-24)*m/54. Which is bigger: p or -4?
p
Suppose 168*v - 61*v + 74273 = -32727. Is v bigger than -1002?
True
Suppose -184 = -2*j - 6*j. Suppose 7*q + 61 + j = 0. Let o be (-1)/((-3)/q) - 2. Is -5 equal to o?
False
Let a(h) = h**2 - 6*h - 28. Let c be a(-6). Let i = 218/5 - c. Are i and -0.3 equal?
False
Let g be 1/(-2)*(49 - -1). Let o be 2*(-2 + g/(-10)). Let v be ((2 - 3)*1)/o. Which is smaller: v or -3?
-3
Let c = -11 - -10.81. Let t = 0.60896 - 0.73896. Which is bigger: t or c?
t
Suppose 3*w = -i + 21 + 123, w + 1 = 0. Let n = i + -589/4. Is 33 equal to n?
False
Suppose 17*r = 79*r. Is r less than or equal to 4/23?
True
Let q = -2083/13 + 6002/39. Let b be 6 - (0 + 1)*2. Let x(h) = -h**2 + 2*h + 2. Let p be x(b). Which is smaller: p or q?
q
Let o(c) = c**2 + 9 + 15*c + 15 + 25. Let a be o(-5). Which is bigger: -2 or a?
a
Let r(u) = -u**3 + 51*u**2 - 105*u + 13. Let v be r(2). Which is smaller: v or -1/13064?
v
Suppose f = 5*a - 0*f + 226, 0 = -a + f - 46. Let b = a + 33. Let k be (-5)/b - 4/(-12). Is k smaller than -1/2?
False
Let f be (1664/(-130))/(6/10 + -1). Suppose 4*h = g - 25, 6*h - h - 2*g = -f. Is -44/7 less than h?
True
Suppose c = -5*f + 136, 2*f + 4*c = -3*f + 139. Let u = 64 - 60. Suppose f = 2*x + w, -3 = -x - w + u*w. Which is greater: x or 10?
x
Let r(v) = 7 + v - 4*v**2 + 5*v**2 - 2*v**2. Let j be r(0). Let o = -7478/19 + 15241/38. Which is smaller: j or o?
j
Suppose 137 = -i + 98*g - 100*g, -139 = i + g. Is -281/2 greater than or equal to i?
True
Let j be (8/132)/(-8 - (-286)/36) + 1. Is j >= 295?
False
Let j = -611 - 68.2. Which is greater: -0.1 or j?
-0.1
Let j = 19 - -13. Suppose -t + 5*x + 16 = 0, 0 = 2*t + 3*t - x - j. Let u be t/12 + (-5)/2. Is -7 < u?
True
Suppose 3*b = 4*z - 64, 0 = -3*z - 5*b - 25 + 73. Suppose -2*w + 15 = -15. Which is smaller: z or w?
w
Let m = 39 - 41.5. Let j = m - -3.2. Let q = j + -2.1. Is q at least as big as -0.2?
False
Let b = -442262/29 + 15252. Which is bigger: 1/3 or b?
b
Let d = 2942 + -2677. Which is smaller: d or -2?
-2
Suppose 104*q - 102*q + 8 = 0. Let k be (-5)/((-33)/6 - -4) + q. Which is smaller: k or -6.2?
-6.2
Suppose 46 = 3*v - 44. Suppose -3*t = 3*m - 84, 46*m = -t + 44*m + 25. Do t and v have different values?
True
Let z = -6548 + 6520. Do -86 and z have different values?
True
Suppose -j + 4*l = 3*j - 4, 3*l + 7 = 2*j. Let a be j/(-12)*-3 - 3. Let v be 2/a - (9/(-2) + 3). Which is smaller: 1/22 or v?
1/22
Let i(l) = l**3 + 42*l**2 + 122*l - 15. Let q be i(-39). Let o = q + 196. Which is smaller: -27/2 or o?
o
Suppose -65*c - 255338 + 55333 = 0