 + 75 - 70. Which is smaller: t or -3/815?
-3/815
Let z be (369/(-99))/1 - -4. Which is smaller: 3 or z?
z
Suppose -22*d + 21*d + 5 = 0. Let m(h) = -h**3 + 8*h**2 - 2*h - 4. Let v(i) = 4*i**3 - 25*i**2 + 6*i + 11. Let s(c) = 7*m(c) + 2*v(c). Let u be s(-6). Is u > d?
True
Suppose -3 = -3*z, 0 = 9*q - 4*q - 2*z - 8. Which is bigger: q or 12/23?
q
Suppose -3*i = 3*o + 53 + 13, -4*o = 3*i + 91. Is -21 >= o?
True
Let y(t) = -t**2 + 17*t + 258. Let k be y(25). Is k less than -8?
False
Suppose 4*a - 38 = -0*w + 5*w, w + 37 = 5*a. Is -4/7 <= a?
True
Let y = 5058 - 85818/17. Which is greater: y or 11?
11
Let w(c) = 2*c**2 - 17*c - 5. Let z(s) = s**2 - 8*s - 2. Let q(k) = 4*w(k) - 9*z(k). Let t be q(0). Let v be 1/(-1)*(3 - 2). Is t greater than v?
False
Suppose -2*m = -2*n - 106 + 6, 0 = 2*m + 5*n - 128. Let p = m - 62. Which is smaller: p or -10?
-10
Let k be (6/4)/((-3)/16). Let i be (56/(-140))/(4/(-10)). Let w be k/4 + i - 4. Is -4 smaller than w?
False
Suppose 5*d + 115 - 120 = 0. Is 8/9 at least as big as d?
False
Let s(d) = d**2 + 2*d + 1. Let t be s(-2). Suppose -2*f = -0*f + 4*p - 472, -5*f + 1152 = 3*p. Let o = 10714/47 - f. Which is bigger: t or o?
t
Let j = -1/370 + -1471/3330. Suppose 0 = 2*o + o. Is j greater than or equal to o?
False
Let a = -60 - 4. Let l = 52 + a. Is l < -0.1?
True
Let r be (((-81)/45)/(-3))/1. Which is smaller: r or 3/10?
3/10
Let p be ((-20)/(-50))/(1/(-15)). Let w = p + 16. Suppose 4*y + 3*v + w = v, 2*v = 3*y - 10. Is 0.2 at most as big as y?
False
Let a = 34 + -21. Let c = a - 11. Which is greater: 3 or c?
3
Let n = 5496 + -2115958/385. Is n at least 1/4?
False
Let a(b) = b**3 - 4*b**2 - 6*b + 9. Let i be a(5). Suppose -25 = i*y + y. Let n = -172/51 - 5/17. Which is smaller: n or y?
y
Suppose 3*a = 22 + 11. Let k = -61 + 62. Which is smaller: a or k?
k
Let l be -3 + -3 + 784/132. Let f = 112 + -112. Which is smaller: f or l?
l
Let w = 814 + -485. Is 328 >= w?
False
Suppose -n = -4 - 10. Let b be (24/16)/1*(-4)/3. Let l be (-1332)/(-108) - b/3. Which is smaller: n or l?
l
Suppose -5*m = 2*g - 386 + 56, 3*m - 194 = -2*g. Are 66 and m nonequal?
True
Let l = 13930/9 - 1548. Which is greater: l or 1?
1
Let p(c) = -c**3 - 14*c**2 - 14*c - 14. Let j be p(-13). Let g(i) = i + 1. Let b be g(4). Suppose -3*h = b + 10. Are j and h unequal?
True
Let n = -11011 - -3556541/323. Which is greater: n or 1?
1
Suppose -94*b = -62*b - 64. Is b at most 38/43?
False
Suppose 3*c + 654 = 3*p - 12, p = -2*c - 435. Let q be ((-6)/(-155))/(7 + c/30). Which is smaller: q or -1?
-1
Suppose -y - 7 = -2*y. Let d = 7 - y. Suppose d = 2*s - s. Which is bigger: s or 6/7?
6/7
Let l = -63 - -101. Which is smaller: l or 4?
4
Let p = -45 + 46. Suppose 4*s = -27 + 63. Let i be 1*3*(-3)/s. Which is bigger: i or p?
p
Let g be 9 + ((-4)/1 - 0). Suppose -3*f + 9 = 3*w, -g*f - 12 = -w - 3*w. Let u be (-2)/8 + 50/104. Which is bigger: u or f?
u
Suppose -4*y - 3*m = -16, -3*y = m + 2*m - 15. Suppose -y = 3*i - 31. Suppose 3*q = -16 + i. Is -2/3 greater than or equal to q?
True
Suppose -2 = x - p, -3*x = -p - 1 + 9. Let m = -886015/35644 + 1/5092. Let r = m - -1552/63. Which is greater: r or x?
r
Let v = -43 - -42.71. Let i = v - -1.29. Are i and 11 non-equal?
True
Let c = 2727 - 177243/65. Is c >= -2?
True
Suppose -1 = 3*y - 4*l, 0 = l + 2*l - 3. Suppose -9 = 5*r + y. Let f be (-33)/36 - (-1)/4. Do r and f have the same value?
False
Let j = -2 + 6. Suppose -7*r + j*r = 186. Is -63 at least as big as r?
False
Suppose 8*c = 11*c - 777. Let g = -1816/7 + c. Let o be 1/(2 + 1 + -4). Which is bigger: g or o?
g
Let x be 440/(-75)*15/10. Which is greater: x or 0.1?
0.1
Let u = -1.21 + 1.91. Let l be 4 + (-3 - (-2)/1). Is l less than u?
False
Let q be (1/2)/(413/(-140) + 3). Let x be (-7)/35*q/6. Is -1 less than or equal to x?
True
Suppose -3*t + 67 = -0*t + c, 2*c + 86 = 4*t. Let i = t + -22. Which is smaller: -2/21 or i?
-2/21
Let f be (-4)/24*(-4)/(-2). Let q = -23.6 + 0. Let m = q - -23. Is f != m?
True
Let m(g) = 3*g - 40. Let i be m(-10). Let h be ((-230)/i)/(4/14). Which is smaller: h or 1?
1
Let x = -66.1 + 66.1. Which is smaller: -0.044 or x?
-0.044
Suppose -2*x - 3*x = -35. Suppose 6 = -x*g + g. Which is smaller: g or -2?
-2
Suppose 1 + 7 = -o. Suppose 3*w - 1 = 2*t, 5*w - 1 + 42 = -2*t. Is t smaller than o?
False
Let i = 0.33 + -22.33. Let p = i - -32. Let l = 1455/469 - 227/67. Is l bigger than p?
False
Let y = 271/2 - 139. Suppose -141*b = -120*b - 26 + 89. Which is smaller: b or y?
y
Let n be ((-8)/(-10))/(2/25). Suppose n*t + 3 = 13*t. Do t and -1/25 have the same value?
False
Suppose -4*h = 3*j + 55, 30 = -3*h - 3*j - 15. Let s = h - -6. Let r be (-46)/14 - 72/(-252). Which is greater: r or s?
r
Let b = -55 - -49. Let c be 4/b + 496/(-12). Which is bigger: 2 or c?
2
Let n be ((-36)/10 - -3)*-35. Let p be n*-1 + (-5)/5. Let t be ((-2)/3)/(p/6). Does t = 1?
False
Suppose -3*i + 10 = 7. Is -57 at most i?
True
Let z be 5776/1649 - (3 + 5 + -4). Let x = z + 14/97. Which is greater: 1 or x?
1
Suppose -17*h - 4647 = 7814. Is -734 less than h?
True
Suppose -7157 = 31*x - 1453. Which is bigger: x or -735/4?
-735/4
Let n be (7 - 3)/2 + 3. Suppose n*q - 27 - 28 = 0. Suppose -q*g - 18 = -8*g. Is -8 smaller than g?
True
Suppose -2*l + 0*a + 10 = -2*a, 5*l + 3*a = 9. Suppose -54 = -l*g - 3*g. Let y be 47/6 + (-9)/27. Which is smaller: y or g?
y
Suppose -p + 7 = -4*v - 7, -3*v = p. Suppose -4*s - 8 = 5*r + 8, 0 = 4*s - 3*r - 16. Let k be 6 + s + (1 - 1). Is k greater than or equal to p?
True
Suppose 14*p - 5 = 9. Do p and -4/49 have different values?
True
Let n = 69 - 44. Let f = n - 22. Which is bigger: f or -1/4?
f
Let a be -1 + (0 - -4 - -636). Let t = -53677/84 + a. Which is smaller: t or 1?
t
Let t = -1225 - -1221. Is -5 greater than t?
False
Suppose 21*t = 20*t - 70. Is t <= -70?
True
Let a = 0.1249 - 1.1249. Which is greater: 34 or a?
34
Let p be (-4)/(-6)*(-2091)/34. Which is bigger: p or -34?
-34
Suppose 2*y = -5*a - 661 + 202, -a - 234 = y. Is y != -238?
True
Let d = 29.9 - 30.7. Which is bigger: -1/5 or d?
-1/5
Suppose -69 = -10*c + 31. Let v = -34 - c. Which is greater: v or -43?
-43
Let i(o) = -o**3 - 4*o**2 + 3*o + 10. Let l be i(-3). Which is greater: l or 10?
10
Let z = 20 - 13.12. Let k = z + -7. Let v = k + 0.11. Which is greater: v or -0.1?
v
Let w be (9/42)/((-29)/(-8) + -4). Let q be 2/(-10) - 9/5. Which is bigger: q or w?
w
Let h be 2 + (3 - (-3414)/(-637)). Let j = h + -5/49. Is -1 <= j?
True
Let t be (12/(-105))/((-6)/(-15)). Is 159/2 at most as big as t?
False
Let i be (6/16)/((-3)/7). Let s be (-51)/34 - 1*-2. Let y = s + i. Is y less than -1?
False
Let g = 10.92 - 13. Let j = 5.12 - 7.12. Let u = j - g. Which is greater: 0 or u?
u
Let u(g) = -5*g**2 + 28*g + 5. Suppose -47*y = -43*y - 24. Let v be u(y). Is v greater than or equal to -1?
False
Let a(x) be the first derivative of -x**5/120 - x**4/6 - x**3 + 4. Let b(r) be the third derivative of a(r). Let m be b(-8). Is m at least as big as 4?
True
Let f = 10023 - 290697/29. Is f at most -1?
True
Let n be 33/(-2) + (-1)/(-2). Suppose 5*f - 78 = -3. Suppose 7*q = 8*q + f. Which is bigger: n or q?
q
Let o be (2 - 2) + 520/2. Let b = o - 9622/37. Let x(v) = v**2 - 4*v - 22. Let w be x(7). Is b not equal to w?
True
Let f = -7.2 - 45.8. Let k = -36 - f. Is -0.2 <= k?
True
Let l = 26253 + -42083561/1603. Is l less than or equal to 1?
True
Let x = -4.1 - -3.1. Let v = -3 + -5. Let t = -4 - v. Which is smaller: x or t?
x
Let r(f) = 4*f**2 - f + 15. Let q(y) = 2*y**2 - y + 7. Let u(z) = 9*q(z) - 4*r(z). Let b be u(2). Which is smaller: b or -10?
-10
Let b(o) = o**2 - o + 5. Let w be b(0). Suppose -c = -w*g, g = -2*c + 5*c. Suppose 4*p - 12 = -c*p. Which is greater: p or 4?
4
Let n = -121/5 - -368/15. Let j = 0.8 - -0.2. Which is bigger: n or j?
j
Let a be -2 + (-7 - -6)*7. Let b = 8 - 5. Let h be b/((-26)/(-16) - 2). Is h greater than a?
True
Let b = -426 + 513. Which is smaller: b or 85?
85
Suppose 0*x = 3*f - 3*x, 4*f = -4*x + 24. Let v = 304 - 302. Suppose 5*a - f = v. Which is smaller: a or -4/9?
-4/9
Let r be 1/(-5 - (1 + -3))*-9. Let w = -12 - -11. Which is smaller: r or w?
w
Let m be (1/(-3))/((-2)/6). Let j = -3.5 + 3.2. Let x = j - -0.2. Is x at most m?
True
Let h(a) = -9*a - 119. Let 