237.2 + -237. Are f and y equal?
False
Suppose 6 = g + g, -5*z + 5*g - 85 = 0. Let q = 3035 - 3046. Do z and q have the same value?
False
Let i = 150 - 150.3. Is i <= 1/4?
True
Let q(g) = g**2 - 21*g + 37. Let n be q(19). Let o be (-2 - -4 - 1)*n. Let v = 123 + -1229/10. Is v bigger than o?
True
Let o = -6.23 - -1.13. Let m = o - -6.1. Let w be 4/(-14) - 3/(-35). Which is smaller: w or m?
w
Let q = 1209 + -726. Do q and 482 have the same value?
False
Let b be 62/(-20) - 2/(-4) - -2. Is b at most -108?
False
Suppose -5*q + 5*n = -270, 20 = 3*q - 2*n - 146. Let u = -37 + q. Do 21 and u have the same value?
True
Let s be 2/(-8) - 42/(-8). Suppose j = 5*y + 32, 0 = -2*j + 2 + 2. Let q be 8/(-12)*y/1. Is q > s?
False
Let n = 106 - 63. Let q = -717/2 + 358. Which is greater: q or n?
n
Let b(u) be the second derivative of u**4/12 + u**3/3 - 13*u. Let n be b(-2). Is n at least as big as 12?
False
Let a(k) = -5*k + 22. Let m be a(4). Let l = -2.3 - -0.1. Is m less than l?
False
Let s = -1 - -0.9. Let f = -112 - -103. Let a be (-1)/(-4) + f/20. Which is smaller: s or a?
a
Let i = -1 + 2. Suppose 3*h + 4*s - 55 = 2*h, -3 = -3*s. Suppose -h*d - 15 = -46*d. Which is smaller: d or i?
d
Let n(v) = v**2 - 9*v - 2. Let o(z) = 8 - 4*z**2 + 9*z - z**3 + 7*z**2 + 5*z**2. Let b be o(9). Let y be n(b). Is -9 at most as big as y?
False
Suppose 0*q - 25 = 3*q + 2*g, 0 = 5*q + g + 44. Let a = 10 + q. Let r be (1 - 3)/a + 3. Is r equal to 4?
False
Let b = -1626.864 + 1627. Which is smaller: 9 or b?
b
Let t be 2/6*0/(-7). Suppose 13*i - 11*i - 144 = t. Let q be 1/(-14)*i/12. Is 0 != q?
True
Let i = 1 + -0.8. Let x(u) = 3*u**2 - 15*u - 13. Let r be x(6). Is r less than i?
False
Let b = 6.8 - -0.2. Let p(s) = -2*s**2 + 8*s - 5. Let v be p(3). Let n be 69/(-92) - v/4. Which is bigger: b or n?
b
Suppose -4*k + 8*k - 24 = f, -5*f - 15 = k. Which is smaller: 152 or f?
f
Let d = 610 - 636. Is 2 at least as big as d?
True
Let w(m) = -m**2 - 14*m - 17. Let h be w(-11). Suppose 0 = 4*r - 2*r + h. Is r at most as big as 1?
True
Suppose 0 = 3*d + 3*n + 2*n - 188, 3*d - n - 164 = 0. Let h = 55 - d. Is 6/23 not equal to h?
True
Let c be -5 + (-32)/(-6) + 38/(-42). Is c bigger than -1?
True
Let i(l) = 57*l**2 + 7*l - 14. Let v be i(2). Suppose 5*k = 11*k + v. Which is smaller: k or -37?
k
Let g be (1 + (-8)/6)*(-144)/96. Which is bigger: g or -10/21?
g
Suppose -3 = 3*a - 15. Which is smaller: 10 or a?
a
Suppose 0 = -3*i + 6*i - 12, 0 = -5*n - 2*i + 8. Which is smaller: 15/11 or n?
n
Let a = -6466 - -3398. Let n be a/273*54/(-68). Let f = -60/7 + n. Which is smaller: 1 or f?
f
Let h be (15 - 1)*(-12)/(-21). Let a be 0/(-1) - (h - 4). Let w be (a/6)/(26/3). Is w less than 0?
True
Let g = -0.0644 - -376.0644. Which is greater: g or -1?
g
Let b = -14 - -13. Let w = -2.501 + 0.101. Which is greater: b or w?
b
Let m = 0.7 + -0.8. Let f = -14/29 + 96/319. Which is bigger: m or f?
m
Let s = 2.1 - 3.1. Let u be 4 - ((-120)/(-9))/4. Which is smaller: s or u?
s
Let u(c) = -7*c + 71. Let d be u(10). Let i be (10/(-4) + 2)*-2. Let g = i + 0. Is g > d?
False
Let w = -202 + 99. Let u = -58 - w. Is u less than -1?
False
Let x = 21/8 + 9/8. Let b = -8 + 11. Is b != x?
True
Let s(y) = -y**3 + 7*y**2 + 7*y + 8. Let z(k) = -3*k + 7. Let t be z(0). Suppose m - 1 = t. Let l be s(m). Which is smaller: l or -16?
-16
Let z = -1676 - -38549/23. Is -2/99 at least as big as z?
False
Suppose -91*o + 94*o = -75. Let t be 15*(3/9 + -2). Is o less than or equal to t?
True
Suppose -2*w - 3 = -5*d + 4*d, -3*w - 8 = 2*d. Suppose -5*j = -10, -2*j + 10 = -0*c + c. Let t be 2/(c/(-9)) - -2. Is t less than d?
False
Let z = 292.14 + -282. Let r = 13.14 - 13. Let n = z - r. Are 1/2 and n equal?
False
Let a = 4/121 + -237/3509. Suppose -145 = -4*f - 3*p, 3*f - 5*p - 29 - 87 = 0. Let i = 36 - f. Is i at most as big as a?
True
Let o be (-365)/520 + (6 - 3). Let m = -19/8 + o. Let n be 0/(-3 - 2*-1). Which is smaller: m or n?
m
Let q = -638 - -546. Does -464/5 = q?
False
Let j = 140795 + -1786406961/12688. Let l = -15098731/139568 - j. Let t = l - -108. Which is smaller: 0 or t?
t
Suppose 3*w + 2*u - 31 = 0, -3*w + 2*u - 28 + 75 = 0. Suppose -3*y - w = -34. Which is greater: y or 9?
9
Suppose 4*i - 2 = v + 14, 0 = i - 3. Let g be ((4 + v)/(-4))/(-1). Which is bigger: g or -9/8?
g
Let t = -107 - -107.014. Is 2 greater than or equal to t?
True
Let f be 4*(2/12 + 0). Let o = -12.7 - 1.3. Which is smaller: f or o?
o
Let z = 6927 + -484899/70. Which is smaller: -1 or z?
-1
Suppose 0 = 2*j + 2 + 2. Let i be (1 + -2)*2 - j. Let t = 73/8 + -9. Is t greater than or equal to i?
True
Let q(r) = r**2 - 7*r - 258. Let v be q(19). Is v at least -20?
False
Let x be (((-140)/(-145))/7)/((-2)/(-5)). Which is greater: 0 or x?
x
Let z be 48/4*(-351)/(-182). Which is greater: 24 or z?
24
Let v = 2379842/555 + -4288. Is 1 smaller than v?
False
Let t = 1/574 - 5195/16646. Which is greater: 1 or t?
1
Let q(v) = -v**2 + 11*v + 21. Let f be q(13). Let x be -3*1/9 + f/21. Is x < 0?
True
Suppose -46 = -3*v + 2*g, 5*g - 32 = -3*v - 0*g. Suppose v*o - 25 = 9*o. Which is smaller: 17/3 or o?
o
Let b be (-60515)/385 + (-2)/(-11). Is b less than -156?
True
Suppose 1 = -o - p, -3*o - 8 = p + p. Let a be (-1 - 2)*(-2)/o. Let n be -2*(a/(-2))/(-1). Is 1/2 equal to n?
False
Suppose 0 = -4*x - 2*k + 112, x - 5*k + 1 - 7 = 0. Suppose -x + 18 = -4*h. Suppose 2*m + 5*s = -14, 3*s + 2*s = 4*m - 2. Which is smaller: h or m?
m
Let u be 22*((-1)/2)/(-1). Suppose 2*r + o + 6 - 5 = 0, 12 = -3*r - 5*o. Which is greater: u or r?
u
Suppose 10*v = 9*v + 58. Suppose v - 2 = -4*y. Is -14 less than y?
False
Suppose -2*c - 6 + 16 = -4*j, -3*c + 15 = 0. Let m(b) = b**3 + 6. Let t be m(j). Let z be (20/45)/((-20)/t). Which is smaller: z or 0?
z
Let n = 3 + 0. Suppose 2*l + 2*l = n*o - 2, -3*l + 5*o + 4 = 0. Let d = 66 + -62. Is d > l?
True
Let y = -2051/3 + 684. Which is bigger: y or 264?
264
Suppose -4*t + 283 = -5*z, -2*t - 165 = 5*z + 136. Is z greater than or equal to -67?
True
Suppose 2*t = -3*u + 13 - 97, 2*t - 3*u = -72. Suppose 2*c = -3*o - 126 + 9, -5*o - 195 = 3*c. Is t at least o?
True
Let m be 1/4 - (-32776)/(-32). Which is greater: m or -1025?
m
Let z(n) be the second derivative of -n**3/3 + 6*n**2 - n. Let m be z(5). Which is smaller: 6/7 or m?
6/7
Let y(j) = 3*j**3 - 6 + 1 - 4*j**2 + j - 2*j**3. Let z be y(4). Let d be (-4)/32*46 - -5 - -1. Are d and z equal?
False
Let g be (-18)/(-8484)*8*(-2)/6. Does 0 = g?
False
Let m = 15 - 15. Let f = 89 + -266/3. Which is smaller: f or m?
m
Let m = -35 - -40. Suppose -2*s = -s + 5*n + 26, 4*s + 29 = -m*n. Which is greater: s or -5/4?
s
Let c(n) be the first derivative of -n**2 + n + 5. Let j be c(-2). Which is smaller: j or -1?
-1
Let l = 3602.09 - 3622. Let a = -20 - l. Let y = a + 0.04. Which is greater: y or 2?
2
Let c be 524/(-30)*(-24)/(-1088). Let v = c + -1/68. Which is greater: v or -2?
v
Suppose 4 = j + j. Suppose 0 = -4*x, -5*k + 12 = -3*x - 3. Suppose -2 = k*g + 5*q + j, -q = 5*g - 8. Is g < 1?
False
Let u(z) = -190*z**3 - z**2. Let a = 25 - 26. Let m be u(a). Let r be (-1)/(m/(-183)) + -1. Is 1 less than or equal to r?
False
Let n = 0.6 - -16.4. Let u = 138 + -160. Let i = u + n. Is -1/5 <= i?
False
Let z be (-1)/(-3)*3*-12. Let c(f) = -14*f**2 + f. Let v = -8 - -9. Let g be c(v). Is g >= z?
False
Let a be ((-114)/(-1710))/((-4)/702). Are a and -13 unequal?
True
Let n be (5 - 0)*(-16)/(-20). Suppose 14*a - 10*a - n = 0. Let i = 2/45 - -37/180. Which is bigger: i or a?
a
Let s(w) = -8*w**2 + 96*w - 82*w + 0*w**2 - 3*w**3 - 10 + 4*w**3. Let c be s(6). Do c and 2 have different values?
False
Suppose 133*n - 69 = 64*n. Does -7/165 = n?
False
Let l = 5/144 - 757/9360. Let u(c) = -c**3 + 7*c**2 + 3*c - 21. Let k be u(7). Is k greater than or equal to l?
True
Let i(u) = -u**2 + 4*u + 2. Let g be i(4). Let b be 6/(-9) - (-23)/12. Is b bigger than g?
False
Let v = 235 + -235.995. Which is smaller: -1 or v?
-1
Let v be 356/6 - 26/(-39). Suppose -3*m = 2*m - v. Let s = 11 - m. Which is bigger: s or -1/2?
-1/2
Let l(v) = 3*v - 49. Let q be l(16). Which is smaller: q or -56/31?
-56/31
Let a = -0.591 - -1.591. Let m = -0.13 - 29.87. Which is greater: a or m?
a
Let t be (8/30)/(2/(-5)). Let f = -16.38 - -16.4. Is t >= f?
False
S