2*y + 0*y. Let z be f(5). Is 1 less than or equal to z?
True
Let n = -3 - -4. Let w be ((-1)/(1/(-4)))/n. Suppose -x = -f + w*x + 15, -15 = f + x. Is f greater than -10?
False
Let j = 88 + -879/10. Suppose -d = 1, 2*f + 23*d + 5 = 22*d. Which is bigger: f or j?
j
Suppose -4*x = -0*x + 136. Let y = x - -35. Which is smaller: y or 2/55?
2/55
Let s = 1065 - 690. Which is bigger: 373 or s?
s
Let c = 2037 + -1040. Is c >= 996?
True
Let z be (-2)/(-13) - (536844/(-60697) - -9). Which is bigger: 1 or z?
1
Suppose 3*k = -4*h + 785, 0 = 3*h - 2*k - 503 - 73. Does h = 387/2?
False
Let l be -1*(7 + 3) - -3. Let c = -5 - l. Suppose -14 = -3*r - 2*r + 2*y, -c*r = 4*y - 20. Which is smaller: r or 3?
3
Let s = -210270304/209 + 1006076. Let n = s + 52/19. Which is smaller: -2 or n?
-2
Let z(a) = 1 - 3*a**2 + 4*a**2 + 0*a - 5*a. Let m be z(5). Let n be (0/3 + 3)*m. Which is smaller: 2 or n?
2
Let n = -6 - -5. Let v be (-7 - n)/(3 + (-27)/6). Is 5 > v?
True
Let y be ((-65)/25 - -3) + (-336)/40. Is y > -0.4?
False
Let j = 81.005 - 81. Let f = j + 0.195. Which is smaller: 2 or f?
f
Let b = 5 - -2. Suppose -9*f + 280 = -2*f. Suppose -n = -9*n + f. Is n equal to b?
False
Let q be 4/((12/168)/(1*-1)). Let r = 55 + q. Let z = -2/119 + 125/357. Which is smaller: r or z?
r
Suppose 2*n + s - 22 = 0, 2*s + 35 = 3*n + 4*s. Let c be n + -1 - (-3 + 7). Let q be (-5 - -6)/((-4)/c). Is q < 2/35?
True
Let k be (9/(-36)*-8)/(-1183). Which is bigger: 1 or k?
1
Suppose -u - 20 = -3*y, -11*y - 33 = 2*u - 10*y. Do -15 and u have different values?
True
Suppose -6 = -n + 3*z, -4 = -5*n + 4*z - 2*z. Let y be ((-87)/(-10))/(1/(-22)). Let o = y + 192. Is o greater than n?
True
Let j(v) = -33*v + 891. Let d be j(27). Is 5/253 >= d?
True
Suppose -4*a + 2*y = 12, -y = 3*a - 0*a - 1. Suppose r = -2*r + 150. Let j = r + -305/6. Is a not equal to j?
True
Let u(w) = -9*w + 13. Let h be u(2). Which is smaller: 5 or h?
h
Let f be (188/17)/4 + -3. Let y = 35/221 + f. Suppose -4*r - 2*n - 3*n = -9, 3*r + 2*n - 5 = 0. Which is smaller: r or y?
y
Suppose 0 = 3*y - 8*y - 75. Let l be 2*(-3 + (-25)/10). Is l <= y?
False
Suppose 0*q + q + 27 = 4*f, 12 = -f + 4*q. Suppose -h - 2*z - f = 3*z, 5*z = h - 22. Which is greater: 6 or h?
h
Let x = 1 + -1. Let t(d) = d - 2. Let q be t(4). Let r be (-45)/60*q/11. Which is bigger: r or x?
x
Let r = 461.9 - 504. Let t = -42 - r. Which is bigger: -1/36 or t?
t
Let x = 0.0515 + 0.0485. Is x > 31.4?
False
Let t be (1/3)/(5/87). Let r(u) = u**3 - 35*u**2 - 5*u + 181. Let m be r(35). Is t greater than m?
False
Suppose -3*w + 9 = 0, -5*y + 22 = 3*w + w. Let v = -126 + 212. Let m = v + -86. Which is bigger: y or m?
y
Let g = -5 - -1. Let j be 1 - (0/g + -2). Suppose l - 3*i = 2*i + 6, 4*l + i - j = 0. Is -6/11 != l?
True
Suppose 13 + 9 = n. Let m be 1*((-1)/5 + n/10). Which is bigger: m or 3?
3
Suppose -4*l = 3*o + 8 - 29, 0 = -5*o + l + 12. Suppose o*h + 260 = -2*h + 3*b, 4*h = -2*b - 230. Is h less than -1/2?
True
Let d(c) be the second derivative of -c**5/20 + 5*c**4/12 + c**3 + 3*c**2/2 + 40*c. Suppose -3*y + 12 = -6. Let g be d(y). Is 5/3 > g?
False
Let m be (-405537)/1210*(2 + (-2464)/1230). Let i = m + 1/1025. Which is bigger: 0.3 or i?
i
Let s = -270 - -276.84. Let z = s + 0.16. Let j = z + -6.9. Which is greater: j or -2/9?
j
Let s(m) = m**2 - 7*m - 4. Let o(w) be the first derivative of 3*w**4/2 - w**3/3 + w - 2. Let i be o(1). Let g be s(i). Is -10 greater than g?
False
Let p(w) = -5*w**2 + 23*w + 29. Let b(f) = 2*f**2 - 11*f - 15. Let a(r) = 7*b(r) + 3*p(r). Let g be a(-4). Is -1 greater than g?
True
Suppose 0 = 5*k - 2*m - 4078, 5*m - 3269 = 3*k - 7*k. Do k and 817 have the same value?
False
Let p = -2743 + 2751. Does p = 63?
False
Let y = -2437/37523 + 14/239. Which is bigger: y or 0?
0
Suppose -4*r - 20 = -5*t + 16, 3*t - 4*r = 20. Which is bigger: t or -14?
t
Suppose 4*l - 16 = 0, 60 = -2*g - 0*l + 4*l. Let x be 1/3*(31 + g). Is 3 <= x?
True
Let s be 4/((15/6)/(-5)). Let i(t) = -t**3 - 8*t**2 + t - 7. Let d be i(s). Let u be (d/(-6))/(3/6). Is 6 less than u?
False
Let p be 0 - (2 + -1) - -3. Let y be (p*(5 - 2))/2. Suppose -2*h - u + 6 + y = 0, -4*h - 5*u = -9. Which is smaller: h or 7?
h
Let w = -281 + 278.57. Let j = 0.37 - w. Which is smaller: j or -0.1?
-0.1
Suppose 0 = -10*j + 6*j + 24. Is 13 > j?
True
Let y = 10 - 17.3. Let p = 7 + y. Let t = -5 - -5.2. Which is smaller: t or p?
p
Suppose -i + k + 6 = 0, -9 = -228*i + 230*i + 5*k. Which is bigger: i or 29/9?
29/9
Let j(q) = -20*q - 6*q - 35*q**2 + 34*q**2 - 22 + 8*q. Let k be ((-68)/(-12))/((-1)/3). Let w be j(k). Is w < -7?
False
Let h be -23 + 12/4 - 3. Let b = h - 15. Is b less than -37?
True
Suppose 3*l - 10 = 2*l. Let v(d) = d**2 + 39*d + 176. Let y be v(-34). Which is bigger: y or l?
l
Let k = 3/1502 + 917/292890. Let j = -391 - -392. Is k bigger than j?
False
Suppose 5*z = 69 - 34. Let s be 104/12 + (-4)/6. Let i = z - s. Is i > 0.08?
False
Let m be (-52)/6 + 6/9. Suppose 5*p - 185 = -2*n, p = 4*n + n + 37. Suppose 4 = -3*h + 4*a - p, -3*h - 3*a - 6 = 0. Is m not equal to h?
True
Let q(h) = 71*h + 306. Let m be q(-4). Which is greater: 3 or m?
m
Suppose v + 1 = -4*r - 0, 3*r = -4*v - 4. Suppose 4*m + 16 = 0, 5*d - m - 9 = -r*d. Which is bigger: d or 4?
4
Let y = -899.6 + 900. Is y < 0.083?
False
Suppose 0 = 5*p - 2*g - 23, p - 4*g = 6*p + 1. Let f be 20/26*42/12 - p. Is f <= -1?
False
Let g be 789/18*(-316)/(-8). Let y = g - 1733. Let r = -23/6 - y. Which is greater: -3 or r?
r
Let d = -13442 - -13443. Let v = 1 + -1. Which is greater: d or v?
d
Suppose 2*c = -597 + 593. Does -19/12 = c?
False
Let o(n) = -26*n**2 + 335*n + 15. Let r be o(13). Which is greater: r or -23?
-23
Suppose 2*f + 2 = 4*a, -f + 0*f - 1 = 0. Which is greater: a or -5/7?
a
Let x(l) = -159*l**2 + 14*l - 22. Let s be x(2). Is s != 1?
True
Let u(o) = 7*o**2 + o + 2. Let s be u(-2). Suppose 3*k - 79 + s = 0. Is 0.2 bigger than k?
False
Let g be 3288/(-1254) - (-28)/(-266). Is 2 at most as big as g?
False
Let i(j) = 3*j - 7. Let t be i(3). Let r be 3 - 12*t/3. Let u(n) = -n**2 - 6*n - 7. Let f be u(r). Is f != -2?
False
Let u = 15 + -15.1. Let i be 4/10 - ((-33)/(-195) - 0). Which is smaller: i or u?
u
Let u = -32 + 70. Let b = u - -1. Is b > 38?
True
Let w = 91 - 65. Let f = -14 + w. Do 11 and f have different values?
True
Suppose 3*m - 17 = -5. Suppose -4 = -4*n + t, -4*n - t - m = -0*n. Let q = -2463/23 - -107. Which is bigger: q or n?
n
Let u(i) = 2*i - 3. Let m be u(4). Let d(t) = -t**3 + 17*t**2 + 18*t + 7. Let n be d(18). Which is smaller: n or m?
m
Let y = 0.43 + 2.27. Let s = -3.7 + y. Is 8/5 at least as big as s?
True
Let h = -3.07 + 0.07. Let a = -62 + 86. Let t be 40/a + -2 + 10/12. Are h and t unequal?
True
Let n be 8/2 - (101/(-79) - -5). Is n smaller than -1?
False
Suppose 7*s = s + 12. Let h(m) = m**3 - 3*m**2 + 1. Let x be h(s). Let n be 779/(-76) + x/4. Is n at least as big as -9?
False
Let z = 75 - 81. Which is bigger: z or -33/7?
-33/7
Let w = 22 - 40. Let n be (-375)/(-135) + (-4)/w. Is n bigger than -0.4?
True
Let d = 499 + -619. Are -120 and d unequal?
False
Let s = -8 - -10. Suppose 2*v = -s*v + 20. Let l(n) = n - 3. Let o be l(v). Which is bigger: o or 1?
o
Let b be (-2214)/7 + 14/49. Let v be b/1608 + 1/6. Which is smaller: 0 or v?
v
Let i be 3/3 - (-1 - 3). Suppose p + i*a = 36, 5*p - 2*a = p + 34. Which is bigger: 12 or p?
12
Let p be -3 + 13/5 + (-1178)/5. Let u be 1/2 + p/40. Which is bigger: u or -6?
u
Let k = 0 + 0.1. Let l be ((-2)/(-6))/((-6)/18) + 16. Which is smaller: k or l?
k
Let g be -8*(-3*8/(-6) + -6). Let p be 3 + -4*12/g. Does 1.9 = p?
False
Suppose 0 = 7*b + 17 - 10. Which is greater: 4 or b?
4
Let f(l) = -l**2 + 5*l - 3. Let h be f(4). Let g = -40 + 43. Is h bigger than g?
False
Suppose -3*s - 13 = -4*f, 4*f + 12 - 28 = 4*s. Let p be s/3*(7 + -6). Are p and -1 equal?
True
Suppose 65*w - 3*k - 180 = 62*w, 5*k = 3*w - 178. Which is bigger: 63 or w?
63
Let g = -1.2 - -24.2. Let n = g - 14. Suppose -21*k + 8 = 50. Are n and k equal?
False
Let s = 16 - 16.2. Let k = s + 0.1. Which is smaller: k or 0.3?
k
Suppose 94 = -6*d - 26. Does d = -234/11?
False
Let i = 79/22 - 59/22. Suppose 5*z = 3*n + 1 - 2, 3 = 3*z. Is i smaller than n?
True
Let y = -3 - -12. Let l be ((-1)/2)/(y/(-450)).