. Let f be ((-24)/16*-11)/((-42)/o). Is -2 > f?
True
Let g(j) = -j**3 - 14*j**2 - 14*j - 3. Let i be g(-13). Let c be (18/(-40))/(1*(-6)/i). Which is bigger: c or 2/17?
c
Let t = 69 + -69. Let y be (3 - 5)*(-1 - t)/(-2). Are -16/7 and y equal?
False
Let a = -1003 - -910. Is a greater than or equal to -92?
False
Let p(g) = -17*g**2 - 4*g + 1. Let r be p(-3). Let t be 46/42 + 60/r. Let j be -1 + -1*1/(-1). Are j and t unequal?
True
Suppose -3*f - 122 = 430. Is f smaller than 0.1?
True
Suppose 4*f - 8 = 0, 3*l - 2*f + 0*f = 2. Suppose -5*c - h - l = 3*h, c - 4*h = -10. Let v be 30/c - (3 + -1). Are v and -17 equal?
True
Let i be (3/1)/(-3)*(-5264)/16. Is 329 at least i?
True
Let f = -9.5 + 9. Let w = -655 - -9827/15. Which is greater: w or f?
w
Let v be 187136/(-774) - -1*6/(-27). Is -240 greater than v?
True
Suppose -2*q = -7*q. Suppose q = 6*j - j - 5. Suppose 4*d - j = 5*d. Which is smaller: -2 or d?
-2
Let t = 5593 - 72669/13. Which is smaller: t or 2?
2
Let y = -103 - -259. Let o = 169 - y. Is 1 <= o?
True
Suppose 2*w - j + 249 = -0*j, 5 = -5*j. Is -1 <= w?
False
Let x = -35129 - -1053311/30. Let z = 37/2 + x. Is z >= 0.06?
False
Let p = 7237/77 - 663/7. Let v(r) = r - 1. Let f be v(0). Do p and f have the same value?
False
Let r(x) = -x + 16. Let f be r(8). Let n be f/(-78)*(45/(-6))/5. Is n < -7?
False
Let j(r) = 40*r**2 - r - 1. Let h be j(1). Which is greater: h or 37?
h
Let f = -170.1 + 160.4. Which is bigger: f or 1?
1
Let d = 979 - 972. Let l(b) = b**3 + 5*b**2 + 5*b + 5. Let g be l(-4). Let z be (8/(-3) - -2)/g. Is d less than z?
False
Let b = -11277 + 214113/19. Which is smaller: -9 or b?
-9
Let a = -225.94 + 226. Is a smaller than 0.4?
True
Suppose -7*q + 3*q + 1152 = 0. Suppose -6*i = -i + t + 276, -5*i + 2*t = q. Let x = i - -279/5. Do x and 0 have the same value?
False
Let t be 4 + -6 - 312/(-143). Which is greater: t or 33/20?
33/20
Let i(b) = b**3 + 5*b**2 - 7*b - 7. Let q be i(-5). Let p = 351 - 360. Let c be p/q + 4/(-16). Which is greater: c or -2?
c
Let s(a) = a**3 + 16*a**2 + 14*a - 13. Let o(d) = -d - 9. Let h be o(6). Let r be s(h). Suppose 3 + 1 = -r*y. Is y != -2?
False
Let u = 14.697 - 20. Let v = -0.097 + u. Is -2/5 at most as big as v?
False
Let g be -7 - ((-2)/(-3))/((-6)/495). Which is smaller: g or 47?
47
Let s(p) = -2*p**2 - 27*p + 168. Let w be s(-18). Is 63/10 not equal to w?
True
Suppose -2*i + 3*i = -f + 4, 2*i = 4. Let s = -1324 + 6618/5. Is s >= f?
False
Let b = -189 + 95. Let q = -64 - b. Suppose -7*u - 3*h + 40 = -2*u, -5*h = u - q. Which is smaller: u or 7?
u
Let u = -58 + 63. Suppose -3*a - 3*n - 47 = -a, -5*n = u*a + 125. Is 1 < a?
False
Let v = -23 - -48. Suppose -a + v = 4*a. Let t be (4/a)/((-16)/(-40)). Do -1 and t have different values?
True
Let a(p) = p**3 - 4*p - 1. Let q be a(3). Let l = q - 13. Suppose l = -2*w - 1. Which is smaller: -2/11 or w?
w
Suppose 5*y + 1080 = -2*l, -3*l + 644 - 231 = -2*y. Are -214 and y equal?
True
Let d = 5 - -1. Suppose -t - 10 = -d*t. Suppose 4*r - 2*s - 34 = 0, -2*r + 22 = r + t*s. Which is greater: r or 1?
r
Suppose 4*d - 2*y + 13 + 1 = 0, 4*y = 20. Let s(z) = -z**3 + 9*z**2 + 3*z - 13. Let h be s(9). Let g = -14 + h. Is g equal to d?
False
Let u(a) = 3*a + 6. Let n be u(-2). Suppose 0 = -g + 2*g - o + 6, n = 3*g + 3*o - 12. Which is smaller: -0.2 or g?
g
Suppose 2*q + 52 = -32. Let k(c) = -c**2 - 4*c - 4. Let m be k(-3). Let v be (-245)/q + m/(-6). Is v != 4?
True
Let w = -321665/2048088 + 229/1336. Let b be (4/10)/((-803)/(-220)). Let d = w - b. Which is smaller: -1 or d?
-1
Let t be ((-4)/30)/((-8)/(-40)). Let b be -41 + ((-12)/3)/4. Which is bigger: b or t?
t
Let v be 11 + ((-130)/5 - 9). Which is greater: -74/3 or v?
v
Suppose 12 = 5*z - 3*z. Let a be (-8)/5*(-15)/z. Which is smaller: 0.07 or a?
0.07
Let d = 53 - 38. Let r = 22 - d. Let n = 0.08 - -0.92. Is n != r?
True
Suppose 3 = 4*r - 1. Let k be 21/49*74/3. Let l = k + -62/7. Which is bigger: r or l?
l
Suppose j - 4*a = -21, 4*j - a + 54 = -0*j. Let y(o) = -o**2 + o + 18. Let c be y(-5). Which is smaller: c or j?
j
Suppose -23 = 78*g + 55. Which is smaller: g or 1/2619?
g
Let u = 1878 + -2129. Does -250 = u?
False
Let n = -1102069/65 - -16954. Let i = 4/13 + n. Do 1/7 and i have the same value?
False
Suppose 5*v - 3*c - 524 = 0, 218 = 2*v + 19*c - 23*c. Is 103 bigger than v?
False
Let m = -14 + 9. Let o = m + 6. Which is smaller: -14 or o?
-14
Let l be 14/28 + 255/(-14). Does l = -19?
False
Let k(r) = -r**3 - 5*r**2 + 8*r + 5. Let i be k(-6). Let g = i - -15/2. Let l = 0.15 + -0.35. Which is smaller: g or l?
l
Let b be ((-26)/(-4) - 6)/1. Let a = -40 - 34. Which is bigger: b or a?
b
Let k be 2/24 + (-9418)/408. Which is smaller: -24 or k?
-24
Let t = 246 + -2463/10. Which is smaller: -4 or t?
-4
Let w = -19 + 29. Suppose 0 = i - 0*i - 3*f + 8, 0 = 5*i - 5*f + w. Let r be (-68)/(-40) - (-1)/(-2). Which is smaller: i or r?
i
Let s(p) = p + 4. Let f be s(-7). Let w be (1/1)/(f/18). Let m be 0*((-2)/(-4) - 0). Is m not equal to w?
True
Suppose -2*y + 4 + 2 = 2*h, 0 = -3*h - 2*y + 9. Let x = -15 - -19. Which is smaller: x or h?
h
Suppose -660 = -99*s + 39*s. Is 85/8 at most s?
True
Let u = 1823796/7 - 260960. Let l = u + 417. Is 0 at least l?
True
Let d = -1.78 - 10.22. Let n = -0.257 - 11.643. Let u = n - d. Which is smaller: 9 or u?
u
Let m = -1.97 - 0.03. Let g = 96.26 + -1.26. Let y = 95.3 - g. Which is bigger: m or y?
y
Suppose -12 = 2*h + 16. Let v be (-2)/4 - h/4. Suppose -x + v*g = -3*x + 35, g - 68 = -5*x. Is x not equal to 13?
False
Let t(i) = 8*i. Let q be t(0). Which is smaller: -1/318 or q?
-1/318
Suppose 0 = -2*b + 30. Let z = 16 - 18. Let j be 6/z - -16 - -1. Is b > j?
True
Let i(v) = -17*v**3 - 4*v**2 - 15*v + 13. Let t(u) = 8*u**3 + 2*u**2 + 7*u - 6. Let a(s) = -6*i(s) - 13*t(s). Let l be a(-1). Which is smaller: l or 2?
l
Suppose 6*z = 14*z. Suppose -5*d + 43 = 18. Suppose z = -0*p + d*p - 5. Is p greater than 4/3?
False
Let i = -13/2 + 165/26. Let q = -4 + 10. Let x = q - 6. Which is greater: x or i?
x
Let d = -18 - -9. Let t(u) = u**2 + 6*u - 19. Let y be t(-9). Let n = d + y. Are -5/8 and n unequal?
True
Suppose 59 = j + 3*t + t, 5*j - 4*t = 199. Is 42 greater than j?
False
Suppose -10 = -p - 3*c, -4*p = -3*p - 2*c + 10. Let k be (40/(-25))/(p/60). Which is greater: 47 or k?
k
Let h = 2 + -53. Let v = h - -77. Let t = v - 28. Which is smaller: -1/3 or t?
t
Let d(v) = v**3 + 27*v**2 - 57*v + 31. Let q be d(-29). Which is smaller: q or 58/49?
58/49
Let o = -16258/5 + 3278. Let g = o + -934/35. Let j = -2.1 + 2. Which is greater: g or j?
j
Suppose 52*i - 3*m = 47*i + 1162, 4*i + m = 916. Is 230 less than i?
False
Let u = -429563/105 - -4091. Which is smaller: 1 or u?
u
Suppose -4*i + 3*i = 10. Let a be 2/(-3)*(-6)/1. Suppose 3*t = -a - 29. Is t >= i?
False
Let v be -2 - (-1 - 0)*-2. Let h be (v/6)/(3/(-9)). Suppose h*g = 5*n + 20, -10 = 2*n - 2. Is 0 equal to g?
True
Suppose 5*k - m = 17, -5*k + 32 + 3 = 5*m. Let g be (k/(-102))/((-4)/12). Let s = -68 - -67. Is g less than or equal to s?
False
Suppose -98 = -9*g + 4*g - v, -5*g - 4*v = -92. Suppose 4*o = -2*m - g, -2*m - 6 = o + 2. Let t(a) = 2*a + 1. Let c be t(m). Which is smaller: c or -4?
-4
Let o(q) = 3*q**3 + 5*q**2 - q - 3. Suppose -5 = 3*x + 7. Let u be o(x). Let c = u + 558/5. Which is smaller: 1 or c?
c
Let a be (4/6)/(-2)*-2. Let f = 643/3 - 4261/12. Let l = -140 - f. Which is smaller: l or a?
a
Suppose -5*s + 63 = 4*l, -29 = 4*s + 2*l - 77. Suppose -1 = s*c - 12. Is c greater than -3/19?
True
Suppose 5*u = -4*y + 89, 4*y - 3*u - 84 = 29. Let c = -16 + y. Which is smaller: c or 34/3?
c
Let j = 17 + -8. Suppose b = 2*z + 11, -z = -4 + j. Is b != 2/9?
True
Suppose u + 3*o - 4*o = 10, 4*u = 3*o + 42. Do 15 and u have the same value?
False
Let p(y) = -4*y + 22. Let o be p(4). Suppose -o*j = -11*j + h - 2, h = 2*j + 2. Let v = -468 + 9826/21. Do v and j have the same value?
False
Suppose 0 = -2*r + 3*r - 1, -5*h = 4*r + 121. Which is smaller: -47/2 or h?
h
Suppose -3103 + 2674 = -13*i. Which is bigger: i or 26?
i
Suppose 353*f - 355*f = 146. Do f and -66 have different values?
True
Let g(b) = -7*b - 5. Let f be g(5). Which is smaller: -36 or f?
f
Let r be 2*6/(-152)*490/(-294). Is 1 smaller than r?
False
Let q = 1/487 + -6364/1