bigger: y or -5/34?
-5/34
Let t(c) = 3*c**2 - 3*c - 2. Let g be t(-1). Suppose -4*j - g = 4. Let q be j/(-5)*65/52. Which is smaller: -2/5 or q?
-2/5
Let i(u) = u**3 - 5*u**2 - u + 10. Let d be i(5). Suppose -10*w + d*w + 45 = 0. Is w less than 9?
False
Suppose 2 = 2*i - 5*j - 6, -j = -i + 1. Which is greater: 2/4415 or i?
2/4415
Let h be 8656/(-600)*6/(-221). Let d = 3/425 - h. Which is bigger: 0 or d?
0
Suppose 0 = -2*r + 2*k - 26, 108*k - 105*k = -4*r - 73. Are -2/3 and r equal?
False
Let h = -1852 + 4739. Which is bigger: h or 2886?
h
Let f(s) = -s**3 - 20*s**2 - 5*s - 9. Let h be f(-20). Suppose -t + 88 = 5*p, 2*t - h = p - 6*p. Is p at most 17?
True
Let x = -1.58 + 1.78. Is x >= -29.9?
True
Let n be (-12)/8 - (18/(-4) + 4). Which is greater: n or -21/82?
-21/82
Let b = 0.034 - -0.026. Let c = -4.06 + b. Let l = 17/8 - 21/8. Which is greater: l or c?
l
Suppose -4*j - j - 2*l = 0, 0 = 5*l + 25. Suppose -4*k - 5*y + 30 = 0, -k + 5*y + 232 = 237. Which is smaller: j or k?
j
Suppose -3*j - 479 = 4*q, -j + 11*q - 6*q = 128. Is j at least as big as -153?
True
Suppose -3*i - 13 = -3*f - 1, 14 = -i + 3*f. Suppose 7 = -7*c - 0. Let n be (-1)/27*(-2 - c). Is n equal to i?
False
Let k = -5.6 + 6. Let m = 595 - 593. Which is greater: m or k?
m
Let s = -0.0976 + 0.0815. Is 2 > s?
True
Let k = 26 - 25.79. Let r = -78 + 77.21. Let x = r - k. Which is greater: x or 0?
0
Let p be (-48)/(-50) - (0 - -1). Let b = 1608 + -1607. Which is greater: b or p?
b
Let o be ((-11)/(264/(-54)))/((-6)/(-16)). Does o = 23/5?
False
Let i = -33 + 32. Is -1/33 greater than or equal to i?
True
Let v(i) = i**3 - 4*i**2 - 2*i + 3. Let r be v(4). Let d(m) = 2*m**2 + 3*m + 7. Let w be d(r). Let h be w/(-3)*(-1)/(-2). Are h and -1 equal?
False
Let r be (16/12)/(258/9). Are r and 0 unequal?
True
Suppose 10 = -2*c + 18. Let j be (-3)/(1*(-6)/c). Let u be j/4 - (-9)/(-42). Which is smaller: u or -2/19?
-2/19
Let z be ((-14)/70)/(2/10). Let g be 25/(-620)*16/(-13). Let i = 6/403 + g. Which is greater: i or z?
i
Let y = -31771 - -4606777/145. Let m = y - 1542/1595. Suppose 4*k + 5*u = 0, 4*k + 174*u - 175*u = 0. Is k equal to m?
False
Suppose 3*p - 338 = 2*s, 3*s - 4*p + 509 = p. Let y = -163059/1000 - 79/250. Let u = y - s. Are u and 0 equal?
False
Let n = 564 - 530. Suppose 2*p + 36 = 3*p. Is p <= n?
False
Let f = -0.12 - 0.13. Let j = f + 16.25. Let m = j - 15.9. Which is smaller: -4 or m?
-4
Let g = -419/4 - -104. Let m(x) = x**2 - 14*x - 313. Let a be m(-12). Are a and g equal?
False
Let h(w) = -w**2 - 4*w + 27. Let g be h(-9). Let n = g + 21. Which is greater: 5/3 or n?
n
Let s = 4 + -14/3. Let c(p) = p**2 + 13*p + 27. Let a be c(-13). Suppose -5*k = 4*k - a. Which is smaller: s or k?
s
Let u = 44.7 - -127.7. Is u less than 0?
False
Let q = 20 + -22. Let i = -3.86 - -0.56. Let p = i - q. Are p and 0 unequal?
True
Let n = -18 - -20. Which is smaller: -1/56 or n?
-1/56
Suppose 5*l - 15 = 0, 0 = 3*r - 0*r - 4*l + 9. Let g be r/(4/19) + (-1)/(-4). Which is greater: g or 14/3?
g
Let a = -4326 + 6649060/1537. Is -1 > a?
False
Let y = -212 - -211. Is -1/129 greater than y?
True
Suppose -3*h + 0 - 3 = 3*p, -3*h + 5 = p. Suppose -h*c + 4*c = -9. Let m = c - -11. Are 2 and m non-equal?
False
Suppose 8 - 20 = 6*g. Let q be 3/(-1 + g) - -2. Which is smaller: q or -5?
-5
Let q = 14095 - 14096. Let x = 66 - 104. Which is greater: q or x?
q
Suppose -5*s - 336 = -9*s. Let q be (6/7)/(12/s). Suppose -7*v - q = -4*v. Is v at most 5?
True
Let k = -174.4 - -125. Let h = k + 50. Are -1 and h unequal?
True
Let k = -420.173 + 420. Let s = k - -4.213. Let q = s - 4. Which is greater: 1/4 or q?
1/4
Let q = -6 - -62. Let p = q + -55.8. Let l = 24/5 - 5. Is l > p?
False
Let s = 1/904 + -132003/17176. Which is smaller: s or -7?
s
Suppose -5*i + 3340 - 3350 = 0. Which is greater: i or -33/65?
-33/65
Suppose 5*u = -b - 253, -3*b - 92 = 2*u + 2*b. Let v = 55 + u. Let c be 35/12 + 2/(-8). Is c greater than v?
False
Let l be 212/711 + (56/(-9) - -6). Which is bigger: -1 or l?
l
Let w(l) = -9*l + 155. Let f be w(18). Let p = -39/49 - 311/49. Is f at most as big as p?
False
Let d = 7.4 + 356.6. Is d greater than or equal to 0?
True
Let l(q) = 3*q**3 + 4*q**2 + 7*q - 1. Let d be l(-3). Is d at least -67?
True
Let u = -37902.11 - -37902. Let w be -1 + (-2)/((-8)/7). Which is bigger: u or w?
w
Let t(r) = -r**2 - r. Let o be t(3). Let n be (o/63)/((-312)/28). Which is bigger: 0 or n?
n
Let g(t) = 33*t + 251. Let d be g(-6). Let j be 0 + 4 - 1*-1. Suppose 0 = -4*k - 3*q - 29 - 9, -d = j*k + q. Is k <= -1/2?
True
Let k be (-11)/((-451)/(-190)) + 4. Let p = -2746/451 - k. Is -4 at least p?
True
Let h(l) = 3*l**2 + 4*l + 2. Let a be h(-2). Let b be 2*((-1)/(-2) + 1). Suppose -4*r + 6 = -b*r. Is a < r?
False
Let i be (-7)/(-1) - 111996/16002. Is i <= 0?
False
Let c = -68 + 56. Let f be 622/(-12) - (-2)/c. Which is greater: 2/3 or f?
2/3
Suppose 2*h + 80 = -g - g, 0 = -4*g - 16. Let b be (-9)/4 - (-9)/h. Is b less than -3?
False
Let h be (3 + -2)*-4 - 503. Is -506 at most as big as h?
False
Suppose -4 + 9 = n. Suppose 42 = 2*l - n*l. Which is greater: -0.1 or l?
-0.1
Suppose 29 = 6*j + 11. Suppose j*m + 8 = 23. Which is smaller: 6 or m?
m
Let a = -41.6 - 12.4. Let n = a + 53. Which is smaller: n or 37?
n
Let d = 79 - 68. Let x be (-10)/(-3)*d/(110/(-156)). Is -51 less than x?
False
Let d = 1.69 + 0.31. Let k = 317.93 + -313. Let o = 0.07 + k. Is o != d?
True
Let d(a) = a**2 + 4*a. Let s be d(-4). Let f = s - -1. Let t = 311/30 - 107/10. Which is smaller: f or t?
t
Let q be 198/12 + (0/(-5))/4. Which is greater: 17 or q?
17
Let v be (-10)/(-250)*-5*(5 + -12). Is v less than or equal to 3.5?
True
Let s be (-6)/8 + (-7917)/(-4732). Which is smaller: s or 1?
s
Let f = 60 + -58. Suppose f = -0*m + 2*m. Is 2/61 < m?
True
Let g = 13 - 12. Let j be -6 - -10 - 174/45. Is g bigger than j?
True
Let f = 0.712 - 0.052. Is 1/12 > f?
False
Let x(v) = -v - 3. Let j be x(13). Let o be (3/234)/((-4)/j). Which is smaller: 1 or o?
o
Let a = -94 - -95. Suppose -n + 4 = -5*n. Which is bigger: a or n?
a
Let q = 1962 + -1852. Which is smaller: q or 1/3?
1/3
Let y(i) = 22*i + 280. Let g be y(-18). Is -117 > g?
False
Let m = -15 + 9. Let u be (-1*(-3)/m)/((-2)/(-4)). Which is smaller: u or 0.08?
u
Let l = -1 - -1.09. Which is smaller: l or -16?
-16
Let u be (-2)/10 - 2/10. Let f = -45.2 + 11.2. Let l = f - -16. Which is smaller: u or l?
l
Let c = -3 + 2. Let o = -48839931/173576 - 2/21697. Let i = -281 - o. Is i > c?
True
Let j = -7 + 3.8. Let z = 3.2 + j. Which is smaller: 14 or z?
z
Suppose 4*a - 73 = 5*m + 18, -m - 79 = -4*a. Suppose 3*w - 8*w - 280 = 0. Let c be (-2)/w + (-4)/14. Do c and a have the same value?
False
Let t = 12 - 26. Let u = t + -2. Let b(o) = -o**3 - 15*o**2 + 17*o + 16. Let r be b(u). Is r at least as big as -4/9?
True
Let a(x) = -2*x**2 + 2*x + 1. Let n be a(-1). Let l(p) = p**2 + 8*p + 2. Let j be l(n). Which is smaller: -14 or j?
-14
Suppose -o + 167 = 4*n, o = -0*o - 3*n + 170. Let m = o - 75. Let j be 24/m - 0/(-1). Which is smaller: j or -1?
-1
Suppose -11 + 10 = t. Suppose a = -3*a + 12, -2*n + 2*a - 8 = 0. Are n and t nonequal?
False
Let x be (-7)/(14/6) + -4. Let l = -6 + 8. Suppose -3*y = -v + 20, l*v + 32 = 3*y - 6*y. Which is smaller: y or x?
y
Let o be 2/6 + 4/6. Let x be ((-8)/10)/(3/(-15)). Suppose 0 = -4*y - 0*y - 16, -x*f - 20 = 2*y. Which is greater: o or f?
o
Let r be -4 + 1 - (-4 - -11 - -2). Is r less than -16?
False
Let w = 14.5 + -12.5. Let g = w - 2.059. Which is smaller: g or -2/7?
-2/7
Suppose -10*u = -6 + 16. Let y(g) = -3*g**2 + 3*g - 4. Let l be y(3). Is u equal to l?
False
Let t = -71 - 42. Let u = t - -166. Is 0.1 > u?
False
Let l = -991.071 - -991. Are 0.9 and l nonequal?
True
Let u be (1/(-2))/((-45)/20). Let z = -20.5 - -1.5. Which is smaller: u or z?
z
Let j(k) = k**2 + 18*k + 16. Let s(x) = 7*x - 3. Let o be s(-2). Let h be j(o). Let u = 7788/13 + -600. Which is bigger: u or h?
u
Let u be 11/(-8) - (-1)/1. Let b(h) = 3*h**2 + 6*h + 3. Let y be b(-2). Suppose i = -4*r - 0*r, -19 = y*r - 4*i. Which is smaller: u or r?
r
Let l = 286/213 + -2/213. Suppose -33*g = -38*g - 240. Let o = g + 49. Which is smaller: l or o?
o
Let d be 1*(0 - 1) + 3. Suppose 9*p = d*p - 147. Which is bigger: p or 