0. Suppose -5*q + 234 = n*q. Which is smaller: q or 2/5?
2/5
Let r(c) = -c**3 + 10*c**2 + c - 5. Let j be r(10). Suppose 5*s = -j, -5*i - 39 = -4*s - 13. Let m = i - -4. Is -1/2 > m?
True
Let x = 1445/13 - 111. Let o = 1 - -1. Suppose 3*a - o = a + l, 4*a + 4*l = 4. Which is bigger: x or a?
a
Let x(n) = n**3 - 18*n**2 + 15*n + 7. Let q be x(17). Which is smaller: -28 or q?
-28
Suppose 6*x - 48 = -0. Suppose -x*i + 4*i = 12. Let t(j) = j**2 + j + 2. Let s be t(i). Which is smaller: s or 9?
s
Let l = -22 - 20. Let i = l + 23. Which is bigger: -20 or i?
i
Suppose -124*b + 134*b = -20. Which is bigger: 0.12 or b?
0.12
Let u = 10/2807 - -2082684/30877. Let v = -68 + u. Let a = 0 + -1. Is a at least v?
False
Suppose -2*s - 5 = 5*w + 1, -s = -5*w + 3. Which is bigger: w or 2/589?
2/589
Let b be (3/2)/(16/(-96)). Is -5 less than b?
False
Let q = 194 - 201. Let s(f) = -31*f - 6. Let n be s(-9). Let o = 535/2 - n. Which is smaller: q or o?
q
Let n = -235 + 698/3. Is n smaller than 2/123?
True
Let k = -3 + -1. Let m = 0 + 33. Let d = m - 36. Which is bigger: d or k?
d
Let p = 3 - 2. Let x = 59.36 - 59.4. Which is smaller: x or p?
x
Let s = 109 - 120. Which is bigger: -10 or s?
-10
Suppose -26*u + 20*u + 36 = 0. Suppose -5*p + 2 = h, 0*h - 3*h = -2*p - u. Which is smaller: h or 7/3?
h
Suppose 195*x = 119*x - 76. Is x less than or equal to -1/425?
True
Let o be (-68)/(-238) - (-284)/(-63). Which is bigger: o or -1?
-1
Let f = -0.059 - 41.941. Let y = -34 - f. Which is smaller: 1 or y?
1
Let v = -1 - -9. Let l be v/10*20/(-8). Let u = 19 + -19. Are l and u equal?
False
Suppose 0 = -2*f + 2*f + 5*f. Let r(a) = -2*a**2 - 6*a - 6. Let k be r(-6). Let b be 0 + -2 - k/24. Is f smaller than b?
False
Let l be 2/(-22) - (-1 + (-71)/(-66)). Let d = 1 - 4. Let j = d - -5. Is l greater than j?
False
Let v = -5547/16 - -412635815/1190224. Let w = v - 39056897/99383704. Let t = w - -3/167. Which is bigger: 0 or t?
0
Let h be (-2)/3 - (-910)/15. Let t be (-6)/4*16/h. Is 2 < t?
False
Let l = -1.783 + 1.783. Let j = -15.9 - -15. Is j at least l?
False
Let g(r) = r. Suppose -4*c + f = 1, 0*c - 9 = -4*c - f. Let x be 5 + c*(-12)/4. Let z be g(x). Is 4/3 at least z?
False
Let g = -613/546 - -26/21. Let l = 79/234 - g. Is l > -2/9?
True
Suppose -572*i + 564*i = -96. Is -21 less than i?
True
Suppose 2*n + 3*g + 3633 = 0, 5*n + 2176 = g - 6915. Is n <= -1818?
True
Let y(l) = -46*l - 2. Let i be y(-1). Let n = -27 + i. Are 16 and n non-equal?
True
Suppose 0 = 2*t + 3*w - 62, -3*t + 1 = -4*w - 92. Let c = -92/3 + t. Which is smaller: c or 7/3?
c
Let v(x) = -26*x + 20. Let a = 79 - 76. Let l be v(a). Is l greater than -58?
False
Let g(o) = 6*o**2 - 2*o - 2. Let w be g(2). Let f(j) = 5*j**2 - 3*j + 6. Let z be f(2). Is w smaller than z?
True
Let w = 12 - 17. Let t(f) = f**2 + 3*f - 5. Let k be t(w). Suppose -8*c + 39 - 31 = 0. Which is smaller: c or k?
c
Let r be (-2)/(-2) + 138/(-30) + 4. Are r and -18/7 nonequal?
True
Let q be 799 + ((30/(-6))/5 - -8). Which is smaller: q or 807?
q
Suppose 9*c - 6 = 6*c. Suppose -4*u = 0, 0 = -c*l - 2*u - 8. Is l greater than or equal to -9?
True
Let t = 7 + -4. Let h be (0 + 6)/((-42)/28 + 3). Which is greater: t or h?
h
Suppose -2*y - 4*y + 114 = 0. Is y greater than or equal to 0.2?
True
Let w(v) = -v**2 + 27*v + 27. Let x be w(28). Is x greater than or equal to -21/62?
False
Let o = 31 + -6. Let j = 76/3 - o. Suppose f = -2*z - 0*f, 0 = -3*z - 3*f. Are z and j nonequal?
True
Let z be (-2254)/(-70) - (28/(-10) - -2). Which is smaller: z or 34?
z
Let u be (0 - -7)/(1 - 0). Let b(a) = -11*a - 58. Let c be b(-6). Is u at most as big as c?
True
Let d be 48/120 - (-56)/10. Which is greater: 14 or d?
14
Let z = 315 - 314. Which is greater: -2/593 or z?
z
Let a be (-464)/6 + (4/(-6) - 0). Let x = 51 + a. Is x greater than or equal to -28?
True
Let m be 0*(-1)/2 + 0/2. Let k be (1 - (19 + m))*28/56. Is -9 <= k?
True
Let b be (3/4)/((-8)/192). Let q = -16 - b. Are 5/6 and q unequal?
True
Suppose 13*w + 51 = -66. Is -9 at most w?
True
Suppose 0 = 5*b + 287 + 418. Are -139 and b non-equal?
True
Let r(v) = -v**3 + 5*v**2 + 19*v - 30. Let k be r(7). Do -39 and k have different values?
True
Let v(q) = 33*q - 86. Let m be v(3). Is m at most as big as 11?
False
Suppose 4*u + 9 + 15 = 0. Let g be (u + (1 - 33))*2/(-4). Is g < 18?
False
Let c be 0/((96/(-144))/((-2)/3)). Is -798 > c?
False
Suppose 5*c + 3*j = -38, -2*c + 12*j - 9 = 7*j. Which is smaller: -5 or c?
c
Let x(v) = v**3 - 14*v**2 - 18*v + 3. Let w be x(15). Let h = 43 + w. Is h >= 7/6?
False
Let x be (-4)/20 - (-162)/10. Let k be 2/x - (0 + 0). Let g = 1.923 - -0.077. Is k at least g?
False
Suppose 0 = -4*b + 96 + 44. Suppose 5*q - 4*v = -0*v - 47, 0 = 3*q + v + b. Let x(a) = -9*a - 1. Let l be x(1). Are q and l nonequal?
True
Suppose -3*r + m - 1 = 0, r + 2*m - 2 = 7. Let h(o) = 2*o**3 - o**2 - o + 1. Let g be h(-1). Which is smaller: g or r?
g
Let a be -3 + 7 + (-130)/35. Which is bigger: -39/2 or a?
a
Let c = -0.0275 + -13.8825. Let z = c + 14. Let p = z + 0.01. Is -2/9 > p?
False
Let g = -8 - -7.37. Let q = g - -0.6. Let j = q - 0.07. Is j greater than or equal to -2?
True
Let u(o) = 25 - o - 3*o + 7*o - 6*o. Let v be u(3). Do 16 and v have different values?
False
Let o = 11.8 - 30.7. Let a = o + 19. Is -0.1 bigger than a?
False
Let d = 0 - 4. Let h(r) = -r**3 + 3*r + 1 - 2 - r**3 + 7*r**2 - 5*r. Let g be h(3). Which is bigger: g or d?
g
Let x = -7 - -6. Let f = -13.88 + 14. Let l = 0.19 - f. Do x and l have different values?
True
Let i = 975/2 - 487. Is 80 not equal to i?
True
Let v = 150 + 231. Let l be (2 - 0) + v/(-189). Which is bigger: l or 1?
1
Suppose 2*t - 6 = -8. Which is greater: 2/11 or t?
2/11
Let f be 1/(-2)*0/4. Suppose -5*p - 10 - 10 = f. Is p not equal to -2/9?
True
Suppose -4*b = 2*r + 1 - 27, 0 = -2*r - 2*b + 20. Suppose -3*x - 18 = -6*x. Which is smaller: x or r?
x
Suppose -2*n = -3*l + 8*l + 304, -l = -5*n - 814. Which is bigger: n or -7?
-7
Let d(q) = 2*q**2 - 13*q + 20. Let u be d(2). Which is bigger: 2/21 or u?
u
Let b be -3*((-11)/(-5))/(12/(-20)). Suppose 1128 = -m - b*m. Does m = -94?
True
Suppose f - 16 = u, 2*u - 1 + 45 = 5*f. Let y = u + 10. Let b be ((-4)/(-12))/(y/(-6)). Is 1 less than or equal to b?
True
Let m(z) = -z**2 - 13*z - 15. Let q be m(-11). Suppose -6*w = w + q. Is w equal to -8/7?
False
Suppose 484*u = 489*u - 215. Suppose d = 6*d - 215. Is u at most d?
True
Suppose 170 = -3*l - 2*l. Is -4/7 less than or equal to l?
False
Let v = -90 - -23. Is v at most as big as -68?
False
Let l = 1.247 + -0.247. Which is greater: 2.45 or l?
2.45
Suppose 0 = -c - o + 45, -4*c + 3*o = -0*o - 173. Suppose -q = 53 + c. Is q equal to -97?
True
Suppose -4*r - 2*w + 32 = 6, 3*r - 17 = -w. Suppose -r*g + l - 130 = 0, l + l = 4. Are g and -31 non-equal?
True
Let t be -1 + 1 - 0 - -7. Let m = t - 7. Suppose -3*a + 5*a - 2 = 0. Is a less than or equal to m?
False
Let w be -1 + 261/33777*129. Which is smaller: 0 or w?
w
Suppose g + 15 = -30. Let t = g + 44. Is t <= 67?
True
Let w be 4 - -6*2*(-4)/24. Let m be ((w - 2) + -2)*(-9)/(-48). Which is bigger: 1 or m?
1
Let u = -37 - -151. Suppose 17*t + u = 11*t. Which is bigger: -23 or t?
t
Suppose 9*u - 322 = -1411. Which is smaller: -122 or u?
-122
Let g = 2.2 + -17.2. Which is smaller: 1 or g?
g
Let v = 3838 + -99805/26. Which is smaller: -2 or v?
-2
Let s be -13 + (8 - 3) + 156. Which is smaller: 295/2 or s?
295/2
Let k(t) = -4*t + 99. Let z be k(25). Which is smaller: z or -8/9?
z
Suppose 5*h - 3*v + 6*v + 5 = 0, h + 1 = -4*v. Let q = h + 0. Let l be (-4 - -1)*q/9. Which is smaller: 1/2 or l?
l
Let m = -5 - -7. Suppose 5*q = 4*l - 47, -4*q - 49 + 13 = -3*l. Suppose -m*c + 6*c - l = 0. Are c and 7/6 non-equal?
True
Suppose -37*t = -88*t. Are t and 11/147 equal?
False
Let a be -2*2/8*1*-22. Suppose -w + 3*k - a = -2*w, 11 = w - 4*k. Is w > 0.1?
True
Let f be (0 - -1)/(((-288)/10)/8). Is f at least 2?
False
Let q = -590/3 + 196. Which is smaller: q or 10/13?
q
Suppose -664 + 52 = -9*i. Let t(b) = -b**3 + 10*b**2 + b - 6. Let q be t(10). Suppose 18 - 50 = -3*g + q*x, -5*g + 3*x + i = 0. Which is smaller: g or 15?
15
Let h be (5 + (-6 - 5))*(-1)/(-2). Let n be (-4 - -5)*0 - h/(-6). Which is bigger: n or -1.5?
n
Suppose -2*k + 101 -