 11*q - 40. Let n be b(35). Which is smaller: n or 2/3?
2/3
Let w = 58/9 + -62/9. Which is greater: w or 0?
0
Let i(h) = 5*h + 29. Let o be i(-5). Let q be (0 - o) + (4 - 2). Is -22/15 >= q?
True
Let z = 1414 - 1414. Suppose -9 = -3*q + 3*k, 4*q - 2*k + 3*k = 22. Suppose z = q*b - 4*b - 6. Is b less than -0.5?
False
Suppose 5*t - 729 = -74. Are t and 131 nonequal?
False
Let f(s) = s + 9. Let m be f(-9). Suppose u + m*u = 0. Let j = -54.6 - -54. Are u and j unequal?
True
Let k = -8/3111 + -15882/7259. Are -2 and k unequal?
True
Let z(n) = -n**2 + 40*n - 1. Let d be z(35). Is d <= 174?
True
Let o = -32.256 - -32.3. Is 1 equal to o?
False
Let y = -301 - -164. Let v = 549/4 + y. Let d = -2/37 + -29/148. Which is smaller: d or v?
d
Let o be (-20)/24*(-1 + -5)*1. Suppose 10*n - o*n = -60. Is -12 smaller than n?
False
Let g(h) be the second derivative of h**5/20 - h**4/12 + h**2/2 - 17*h. Let q be g(1). Which is smaller: q or 2/81?
2/81
Suppose -4*q + 0*q + 12 = 0. Suppose -r = -0*r - q. Suppose r*i - i = 4*f, 0 = -4*f. Is 4/7 > i?
True
Let o = -526 + 527. Is o at least 1/460?
True
Let o = 12.978 - 13. Let h = -0.022 - o. Do -0.23 and h have the same value?
False
Suppose 5*v = 26 - 11. Suppose 10 - v = n. Let l = n + -8. Which is smaller: -5 or l?
-5
Let x = 25.2 - 24.2. Is 481 at most as big as x?
False
Suppose -10 = -5*x - 2*l, 5*x = 8*x + 3*l - 15. Let d = 12 - x. Suppose d*t - 10*t = -4. Are -2/3 and t equal?
False
Let u be 14*(-307)/(-36)*-2. Let j be (-15)/10 - (-39)/12*74. Let c = j + u. Which is greater: c or -0.1?
c
Let g = -17.8 - -17.5. Is g less than -2.2?
False
Suppose -64 = -0*n + 3*n - r, 4*n - 4*r + 80 = 0. Let b = n + 23. Is b >= -1/31?
True
Let c = -1661 + 1673. Is c greater than 123/11?
True
Let o = 9.7 + -9.5. Which is smaller: o or 48?
o
Let q be 33/44*(-29 + 1). Let t = q + 20. Let a be (-190)/(-30) + t/3. Is 7 greater than or equal to a?
True
Let m = 191 + -73. Which is bigger: m or 119?
119
Let z(q) = q**3 - 4*q**2 - 9*q + 12. Let h(t) = t**3 - 5*t**2 - 10*t + 12. Let f(v) = -2*h(v) + 3*z(v). Let y be f(3). Is -1/71 less than y?
True
Suppose -2*x = 3*j + 39, -x + 1 + 2 = 0. Let m be 4/1 - (j + -7). Let c be (-874)/104 - m/(-169). Are -7 and c non-equal?
True
Let w = -443 - -441. Is w equal to 111?
False
Suppose 53*x = 61*x - 168. Is 121/6 greater than or equal to x?
False
Let z(v) = v**2 - v + 2. Let m be z(0). Let t be m - 2 - (-2)/(-4). Let p = -840 - -840.03. Which is bigger: t or p?
p
Let h = -269/73 + -67075/657. Is h at most -106?
False
Let b(q) = 2*q**2 - q - 4. Let h be b(2). Let r be h*1 + 0/6 + 6. Is 9 greater than or equal to r?
True
Let l(s) = -4*s + 105. Let r be l(26). Is r != -0.038?
True
Let v = 0.3 - 1.3. Let p = -31 - -30. Let z = p - v. Which is bigger: 1 or z?
1
Let b = 279/1358 - -6/679. Suppose -5 + 2 = -3*v. Which is greater: b or v?
v
Let d = -409.89 - -410. Which is smaller: d or -1?
-1
Let a = -2426 - -1495. Which is smaller: -930 or a?
a
Suppose -17 = -2*i + 3*z, z - 5*z = i + 8. Let a be 18/i - (-3)/6. Let g(t) = 2*t**3 + 51*t**2 + 25*t + 4. Let f be g(-25). Are a and f unequal?
True
Let x = -695 + 694. Is -482 >= x?
False
Let j = -5 + 11. Let s = 10 - 8. Suppose -5*m - q + 8 = 0, 2*q = 3*m + 1 + s. Which is smaller: j or m?
m
Suppose -3 = -5*m - 13. Let q be (-5)/2 - 1/m. Suppose -4*l = -6*l - 8. Which is smaller: l or q?
l
Suppose 4*a = m + 14, 0 = -a - 0*a + m + 5. Which is smaller: 5 or a?
a
Let n be (-3 - -2)/((-3)/(-105)). Suppose 4*f + 152 = 4*x, -4*f + 3*x - 78 = -2*f. Is n at most as big as f?
False
Let l be 250/(-15) + (0/1)/(-2). Is l at most as big as -16?
True
Let t = -26.3 - -26.4. Is 10/31 less than or equal to t?
False
Let k be 177 + -5 + (4 - 9 - -6). Which is smaller: k or 172?
172
Suppose -42 = -4*x - 3*x. Suppose 25 - 7 = x*f. Which is greater: 4 or f?
4
Let v(d) = d**3 - 4*d**2 - d + 5. Let q be v(4). Let x = -4608 - -4607.968. Do q and x have the same value?
False
Let w = 5311/30 - 177. Which is bigger: w or 0?
w
Suppose -5*l = -10 - 0. Let p be (l/(-3))/(5/(-120)). Let b be (-3)/(-2)*p/24. Is b != -0.04?
True
Let u be 3*(-22)/4*(-8)/(-48). Are -19 and u equal?
False
Suppose -3*u + b - 910 = 0, -2*u + b - 608 = -b. Which is bigger: u or -301?
-301
Let v = 0.4 - 1.4. Let s = 10.139 + -0.039. Let l = 10 - s. Is v greater than l?
False
Let p = 122/17 - 703/34. Let g = 14 + p. Let t = -21 + -4. Is g bigger than t?
True
Suppose -500*i - 33 = -497*i. Is -15 smaller than i?
True
Let x be (2/4)/(42/(-11004)). Is x <= -132?
False
Suppose y = -o + 19, -5*o - y + 113 = -5*y. Suppose 4*h + 3*i = o, 19 = -h + 5*i + 7. Let d = -5148/5 + 1033. Which is smaller: d or h?
h
Let k = -3160/1006727 - 6/2699. Let m = k + 5599/746. Is 7 <= m?
True
Let s = 3.8 + 3.6. Let a = -0.6 - s. Let y = a - -3. Which is bigger: y or 0.1?
0.1
Let b = 1342 - 1341. Which is greater: -5/317 or b?
b
Suppose 42*m + 81 - 222 - 279 = 0. Let r be (3/2)/((-6)/(-56)). Which is bigger: m or r?
r
Let g be 9/(-3) + 4 - -1. Let s be (-10 + 6)/(-3 - g). Which is bigger: -0.2 or s?
s
Let t be 898/440 + (-2 - (-2 + 1)). Let r = 12/11 - t. Is -1 <= r?
True
Suppose 2*j - 7*j + 15 = 4*u, 0 = 5*j - 3*u + 20. Let s be (j - 2)*50/(-15). Let z = -22 + 22.1. Which is greater: s or z?
s
Let l be 2*1 - (-2006)/5. Let q = l + -402. Let p be (8/(-24))/((-2)/6). Is p < q?
True
Let w = 2/387 - 2840/387. Let t = w - -8. Let r = 629/4 + -158. Is t at least r?
True
Let k be (45/(-210))/(1 - (-15)/(-21)). Let l = 18 - 20. Is k > l?
True
Let d be -5 + 0 + -6 + 8. Is 6 < d?
False
Let m be (6/195)/(-7 + 96/15). Let f = 9 - 26/3. Which is bigger: m or f?
f
Suppose 0 = -2*j - 4*u + 44, 1 = 5*u - 4. Suppose -15*b = -j*b + 15. Let h = 8 - 3. Is b greater than or equal to h?
False
Suppose -r = -18*r + 34. Which is smaller: r or -6?
-6
Let s = -8 + -19. Let g(i) = -27*i**2 + 2*i + 2. Let d be g(-1). Is s at least as big as d?
True
Let a be (2/(-28))/(2442/296). Which is smaller: a or 0.1?
a
Let u = 11 - 8. Suppose u*s - 1 = 2*s. Let f be 27/(-18) - 290/(-188). Is s smaller than f?
False
Let m(s) be the third derivative of s**5/60 - s**4/24 - s**3/2 - 3*s**2. Let g be m(3). Let r be (-9)/(-4)*8/g. Which is bigger: r or 7?
7
Let f(q) = q**3 + 11*q**2 + 2*q + 27. Let w be f(-11). Suppose 4*r - 1 = -w. Which is bigger: 2/43 or r?
2/43
Let y = -0.05 + -0.35. Let g(f) = f**2 - 12*f + 11. Let q be g(11). Suppose 3*c + 0*c + 3*o - 9 = 0, q = 3*c - 4*o + 12. Which is greater: c or y?
c
Let n = 152.98 + -153. Is 2.8 at most as big as n?
False
Let y(m) = -m**3 - 3*m**2 + 16*m + 10. Let o be y(-5). Let w be 30/o + (-30)/(-4). Which is smaller: 10 or w?
w
Let w be (-14 - 1)*(-165)/275. Which is greater: 103/11 or w?
103/11
Let l(j) = -4*j - 27 + j**2 + 32 - j. Let n be l(2). Which is smaller: -2/61 or n?
n
Suppose 2*c + 9*k - 6*k - 10 = 0, 5 = 3*c + 2*k. Which is smaller: c or 2/449?
c
Suppose -g = -c - 4, 2*c - 3 = 4*g - 15. Suppose 5*f + 5*y = 65, -4*f = f - y - 35. Is g smaller than f?
True
Suppose 0 = l + 4*t - 43, -6*l + 2*l + 150 = 5*t. Let a = -37 + l. Let u = 0.1 - 0. Does u = a?
False
Let o be -3 + (-35)/(-15) + 8/3. Let t(v) = -v**2 + 4*v - 3. Let k be t(o). Is -4/15 smaller than k?
True
Let a = 3 + 9. Suppose -2*p - 14 = -4*g + 16, 0 = -2*g - 2*p + 30. Is a < g?
False
Let k = -39 - -36. Let i be (3/(-3))/(1/5). Let f be (-6)/(i/(-1) + k). Which is smaller: -1/6 or f?
f
Let z be (-327)/(-276) + (-6)/8. Which is smaller: z or -0.06?
-0.06
Let a = 15/61 + -553/2745. Is a at least as big as -26?
True
Let l be 1044/90 - ((-8)/(-10))/(-2). Let w be l/(-162)*1*3. Let o(k) = k + 6. Let t be o(-5). Does t = w?
False
Let l be 3/18 - (-21)/180*2. Is l smaller than -1/34?
False
Suppose 4*i = 2*i + 2. Suppose 2*l + 2*z + 6 = 0, -5*z + 2*z = 2*l + 8. Let d be -34*(-28)/(-936) - (l - 0). Which is greater: d or i?
i
Let w be 959/252 - 18/8. Which is bigger: -2.8 or w?
w
Let j(p) = -101*p - 302. Let x be j(-3). Let w = 1/481 + -1949/12025. Is x at most as big as w?
False
Let f be (-105)/6*1/40. Let i = f + -1/16. Which is smaller: i or -1?
-1
Let d be (20/(-40) - (-13)/54)*66. Which is smaller: d or -18?
-18
Suppose -25*q + 18 = -27*q. Is q greater than or equal to -12?
True
Let v = -16 - -18. Let u = -55 + 53. Is u at most v?
True
Suppose 3*r = r + 8. Suppose -r*h + 3*