l to -1?
False
Suppose 4*i = -3*a + 41, -2*i + 2*a + 36 = -2. Let s be 4/18 - i/63. Which is smaller: s or -3/13?
-3/13
Let o = -80857/4828 - 3/1207. Let n be (4 - 6) + (-2)/(-1) + -16. Is o less than n?
True
Let i be (-56)/(-32)*1/7. Which is bigger: i or -0.128?
i
Let c = -35 - -74. Let t = -39 + c. Which is smaller: t or 1/7?
t
Suppose -5 = -3*y + 1. Suppose 3*a - 1 = 2*v + 4, 5*v - 25 = -5*a. Let r be (6 + -10)/((-4)/v). Is y greater than or equal to r?
True
Let i(u) = -7*u - 14. Let k be i(-4). Let m be (-4)/k + (-2566)/(-14). Let h be 2 - (m/93 - 0). Are h and 1 unequal?
True
Let s be (-3)/(-2)*18/(-27). Is s < 5/24?
True
Let y = 6 - 3. Let r be 1 + -5 - 16/(-2). Suppose r*v + y = 7*v. Which is smaller: v or -2?
-2
Let y = 54 + -484/9. Which is smaller: 2.1 or y?
y
Let n(f) = -3*f**2 + 95*f + 31. Let p be n(32). Which is smaller: 112/5 or p?
p
Let q = -2.59 + 2.99. Which is smaller: 0.22 or q?
0.22
Let j be (-4)/22 - (-1566)/(-99). Let w be j/(-12)*-118*3. Let m = -9914/21 - w. Which is smaller: -1 or m?
-1
Suppose -82 = -4*y - q, -62*q = 3*y - 63*q - 58. Is 20 greater than y?
False
Let j = -0.1091 - -0.0091. Does -2/251 = j?
False
Let b = 378 + -377. Do b and -2/827 have the same value?
False
Let r = -9 + 22. Let l(t) = t**3 - 14*t**2 + 12*t + 16. Let j be l(r). Let y = j + -20. Is -17 > y?
False
Let t = -0.76 - 29.24. Which is smaller: -0.2 or t?
t
Suppose 3*l - 94 = -3*n + 4*l, -3*l = -6. Which is smaller: 2 or n?
2
Suppose 3*m = 4*j + 90, 4*j - m + 111 - 25 = 0. Let v = 3 + -25. Do j and v have the same value?
False
Let n(a) = 4*a + 1. Let g be n(-1). Let o be 1/g + 12/9. Let q be (-2)/(-6)*(-45)/55. Do o and q have different values?
True
Let n = -6994.799 + 7012. Let v = n - 0.341. Let l = -17 + v. Is l less than -1/4?
False
Let j = 498 + -1995/4. Which is smaller: j or -42?
-42
Let w(l) = -l**3 + 5*l**2 + 9*l - 9. Let o = -36 - -43. Let j be w(o). Is -43 smaller than j?
False
Suppose -q + 2*x = 14, 16 = -4*q + 5*x - 31. Let l(n) = 10*n**3 - n. Let d be l(-1). Let r = -15 - d. Which is greater: q or r?
r
Let c = 0 + -1. Suppose 6*l = 11*l + 5. Let r(n) = 3*n**2 + 3*n + 1. Let u be r(l). Which is smaller: c or u?
c
Suppose 0 = 17*f - 6 - 11. Let k be 7 + -3 + -2 + f. Suppose 9 = 6*x - x - c, 0 = -3*x + c + 7. Is x greater than k?
False
Let n be (-1)/4*0 - -92. Let a = -83 + n. Which is greater: a or 8?
a
Let b(a) = -a**3 - 5*a**2 - 4*a + 5. Suppose -40 = 7*d - 2*d - 5*o, -3*o = 4*d - 3. Let g be b(d). Is -3/50 at least g?
True
Let u = 18.01 + -0.01. Let c = u - 16. Which is smaller: c or 0.3?
0.3
Let a = -53 + 3. Let r = -42 - a. Which is bigger: r or 1/5?
r
Let f = 30 + -39. Let z(w) = -4*w - 37. Let o be z(f). Which is greater: o or -3/32?
-3/32
Let m(p) = -p**3 + p**2 - 42*p + 87. Let b be m(2). Is b > -1/1536?
False
Suppose 4*c = -3*b - 3, -31 = -2*c + 6*b - b. Suppose 19 + 11 = 3*f - c*x, -2*f = x - 17. Let s be (f/(-27))/((-1)/4). Which is smaller: 1 or s?
1
Let q be 2866/3140 + ((-24)/4)/6. Let r = q - 2/157. Let k = 9 + -9.1. Is r at most as big as k?
True
Let g = -3 - -3.2. Let n = -29 + 37. Let i = 7.8 - n. Is i at most as big as g?
True
Let i(t) = t**3 - 9*t**2 - t + 12. Let d be i(9). Let u be (4 + 57/(-6))/(-2). Is d bigger than u?
True
Suppose -3*r + 19 - 13 = 0. Let i be 20/(-102)*(-3)/r. Are i and 0 nonequal?
True
Let u = -6/211 + 1519/45998. Which is smaller: 0 or u?
0
Suppose 76*l = 75*l + 26. Suppose -340 = -6*k + l. Which is smaller: k or 1?
1
Let z = -1622 + 2954. Let r = z - 14547/11. Let g = r + -9. Which is smaller: g or 1?
g
Suppose -6*q + q = -45. Let s be ((-41)/(-3))/(3/q). Is -1/3 <= s?
True
Suppose -85*v + 4*n - 840 = -90*v, -3*v + 2*n + 504 = 0. Is v >= 333/2?
True
Suppose 2*k - 4*k = 0. Let r be ((-9)/2)/((-66)/176). Let w be r/25*5/(-2). Which is bigger: k or w?
k
Let q be (-134)/(-6) - (-2)/(-6). Suppose 3*n - 4 - 95 = 3*c, 4*c = -20. Let r = q - n. Is r at least as big as -6?
True
Let f = 13 + -5. Let t = f + -3. Let c = -22 + 28. Is t <= c?
True
Let h be (-5 - -3) + 27/7. Which is bigger: -2/7 or h?
h
Let a(m) = -2*m**2 + 6*m - 2. Suppose -5*t = 3*q - 58 + 18, 4*q - t - 15 = 0. Let g be a(q). Let y = 22 + g. Is 2 >= y?
True
Let s be (-1)/2 - 13*70/(-1840). Is s > -1?
True
Suppose 4*u + 54 = u. Let x be 3/(-30) - u/45. Which is greater: 1 or x?
1
Let j = -34/9 - -76/9. Let c(b) = b**3 + 13*b**2 - 14*b + 6. Suppose 2*q = 4*o + 58, 76 - 5 = -5*o + q. Let p be c(o). Is j less than p?
True
Suppose -92*n + 95*n - 189 = 0. Are 62 and n non-equal?
True
Let t = 72712/15 - 4844. Is t <= 2?
False
Let d(g) = -g + 6. Let q be d(6). Let l be (-36)/129*(8 - 1). Let i = -2 - l. Is q greater than or equal to i?
True
Let h be ((-6)/(-9))/(4/54). Let s be 804/270 + 2/h. Is s at least as big as 3?
True
Let c = -857 - -43709/51. Suppose -5 = -5*k, -h - 2*k = -0*k - 2. Which is smaller: h or c?
h
Let g = 1/484 - -953/7260. Let k = -0.28 + -0.02. Is g bigger than k?
True
Let a = -1 - -2. Let k be 19/(-8) + 3135/(-152) + 21. Which is greater: k or a?
a
Suppose 0 = -5*o - 5*j + 420, 36*o = 35*o - 3*j + 92. Is o < 74?
False
Let y(k) = -k**2 + 14*k + 71. Let p be y(34). Which is bigger: -607 or p?
-607
Let u be ((-34)/120)/((-36)/(-30)). Let n = u + -1/72. Is 8 >= n?
True
Let t = 1 - -15. Let x = 19 - t. Which is smaller: x or -0.05?
-0.05
Let k = -436.9838 - 0.0162. Is k > 0.1?
False
Let i(w) = w**2 + 2*w - 3. Let p be i(2). Suppose 0*b + 2*b - p*f = -7, -5*b - 58 = f. Let d = 18 - 30. Which is smaller: d or b?
d
Let h = 18 + -15. Suppose t + k + h*k = 15, -4 = -2*k. Are -2/9 and t equal?
False
Suppose 5*a + 2*t = -5, -a + 0 - 4 = t. Which is greater: 4/57 or a?
a
Let h = -3 + 3. Let x = -0.57 + 0.51. Are h and x equal?
False
Let m be (2/4)/(14/4). Let r = -21 + 22. Which is bigger: m or r?
r
Let k = -107 + 135. Let d = k + -77. Is -49 not equal to d?
False
Suppose 5*u + 3 = 2*i, 0 = -4*i + u + 2*u + 13. Suppose 2*d + 12 = -4*r + 7*d, -d = i*r - 12. Let n be (-3 + 39)/r*-1. Is n > -18?
False
Let s be -1*27/5*30/9. Is s <= -22?
False
Let z = -76/69 + 17473/15801. Is 1 not equal to z?
True
Let p be 0/(-2)*(-2)/(-4). Let k = -284/11 - -3273/88. Let w = 47/4 - k. Is w greater than or equal to p?
True
Let i be (0 - 5)/(4 - 5). Suppose i*t - 3 - 22 = 0. Let h be (-210)/(-25) + (-2)/t. Is 8 at most h?
True
Let j be ((-1)/2)/((-18)/72). Suppose 3*n = j*n - 1. Is -4/29 bigger than n?
True
Let a = 1334 + -1333.49. Which is smaller: a or 3?
a
Let f = 0.18 + -0.08. Let y = -4.1 + f. Let x = y - -4. Which is bigger: x or -1?
x
Suppose -2*s + 3*s - 16 = 0. Suppose 969 = -62*y + 119*y. Is y at most as big as s?
False
Suppose 22 = 3*s - 65. Suppose -1 + s = -4*i. Which is greater: -8 or i?
i
Let k(x) = 8*x - 83. Let p be k(9). Let i be 6*-1*4/(-6). Suppose i*t + 60 = -t. Which is greater: p or t?
p
Suppose 2*x = -2*l - 152, -3*x + 6*x + 2*l = -223. Let q = -49 - x. Is 22 at most q?
True
Suppose -6 = 5*i - 1. Suppose 3*r + 17 = -19. Let t be (-2 - (-1 + -2)) + r/8. Which is bigger: i or t?
t
Suppose -2*m + 59 = n, -2*m + 230 = 5*n - 5*m. Let p = -73 + n. Is p <= -24?
True
Let d = -1417 + 32589/23. Are 63 and d nonequal?
True
Let c = 237 + -550. Which is bigger: c or -312?
-312
Let b be 3 - (21 + -20)/(1/(-187)). Which is smaller: 191 or b?
b
Let x = -0.066 + 1.866. Let u = 27 + -24.3. Let v = x - u. Is v bigger than -1?
True
Let p be 133/4 + 13 + -18. Let r = -28 + p. Which is smaller: r or 4?
r
Let j = -47/80 + 3/16. Suppose 0 = y + z - 15, -33 = -y - 4*z - 6. Suppose y*u = 13*u. Which is smaller: u or j?
j
Let b(g) be the second derivative of g**4/6 + g**3 + 2*g**2 - 7*g. Let n be b(-2). Which is smaller: 2/19 or n?
n
Let q = 6.9 + -7. Let m = 1.9 - q. Let y = 51 + -51.2. Which is smaller: m or y?
y
Let a be ((-8)/10)/(198/40 - 5). Let j be 2/(1/1 + a/(-24)). Let t = 0.4 + -2.4. Which is smaller: t or j?
t
Let f = -40/9 + 742/171. Suppose 5*u = -209 - 1. Let o = u + 43. Is o at most f?
False
Let p = 2996/58365 + 14406864194/5894865. Let t = p + -2444. Which is smaller: -1/2 or t?
-1/2
Suppose 21 = -9*h + 3. Let i be h + -2 + 356/90. Is i equal to -1?
False
Let d = 0.011 - 21.011. Let l = 0 - d. Let y = l + -23. Is y >= 1?
False
Let g = -3 + 5. Suppose -3*r + i = 37, -22 = g*r - i + 3*i. Let l(s) = s**2 + 12*s + 3. Let y be l(r). Whic