
Let p be ((-3)/1)/(2/4). Let v be (-9 - (-60)/6)/((-1)/7). Is v equal to p?
False
Suppose u + 4*u = 0. Let o = 709/5 - 445951/3145. Let d = o - 2526/3145. Which is greater: d or u?
u
Let b = -3 - -2.94. Which is greater: -1/27 or b?
-1/27
Let c = 57 + -52.64. Let h = -4.3 + c. Which is greater: h or -3?
h
Suppose x - a + 5 = 0, -2*a + 6*a - 20 = -5*x. Let q = 17 + -15. Suppose q = -0*r + 2*r. Is r != x?
True
Let s = 1209/5 + -243. Suppose -7*b - 12 = -5. Which is bigger: s or b?
b
Let v(l) = -2*l**3 + l**2 + 2*l + 1. Let r be v(2). Let y be (r/21)/(2/12). Let c = y - -3. Is 2 != c?
True
Let f be (-8)/(-20) + -1 - 6/(-10). Let y be 1 + f + (2 - 7 - -4). Is y less than -8?
False
Suppose -2*f - f + 3*u + 9 = 0, -6 = 2*f + 2*u. Which is smaller: -628 or f?
-628
Let m be 66/(-6) - 1482/(-130). Which is smaller: m or 1434?
m
Let f = -39.053 + 0.053. Let t = f - -39.2. Let b = 0.2 - 0.4. Which is bigger: b or t?
t
Let s be (4/192*-4)/(1/(-2)). Let o = 1 - 1. Is s greater than o?
True
Suppose -4*h + 1 = -l + 2*l, -4*l - 2*h = -4. Suppose 5 = -2*y - 1. Let k be y*4/438*1. Is l <= k?
False
Let o be -1377*(12/(-18) - (-4 - -2)). Let t be (-2832)/o + 6/27. Which is smaller: t or 1?
1
Let o = -82.9 + 95. Let h = 12.6 - o. Let r be (24/10 - 1) + -1. Which is greater: h or r?
h
Let v = -1909/16 - -17087/48. Let g = 9260/39 - v. Is g at most 0.1?
False
Let l(j) = j + 71. Let x be l(0). Let f = x - 79. Which is smaller: f or -11?
-11
Let b be 10 - 8 - -1 - 17. Does -19 = b?
False
Suppose 3*w - 12 = 2*w. Suppose -8*v + w = -5*v. Suppose 2*n + 16 = -5*p - 9, v*n - 5*p = 25. Which is greater: 1/7 or n?
1/7
Suppose -30*t + 17*t = 208. Let n = 4 + -19. Is n less than or equal to t?
False
Let h(a) = a**3 + 49*a**2 - 53*a - 294. Let v be h(-50). Is -143 bigger than v?
True
Let w = -2865 - -14323/5. Is w less than -697?
False
Let v(d) = -18*d**2 - 2*d - 1. Let f be v(-1). Suppose -2*s + 3*y = 3*s + 70, -2*y - 27 = s. Is f not equal to s?
False
Let i = 43 - 37. Let b = 36 - 32. Is b greater than or equal to i?
False
Let r = 313 - 234. Which is bigger: r or 77?
r
Let n = -68 + 91. Is 27 > n?
True
Let g(h) = 4*h**2 - 4*h - 3. Let v be g(8). Is -2/5 at most v?
True
Let s = 12.37 + -0.37. Let w = 20 - s. Which is smaller: -0.2 or w?
-0.2
Let b = -18 + 24. Let a(z) = -z + 3. Suppose 6*r = 2*r. Let o be a(r). Which is greater: b or o?
b
Suppose 0 = -3*g - 15, p + 0*g + 74 = -5*g. Let j = p - -28. Let s = -34 - j. Is -13 greater than or equal to s?
True
Suppose -o + m = -2*o + 41, 10 = 2*m. Let n = 6 - o. Is -29 at least n?
True
Suppose -104 - 42 = -2*d. Is d less than 76?
True
Suppose 0 = -3*z - 15, -50 = -0*p - 2*p + 2*z. Suppose -34*t - p = -39*t. Does 5 = t?
False
Suppose 3 = q + 1. Suppose -4*t = q*l - 296, -5*t - 2*l + 359 = -5*l. Is t > 73?
False
Suppose 115*h - 117*h + 62 = 0. Which is bigger: h or 27?
h
Suppose -3*h - 2 = 2*i, 7*i + 24 = 2*h + 2*i. Let r be ((-35)/(-14) + 2/h)*-2. Is r equal to -6?
False
Let i(n) be the first derivative of -3*n**4/4 - 17*n**3 - n + 49. Let h be i(-17). Which is greater: 0 or h?
0
Let z be 2/9 - (-1842)/(-27). Is -68 less than z?
False
Suppose 4*u - 4 = 2*u. Let i = -1 + -7. Let c be u/(-8) - 106/i. Is 2/5 at least c?
False
Let l = -1061495 + 29727741/28. Let w = 210 - l. Let k = -41/364 - w. Is k smaller than -1?
False
Let d be -1*(1 + 0/6). Is d equal to -7/15?
False
Let f = -97 - -154. Let b = f - 227/4. Which is smaller: b or 3/14?
3/14
Let a(j) = j**2 - 10*j - 14. Suppose l - 15 = -5*y + 37, -y + 4*l + 23 = 0. Let p be a(y). Let g(d) = d**2 + 6*d - 1. Let i be g(-6). Which is greater: p or i?
i
Suppose -6*b + 2 = -4. Which is smaller: b or 2/99?
2/99
Let a = 529.99 - 530. Are a and 1 unequal?
True
Let j(w) = -w**2 - 13*w - 15. Suppose 0*l + l = -10. Let o be j(l). Let s be o*(-4)/(-6) + -1. Which is smaller: s or 10?
s
Let a be (-2)/(-16) + 74/48. Let j be (1 + (-7)/6)*-8. Let p = j - a. Which is smaller: -1/6 or p?
p
Suppose 4 = 4*r - 2*m + m, -8 = -4*r + 2*m. Let v = 7 - r. Let b = -1 - -9. Is v at least as big as b?
False
Let l be 4/(-10) - (-219)/(-15). Let m be 1/((12/l)/4). Let x be (-2 - (-7 - 0))*(0 + -1). Is x smaller than m?
False
Let h(u) = -2*u + 1. Let q be h(-2). Let c(x) = -3*x**2 - 2*x + 3. Let s be c(2). Let o = 17 + s. Which is bigger: q or o?
q
Suppose a = -2*a. Let v(m) = -m + 6. Suppose -5*h + r = -h - 36, 4*r = h - 9. Let d be v(h). Is d <= a?
True
Let h = 97 - 31. Let m be 13/(-11) + 12/h. Let k be 84/(-90)*-3 - 3. Which is smaller: k or m?
m
Let h = -0.1 + 29.1. Let y = -28.79 + h. Do y and -1 have the same value?
False
Let w be 2/(-18) - 222/(-54). Let q be -1 - 1 - 0/1. Which is bigger: w or q?
w
Let c = -87 + 64. Which is smaller: c or -29?
-29
Suppose -5*n - 5*c = -0*c - 20, -c = -2*n + 14. Suppose 0 = -n*o + 2*o. Let b be 2/3 + 52/(-42). Which is bigger: b or o?
o
Let w be 276/(-10) + (-16)/40. Is w at most as big as -142/5?
False
Suppose -p - 5*b + 4 = 29, 2*p + 4*b + 50 = 0. Let z = -26 - p. Which is smaller: -16/9 or z?
-16/9
Let c be ((8/(-6))/1)/(101/303). Let y = -13 - -8. Is y bigger than c?
False
Let o(w) = w**3 - 2*w**2 - w - 1. Let a(k) = 3*k**3 - 9*k**2 + 6*k - 6. Let l(v) = a(v) - 2*o(v). Let z be l(5). Does z = 37?
False
Let n(f) = f**2 + 15*f + 18. Let v be n(-6). Let o be (-30)/50 + (-177)/5. Do v and o have the same value?
True
Let c = -48 - -46. Let o be (c/(-102))/((-5)/(-30)*1). Is o at least as big as 1?
False
Suppose -3*j + 2*y + 6 = -4, 5*j + y + 5 = 0. Let u be 2/(2 - j - 1). Let a = -8 + u. Is a <= -3?
True
Let d be (-48)/80 + (-346)/90. Which is greater: d or -4?
-4
Let u be 2*-1 + 16/6. Let c(j) = -5*j**3 + 6*j + 1. Let p(z) = z**3 + z**2 - z. Let v(s) = c(s) + 6*p(s). Let f be v(-6). Is u at least as big as f?
False
Suppose -4*m + 2 = -3*i + 86, 0 = i - m - 27. Let t be ((-4)/(-10))/(i/396). Let h = t + -7. Is h < 5?
True
Let d be 11 + (5 - 0 - 768). Which is greater: -753 or d?
d
Let i = 0.21 + 14.79. Let f = i - 11. Let b = f - -14. Is 0.1 less than b?
True
Suppose -w - 3*o + 51 - 41 = 0, -2*o + 30 = -4*w. Let t(x) = -3*x - 1 - 1 + 3*x**3 + 3*x**2 - 2*x**3. Let s be t(-4). Is w at least as big as s?
True
Let x = -154 - -151. Which is smaller: 0 or x?
x
Let j be (7/34 - 2) + 33/22. Which is smaller: j or -1?
-1
Let l = -6.02 + 6. Let m = l + -8.98. Let w = -9.2 - m. Is -2/5 smaller than w?
True
Let s(r) = r**3 - 10*r**2 - 12. Let l be s(10). Let m be l + 10 + 154/80. Is m at least as big as 0?
False
Let u(v) = -v**2 - 6*v + 4. Let t be u(-6). Let r be 15/(-7) - t/(-28). Which is greater: r or -1?
-1
Let z = 1020 - 1020.09. Which is greater: -1/9 or z?
z
Suppose -5*c + 31 = -5*w - 4, 4*w - 4 = -4*c. Let l be ((-1)/1)/(31/c). Which is smaller: l or 0?
l
Let i = 13 + 9. Let g be 1 - (-4 - -1) - i. Let u be (g/(-279))/((-2)/(-2)). Which is smaller: u or 1?
u
Let d = 1024.67 + -1024. Which is smaller: 0.04 or d?
0.04
Let n = -3 + -27. Let a = n + 38. Let f(l) = -l - 1. Let u be f(-6). Do a and u have different values?
True
Let n = 628 - 631. Is n at most -17?
False
Suppose -62 = 7*v + 918. Let x = v - -139. Are x and -1/11 non-equal?
True
Let q(o) = -o + 14. Let v be q(6). Suppose f = -7*f + v. Suppose 0*k = 5*k + 5. Is f greater than k?
True
Let g be (-26)/18 - -2*1. Suppose -69 - 15 = -7*a. Suppose 9*d = 15*d - a. Which is smaller: d or g?
g
Let k = -16278/35 - -3258/7. Are 1 and k equal?
False
Let t = -57 + 39. Let f = t + 43. Let n = f + -22. Which is smaller: n or 0?
0
Suppose 4*l - 10*i - 124 = -7*i, -5*i - 132 = -4*l. Which is smaller: 2 or l?
2
Let h = -104 + 152. Suppose 15*q = 27 + 693. Are q and h nonequal?
False
Let x(f) = f**2 - 2*f + 1. Let j be x(1). Suppose -5*a + 41 + 14 = j. Let h be ((-40)/(-32))/(2/16). Is h not equal to a?
True
Let x be (-50)/525 + (-152)/315. Let a = x - -1042/2115. Which is smaller: 0 or a?
a
Let w = -0.051 + 11.351. Let i = -0.32 + 0.02. Let r = i + w. Is r <= -1?
False
Let p be 18/(-72) + 2*2/80. Let v = p + 4/25. Suppose 4*f + 4 = -4*j, -f = -4*f + j + 1. Is f at least v?
True
Let l be (-6)/27 + (-578)/(-9). Suppose 361 = 11*c + l. Which is smaller: 26 or c?
26
Let v = 0.1 - 1.9. Let f = 0.781 - 2.581. Let j = f - v. Do -0.1 and j have different values?
True
Let y = 433 + -2164/5. Suppose 2 = 5*g - 3. Do g and y have the same valu