229. Let z be g(4). Does 1598 = z?
False
Suppose -v + r - 1 = 0, -2*v - 3*v - r = -7. Suppose v + 2 = g. Suppose 0*i - g*p = 2*i + 17, -9 = 4*i + p. Which is smaller: i or -4/5?
i
Let f(j) = 3*j - 6. Suppose 3*k - 2*a - 4 - 21 = 0, 3*a = k - 20. Let u be f(k). Suppose -u = 4*y - y. Is y > -5/2?
False
Let p = 22 - 7. Suppose 16*s - 2497 = -2545. Is s at least as big as p?
False
Suppose -3*l = -5*i - 170, -i - 170 = 4*i + 5*l. Suppose 3*q - 5*q - 66 = 0. Which is smaller: q or i?
i
Let d be (-6)/33 - (-853)/33. Let b = -25 + d. Let i = 1 + -0.7. Which is bigger: b or i?
b
Let h(l) = l**2 - 5*l + 2. Let k be h(5). Suppose 12 = -2*a + 5*z, 2*z + 0 = 4. Let s = a + 3/5. Do k and s have the same value?
False
Suppose -2*h + 19 = 3*x, 2*x - 3*x = h - 8. Which is greater: 15/8 or x?
x
Let r(w) = w**3 - 13*w**2 + 14*w - 23. Suppose 5*u + 4*l + 0*l = 72, -u - 2*l = -18. Let t be r(u). Is -0.1 bigger than t?
False
Let d = -3.2 - -3. Let b = 244 + -247. Which is smaller: b or d?
b
Let l = -1/259 - -1818/1295. Which is smaller: -12/7 or l?
-12/7
Let f = 11.7 + -13. Let o = f + 1.3. Let z = -539/1448 - 1/362. Is o smaller than z?
False
Let p be (-1)/4 - (-4)/16. Let i be 284/(-213)*9/46. Is p >= i?
True
Let g = 2176 - 23919/11. Let j = -4/33 - g. Is -3 greater than j?
False
Let d = 2/969 - -100/969. Which is smaller: 22/5 or d?
d
Let h = -32 - -32.3. Let m = h - 3.3. Is 2/9 not equal to m?
True
Let b = 10365 + -10414. Suppose 2*w = 3*c - 114, -2*w - 107 + 17 = 3*c. Do b and w have different values?
True
Suppose 3*u - 9 = 3. Suppose 2*h - u*h + 64 = 0. Let n = h - 34. Is n less than or equal to 0?
True
Let q(j) = j**2 + 5*j + 4. Let r be q(-2). Let t = 4127/9 + -460. Let g = t - -7/9. Which is smaller: r or g?
r
Let w = 0.528 + -0.228. Which is bigger: 54 or w?
54
Suppose 318*v + 194 = 320*v. Which is greater: 96 or v?
v
Let m = 0.1943 - -3.8057. Is m != -198?
True
Suppose s - 3 = 4*s. Let a be (153/(-315) - (-6)/21)*2. Is s greater than a?
False
Suppose 0 = -2*x - 2 - 0. Let g = -5 - x. Let l be (1 + -2)*g/4. Are 1 and l equal?
True
Let l(k) = -5*k + 1. Let m be l(-3). Suppose 3*x = 2*p - 68, x - 5*p + m = -p. Let o be 1/4 - (-6)/x. Is o != 1?
True
Let j = 0.044 + -0.144. Suppose -3*q - 3*f - 21 = 0, 4*f = -2*q - 15 - 7. Do q and j have the same value?
False
Let s be 70/3 - (-50)/30. Suppose 16*y - s*y = 297. Which is smaller: y or -34?
-34
Suppose f + 7 = 2*s + 4, 2*f + s + 11 = 0. Is -68/11 at most as big as f?
True
Suppose 5 - 59 = 6*q. Let x be (q/(-6))/((-15)/(-110)). Which is smaller: 10 or x?
10
Let o = -29 - -24. Let g be (o/((-30)/8))/((-4)/(-3)). Is g < 1/22?
False
Let t = -64/225 - -3244/225. Let j = t + -14. Is 0 >= j?
False
Let d = -24 - -20. Let q be 3 + d/8*4. Suppose 0 = 4*g - 3*g - 4. Which is greater: q or g?
g
Let s be -4 - (-20 + 22)*(-1 - 1). Let h = 17 + -15.6. Which is greater: h or s?
h
Let q be 0/(-1) + 1/12. Let t be -1*(-11)/(-110)*10. Which is greater: t or q?
q
Let j = -96 - -64. Is -40 >= j?
False
Suppose 3*q + 3*c = -1726 + 250, 0 = 3*q + c + 1484. Which is smaller: -495 or q?
q
Let x be (-8)/(-6)*(-6)/(-4). Suppose n = 2 + x. Suppose 5 - n = -l. Is l != -1/6?
True
Let a(o) = -730*o + 2921. Let g be a(4). Let h = 1 + -1. Suppose -5*z + 5 = -h*z. Is z not equal to g?
False
Let z = -9 + 9.14. Let c = -0.11 - z. Let m = 0.15 + c. Which is greater: -2 or m?
m
Let b be 57 + 6 - 16/(-4). Is 69 less than b?
False
Let b(r) be the first derivative of -r**4/4 - 13*r**3/3 + r**2/2 + 7*r - 11. Let d = -41 - -28. Let a be b(d). Which is greater: -9 or a?
a
Let u(r) be the first derivative of -r**3/3 - 5*r**2/2 + 7*r - 10. Let i be u(-6). Which is greater: i or 5?
5
Let c(z) = z**2 + 6*z + 1. Let l be c(-6). Let u = 10889/8169 - -1/2723. Is l bigger than u?
False
Suppose 10*r - 60 = 5*r. Let v = -5 + r. Suppose 0 = -3*q - 2*j - 17, v = -2*j - 1. Which is greater: 0.1 or q?
0.1
Let c be (-170)/(-40) + (-3)/(-4). Suppose 2*r + 5*x - 21 = 0, 11 = -2*r + 4*r - c*x. Let q = 8 - 8. Do q and r have the same value?
False
Let f = 76.786 - -1.314. Let j = f + -85. Let o = -7 - j. Do o and 2 have the same value?
False
Let v = 0.11087 + -0.21787. Suppose j - 4*j = 0. Is j at most v?
False
Let l(u) = 3*u**2 - 25*u - 15. Let g be l(9). Which is smaller: 26/9 or g?
26/9
Suppose 5*y + 6*y + 44 = 0. Let t = 1 - 8. Which is smaller: t or y?
t
Suppose 2*v + v + 9 = 0. Let z = 98 - 983/10. Let b = z - -1/20. Which is greater: b or v?
b
Let j = 546 + -732. Are j and -187 equal?
False
Suppose -v = -5, -i + 20 = -3*i + 2*v. Let u(n) be the second derivative of -n**4/12 - n**3/2 + 2*n**2 + 9*n. Let p be u(-5). Which is smaller: i or p?
p
Let n = -26 - -10. Let k = -16.3 - n. Let q = 0.6 + k. Do -7 and q have the same value?
False
Let c = 8.6 + -6. Let k = c - 20.6. Let z = 17 + k. Which is smaller: -1.1 or z?
-1.1
Let i = -28 + 30. Suppose 5 = i*c + 3. Which is greater: c or -1/20?
c
Let j = -260 + 260.4. Are j and -0.3 nonequal?
True
Let v be 3/(-9) + (-1854)/(-5589). Which is greater: 1 or v?
1
Suppose q - 2*g = -0*q + 7, 5*g = -3*q - 34. Let y be (-23 + 27)/(1/q). Is y bigger than -13?
True
Let l(h) be the third derivative of h**6/120 - h**5/10 + h**4/8 - h**3/2 - 8*h**2. Let n be l(5). Let g be n/10 + (-72)/(-90). Is g less than or equal to 5/3?
True
Let h(r) = -r**3 - 2*r**2 - 12*r + 14. Let c be h(-6). Let f be (20/c)/(1*-2). Which is smaller: f or -1?
-1
Let k(t) = t**3 - 25*t**2 - 26*t + 6. Let n be k(23). Do -1650 and n have different values?
False
Suppose -13*c + 18*c = 1215. Which is smaller: 242 or c?
242
Let l be (684/42 - -3) + 4/(-14). Which is smaller: l or -2?
-2
Let l = 9507/16 + -594. Suppose -3*v + 2*v = -4*a + 16, 2*a - 8 = -4*v. Is l at most v?
False
Let c be ((-1463)/(-660))/(1/(-9)). Let q = c - -81/4. Let h be 3/15 + (-12)/(-15). Which is smaller: h or q?
q
Suppose -3*h + 4*f - 350 = -102, -3*h - 276 = 3*f. Which is greater: h or -89?
h
Suppose 147 = 4*z + 11. Let t(y) = -y + 52. Let i be t(19). Is i < z?
True
Let j = -38 - -22. Let q = j - -4. Let o be 456/1197 + (-4)/(-14). Is o != q?
True
Suppose -4*j = 21*j - 150. Which is smaller: 0.8 or j?
0.8
Let p = -1/11651 - -174803/442738. Is 1 <= p?
False
Let v(d) = -12*d - 3. Let j be v(-3). Suppose 0 = -y - 2*o + 39, 4*y - 19 = -5*o + 125. Is y at least as big as j?
False
Let n = 2400 + -3139. Is -740 less than or equal to n?
True
Let v(f) = -f - 14. Let p be v(0). Let k(a) = 100*a**2 + a - 1. Let r be k(-1). Suppose 8*w = w - r. Is w > p?
False
Let d = -0.02 - -3.02. Let k = 17/189 - -10/189. Are k and d equal?
False
Suppose -a + 2*t = -3, -2*t + 6 + 19 = 3*a. Suppose 11*k - a*k + 16 = 0. Let u be (-1)/((-30)/123) + k. Which is bigger: -1 or u?
u
Let i be ((-7)/3)/(2/6). Let f be 12/18*(1 + i). Let u = -5 - f. Is u > -2/9?
False
Suppose 6*j - 2*j - 4*k = 600, -4*j = k - 620. Which is smaller: j or 153?
153
Let n = -1128233/8 - -140630. Let r = -400 - n. Is -2 at most as big as r?
True
Let o be (1 - 0)*14/2. Let r(f) = -f**2 + 1 - 1 - 6 + o*f. Let l be r(6). Is l bigger than 6/11?
False
Suppose 0 = 2*h - 0*h - 4*c + 20, 5*c - 12 = -4*h. Let n be (-455)/(-26) + (-1)/h. Suppose d + 3*t = -6, 2*d + 0*d + n = -3*t. Which is smaller: d or -13?
-13
Let q = 359 - 190. Is q less than or equal to 337/2?
False
Let j be (28/22 + -1)*415. Let s(y) = -3*y**2 - 27*y - 5. Let f be s(-12). Let z = f + j. Do 0 and z have the same value?
False
Suppose 0 = -94*u - 1371 - 1167. Which is bigger: -12 or u?
-12
Suppose 6*d - d = -4*f + 29, 2*f + 3*d - 17 = 0. Let r = -238/3999 + 39758581/75981. Let b = r - 523. Which is bigger: f or b?
f
Let q = -47216066/7 - -6711158. Let j = 33853 + q. Let n = 141 + j. Are n and -3 equal?
False
Let l = 14281/4410 - 146/45. Is l <= -1?
False
Let j = -133/3 - -529/12. Let s = -9 - -9. Is j less than s?
True
Let r be 10/3*1*-12. Let y be (-24)/r - -2*31/(-70). Let w = -2/119 + 104/119. Which is smaller: w or y?
y
Let s(z) = -z**3 - 7*z**2 + z + 17. Let q be s(-7). Suppose -6*p - q = 32. Is p <= -5?
True
Let q be (-8)/(24/(-162)*3). Let m be (-1)/(-4) - (-134)/8. Which is smaller: q or m?
m
Suppose 6*t - 6 = 9*t. Let r be t - (9/(-3))/(-1). Are r and -4 unequal?
True
Let k be 0/9*(-1)/3. Let h be k/(3 + -3 + -1). Which is smaller: h or 2/7?
h
Suppose 36 = 3*l + 39. Let p = 786 + 