 f?
True
Suppose 5*l = l + 3*i + 101, -47 = -2*l + 5*i. Is -14 at least as big as l?
False
Let g be (-1 + (-8)/(-3))/(24/72). Which is greater: g or -11?
g
Let p(o) = -o**2 + 5*o + 5. Let y be p(6). Let z be (y + 0)*1 - 161. Let d = 481/3 + z. Is d at least as big as -3?
True
Let v = -949 - -1155. Is v greater than -2/9?
True
Let u = -3 - -3. Let h be 3/(-2)*(-8)/(-2). Let z be (-45)/(-27) + 4/h. Does z = u?
False
Suppose -3*j + 3 = 0, -5*y - 81 = -4*j + 1248. Let n be 2/((-170)/y) + (-9)/3. Is -1 at most as big as n?
True
Let i(s) = 47*s + 140. Let b be i(-4). Which is smaller: b or -45?
b
Let i(d) = 2*d - 47. Let y be i(-6). Is 1 at least as big as y?
True
Let c = 457 - -380. Are c and 837 non-equal?
False
Suppose -2*k - 3*y + 16 - 5 = 0, k = -2*y + 7. Let l be 221/(-578) + k/2. Do l and -0.3 have the same value?
False
Let y = 209 + -204. Suppose -5*g + 1 = -14. Is y greater than g?
True
Suppose 4*t - 2*r + 52 = -0*t, -r - 79 = 5*t. Is t equal to -15?
True
Let g(t) = -t**2 + 6. Let o be g(3). Let z be (-1 - o)/4 - 0. Are 0 and z non-equal?
True
Let p(v) = -2*v**3 + 2*v**2 + 4*v - 5. Let r be p(1). Is r at most as big as -19/31?
True
Let m = -1.1 + -27.9. Let p = 26 + m. Suppose k - 2*k - 1 = 0, 0 = -3*c - 4*k - 7. Does p = c?
False
Let d be (-190)/12*(-81)/14 + 4. Let a = 371/4 - d. Which is smaller: -4 or a?
-4
Let i(w) = 19*w**2 - 270*w - 26. Let p be i(14). Is p >= -87?
True
Let u be (1/(-2))/((-7)/882). Suppose 4*y - 3*n + 7*n + 60 = 0, -5*y - 2*n - u = 0. Let c = y - -9. Which is smaller: -4 or c?
-4
Suppose 9*t = -5*t + 28. Suppose -2*n - 24 = t. Which is bigger: n or -17?
n
Suppose 32 = f - u, 4*u = f + 21 - 59. Let j = f - 4. Is j equal to 24?
False
Let n = 5.634 - 5.534. Let s(k) = -k**3 + k**2 + 1. Let t be s(0). Let j be 8*t*2/(-36). Are n and j nonequal?
True
Let y be (-26)/8 + (-2)/(-8). Let w be 5*4/((-20)/y). Suppose -w = -0*i - 3*i. Which is smaller: 2 or i?
i
Suppose -14 = -r - 28. Let q = r - -11. Let b = -21974/11 + 1996. Is q equal to b?
False
Let w be (1/10)/(2*(-1)/8). Which is smaller: -9 or w?
-9
Let i = -6 - -5. Let z be 108*((-6)/28 + 1 + -1). Let r = 10516/455 + z. Which is bigger: i or r?
r
Let i = -4628/1023 + 50/11. Let k be 0/(-4*(-3)/6). Which is smaller: i or k?
k
Let r = -73.92 - -73.7. Is r < -3/8?
False
Let s be 4/10 + (-13)/(-5). Let m = 2/12103 + 24200/36309. Is m < s?
True
Let s = -302/21 - -7261/42. Is 160 at least as big as s?
True
Let s = 97 + -85. Suppose 15*b - s = 17*b. Is -2 > b?
True
Let m(b) = b**3 + 8*b**2 + 7*b - 6. Let a be m(-7). Let j = a + 5. Let x be (-2 - (-2 - j))*7. Which is smaller: x or -6?
x
Let r(z) be the second derivative of z**5/20 - 7*z**4/6 + 2*z**3 + 13*z**2/2 + 27*z. Let i be r(13). Which is smaller: i or -3?
-3
Suppose -12 - 4 = -4*a. Let w be (-5)/10 - 2/a. Let g be (1 + -2)*((-28)/49)/4. Is g less than w?
False
Let h be ((-16)/(-20))/((-6)/372). Which is smaller: -51 or h?
-51
Let k be (-1012)/924 - (-6)/14. Which is bigger: k or 2/43?
2/43
Let v be 15/(-24)*6/40. Let h = -49 + 48. Let a be 0/(-1)*(9/(-6) - h). Which is greater: v or a?
a
Let t = -14/9 + 214/135. Which is smaller: 1 or t?
t
Let u(r) = -33*r + 177. Let g be u(-5). Which is smaller: 1/3 or g?
1/3
Suppose -41*a - 4 = -42*a. Suppose 26 = -0*x + 4*x - 5*j, x + j = 2. Suppose x*i = -a*i. Is i at least as big as 1/11?
False
Let m be 0 + 8/(-6 - -4 - -4). Suppose r = o + 23, -r + m*o + 32 = -0*r. Is 12 equal to r?
False
Let c = -20 + 23. Suppose 0 = -c*h - b - 138, -4*b - 237 = -0*h + 5*h. Which is smaller: -46 or h?
-46
Let l = 449.94 - 450. Which is greater: l or -12/11?
l
Let b(m) = -m**3 - 4*m**2 - 2*m + 5. Let r be b(-3). Which is greater: r or 23/17?
r
Let v = 7 - 7. Let w(d) = -3*d - 9. Let y be w(-12). Let s = -53/2 + y. Which is bigger: v or s?
s
Let q = -21118/259 - -570/7. Suppose 5 = -5*c, -4*i + 0*i + 5*c + 1 = 0. Which is smaller: q or i?
i
Suppose 0 = -n + 3*n + 4. Let z be (-2 - (-8)/(-1))*n. Let r = -18 + z. Are 1 and r nonequal?
True
Let m = -25 + 25.1. Is 36 smaller than m?
False
Let i(m) = -m**3 - 9*m**2 + m + 9. Let c be i(-9). Suppose c = -5*t - 61 + 11. Let z(u) = -u**3 - 7*u**2 - 3*u + 9. Let j be z(-6). Which is smaller: t or j?
t
Let h(x) = x**2 + 30*x - 64. Let s be h(2). Which is greater: 1/704 or s?
1/704
Suppose 8 = -4*h, 2*h + 22 = 2*v + 3*h. Let o be (-2)/(8/v) + 5. Is o greater than 7/8?
True
Suppose 2*t - 4*m + 100 = -0*m, 5*m + 64 = -2*t. Let o be (18/t)/((-3)/4). Which is smaller: o or 0?
0
Suppose 2 = -b - 2*q, b + 2*q = 3*q + 13. Let a = b - 6. Let o be 1/(-3 + (a - 4)). Is 1 bigger than o?
True
Let k = -307 - -91. Let u be 4/(-5) + k/280. Which is smaller: u or -1?
u
Let u(g) = 6*g**2 - 30*g + 9. Let p be u(4). Suppose 0 = -2*j - 21 - 13. Which is smaller: j or p?
j
Let d be 5/(-5)*18/(-3141). Is d smaller than -1?
False
Let r = 1684 - 1684. Is r less than 2/1135?
True
Let c(h) = h**2 + 8*h + 27. Let a be c(-3). Is a less than or equal to 8?
False
Let x be (75/9)/((-296)/24). Let i be (556/6)/(296/(-21)). Let z = i + x. Which is smaller: -6 or z?
z
Let u = -1.09 - -4.38. Is u not equal to -0.1?
True
Let b = -3 - -1. Let j = -15634 - -15633.87. Is j greater than b?
True
Let s be (-3)/(-9) - (-858)/(-1602). Let j = s + 988/4005. Which is smaller: -1 or j?
-1
Let h = 24 - 24.3. Suppose -5*i = -i + 5*l + 16, -3*i + 3*l - 12 = 0. Let u be (-1 - -5)*2/i. Which is smaller: u or h?
u
Suppose 6*o = 130 + 158. Suppose -q - q - o = 2*c, -4*c = 16. Which is smaller: -21 or q?
-21
Suppose 7*g = -11*g + 360. Is 13 at least g?
False
Let d(g) = -g + 1. Let p(x) = -4*x**2 + x - 2. Let m(k) = -4*d(k) - p(k). Let i be m(2). Suppose -o = 3*o - c - 12, 3*c = 4*o - i. Is 1 at most as big as o?
True
Let b = 17 - 44. Let j = b + 24. Which is smaller: 10/3 or j?
j
Let t be 7*4*(-1)/(-2). Let s = -81 - -79. Is s at least t?
False
Let o be 2*3/(-18)*(-45)/9060. Which is smaller: o or 0?
0
Let k = -9/287 + 31/1435. Which is greater: k or -1?
k
Let p be 6708/(-1352) - (-5)/1. Is 0 <= p?
True
Let d be (-1602)/(-546) + (-5 - -2). Are d and 1 unequal?
True
Let g be 3 - (3 + 1 - 3). Suppose z + 2*z + w = g, 3*z + 5*w + 2 = 0. Which is greater: -1 or z?
z
Let b be 1*(1 + 1) - 1. Let i = 33 + -33. Let l = i - b. Which is smaller: -5/7 or l?
l
Suppose -211*m + 52 = -213*m. Let t = -235/9 - m. Which is bigger: -1 or t?
t
Suppose -3*p - 70 = 4*u + 227, 0 = 4*u + 12. Which is smaller: -97 or p?
-97
Let x = 91 - 71. Suppose 5*j = -15 + x. Is 2/23 greater than j?
False
Let g = 883 + -883.3. Is 37/5 < g?
False
Suppose 7*l = 12*l + 10. Let d(z) = 9*z + 4. Let t be d(l). Suppose i = 0, -2*m = -3*i + 26 + 4. Is t at least as big as m?
True
Let i = 282 + -248. Is 35 less than or equal to i?
False
Suppose 6*z - 396 = -0*z. Suppose 0 = -y + 2*g + g - z, 4*g - 341 = 5*y. Is -69 != y?
False
Let q = 0.0249 - -415.9751. Does q = 0.1?
False
Let d = 12621 - 3268847/259. Which is bigger: -1 or d?
d
Suppose -5*a - 5*t = -480, -a + 94 = 4*t - t. Let o = 97 - a. Which is greater: -2/127 or o?
o
Let g be (312/(-416))/((-48)/(-5)). Which is smaller: g or -0.3?
-0.3
Let v be 9 - 1 - (9 + -6). Let p be 10 + -6 - (v - 0). Is 2 at most p?
False
Let t = -0.604 + 98.604. Which is bigger: 3 or t?
t
Let o be ((-34)/(-42) - 1)/(30/35). Which is greater: o or 9?
9
Let m(j) be the first derivative of j**4/4 + 2*j**3 + 2*j**2 + 6*j + 2. Let a be m(-5). Suppose -12*c = -a*c + 7. Is -8 != c?
True
Let s(i) = 2*i**3 + 3*i**2 + 6*i - 25. Let y be s(3). Is 299/4 less than y?
False
Let t be -17 - ((0 - 2) + -3). Is t <= -148/11?
False
Suppose q + 7 = 5*d - d, -5*d + 2*q = -5. Suppose -6 = -d*i - 3. Let v be (-4)/(-14)*-1*1. Is i > v?
True
Let y be (43838/6)/((-217)/21). Let s = y + 707. Which is smaller: s or 0?
s
Suppose -6*u + 5*u + 12 = 4*l, 0 = 3*l - u - 2. Let n be -6 + (l - (-48)/(-20)). Which is smaller: n or -7?
-7
Let k(g) = -g**2 - 6*g + 2. Let u be k(-3). Suppose -5*x - 27 = -8*x. Suppose 0 = -x*n + 2*n + 70. Is n >= u?
False
Let m = -3 + 17. Let s be 124/186*18/(-32). Is s less than m?
True
Let k = 40 + -41. Which is smaller: 3/185 or k?
k
Let t = 1/138 + -697/966. Is t at most -1?
False
Let y = 4.7 + -0.7. Let w = -9 + y. Let s = -0.526 + 0.626. Is w less than s?
True
Let q = -0.6537 - -0.0537. Which is greater: q or 35?
35
Let n = 1