. Are -1/7 and v equal?
False
Let c = -0.31 - 45.69. Let j = 46.4 + c. Which is bigger: j or 1/10?
j
Let z(i) = -i - 14. Let o(v) = -4*v**2 + 19*v + 17. Let f(w) = -3*w**2 + 13*w + 11. Let s(b) = 7*f(b) - 5*o(b). Let h be s(-4). Let r be z(h). Is r <= -4?
True
Let o = 471/7 - 67. Let t = 43 - 48.6. Let l = t - -5.6. Which is bigger: l or o?
o
Let s(f) = 10*f + 46. Let h be s(-4). Are h and 0 non-equal?
True
Let y = -156 + 122. Let a = -37 + 1.5. Let j = a - y. Which is smaller: -1 or j?
j
Let f = 1904 - 727. Is 1176 bigger than f?
False
Let u be 2/(-6) + 40/12. Suppose u*s = -s + 8. Suppose 9 = -3*k - 4*j - 27, -54 = 3*k - s*j. Do k and -16 have the same value?
True
Let v be (6/(-36)*5)/(-10). Which is greater: v or -1?
v
Suppose -26*q + 2199 = -141. Do q and 90 have the same value?
True
Suppose -2 = -3*z - 8. Let v be z - (18 + (-5 - 0)). Which is greater: v or -12?
-12
Let d(i) = i**3 + 5*i**2 + 5*i + 49. Let b be d(-6). Which is bigger: b or 2/9?
2/9
Suppose 0 = 5*q + 74 - 19. Suppose -43 = -2*c + 3*i, -i - 4*i = -4*c + 81. Let a = q + c. Is a >= 2?
True
Let z(q) = q**3 - 11*q**2 + 15*q + 26. Let f be z(9). Is 2/451 less than or equal to f?
False
Let g be (4/(-14))/((-6)/14). Let a = -17.9328 + -0.0672. Which is smaller: g or a?
a
Suppose 407 + 3401 = 28*b. Which is bigger: b or 137?
137
Let w(o) = -o + 8. Let l be 5/(-2)*(12 + -14). Let z be w(l). Suppose 3*a - t - 38 = z*t, t = 3*a - 23. Is a != 4?
True
Suppose -3 = -p - 2. Let d = 0 + p. Suppose -2*b - d = 1. Which is smaller: -1/4 or b?
b
Let n = 0.09 + 0.01. Let u = -80 - -90. Which is smaller: u or n?
n
Let z(o) = -2*o**3 + 7*o**2 + o + 25. Let b be z(6). Is -151 > b?
False
Let c be (-1)/((2/63)/2). Let a be (-4)/(-18) + ((-49)/c - -1). Which is greater: a or 7/5?
a
Let x = 22.14 - 22.34. Which is smaller: x or -131?
-131
Let b be 30/135 - 102/(-27). Let k be (-1 + -39)*(-2)/5. Suppose b = f + k. Are 0.1 and f nonequal?
True
Let t(u) = -u**3 + 4*u**2 - 16*u + 44. Let g be t(4). Which is bigger: g or -15?
-15
Suppose -2*o + 3*o = 3. Let r = 8720/2779 - -2/397. Which is smaller: o or r?
o
Let j(h) = h**2 + 63*h - 340. Let y be j(5). Which is smaller: y or -1/56?
-1/56
Suppose 0 = 9*u + u. Let f = 103/2860 + 2/143. Which is smaller: u or f?
u
Suppose -9 = -d - 2*d. Suppose -d*j + 5*h - 36 = 0, 3*j - h + 36 = -6*h. Let q = -14 - j. Which is greater: q or -1?
-1
Let k(g) = g**3 + 4*g**2 - g - 4. Let c be k(-4). Let l be 3/(3/(-9) + c). Let o(d) = d**2 + 8*d - 1. Let b be o(l). Is b > 8?
False
Suppose -1 = -27*v - 109. Let i(y) = -y - 3. Suppose -4*q = -5*u + 8, u = -2*u + 4*q + 8. Let f be i(u). Is f bigger than v?
True
Let k(w) = -8*w**3 + 2*w - 1. Let r be k(1). Let g(a) = 2*a**2 - 47*a + 17. Let y be g(23). Which is bigger: r or y?
y
Let u = -2 + 12. Let p = u - 12. Let s = p - -1.98. Which is greater: s or -1?
s
Let w(z) = z**3 - 7*z**2 + 5*z + 1. Let u be w(4). Suppose 0 = -j - 4*o + 35, o - 5*o = 3*j - 89. Let x = j + u. Which is greater: x or 4/19?
4/19
Let y(x) = -x**3 - x**2 - 3*x + 2. Let l be y(-5). Let o = l - 356/3. Does -1 = o?
False
Let w = 180597/8624 + -335/16. Let y = w - -996/22099. Which is smaller: -1 or y?
-1
Suppose -107*t + 112*t = 1080. Are t and 214 equal?
False
Let m = -14.27 + 0.27. Let g = -14 - m. Let j = g - -0.1. Which is smaller: -6 or j?
-6
Suppose 0 = -w - 2 - 8. Let h = w - -13. Let c be -1*h*(-2 + 3). Which is bigger: c or 1?
1
Let q be 298 + -292 - (6*1 + 0). Let u = -21 + 13. Let i be 3/(-108)*u/3. Which is smaller: i or q?
q
Suppose -12 = -0*a + a. Let z(t) = -t**2 - 12*t + 10. Let w be z(a). Is w less than 11?
True
Let p = 2433 - 2304. Which is greater: p or 125?
p
Suppose -41 = 2*w + w - 2*z, 5*w = 2*z - 67. Let h = w + 13. Suppose 3*o + 2*o + 10 = h. Which is bigger: o or 1?
1
Suppose -5*d - 22 = y, -y - 2*y = d + 52. Let f = y + 22. Suppose -f*j = 59 - 24. Which is smaller: -6 or j?
j
Let k be 12256/(-364) + -2 - -2. Let q = k - -233/7. Does q = 0?
False
Suppose 2*o + o = w - 160, -3 = o. Is 151 at least w?
True
Let z = -9713/5 - -1900. Which is bigger: z or -43?
z
Suppose 5*c - 2 - 3 = q, q = -4*c + 4. Suppose -w = -0 + c. Which is smaller: -2/5 or w?
w
Let z be (-9)/8 - (0 - 1). Let c = -7034.1 + 7034. Which is greater: c or z?
c
Let y(g) = 4*g**2 + 4*g + 2. Let t be y(-2). Let j = -8 - -21. Which is smaller: t or j?
t
Let z(y) = -y + 1. Let s be z(0). Let q be s/(-3) + 13/3. Suppose -4*k - 5*l - 8 = 12, -3*l = -q*k + 12. Which is greater: k or 2/41?
2/41
Let y be (-9)/12 - (-5)/((-220)/(-17809)). Is y >= 401?
True
Suppose 3*z = 4 + 2. Suppose -2*w + 4 = -b, 2*b = z + 2. Suppose -4*k + 19 = w*u, 4*u + k = 6*k - 16. Does u = 1?
True
Suppose 13 = -0*a - 2*a + 5*l, 3*a + 13 = l. Let n be -15 - (-4 - 4)/a. Is -15 at most as big as n?
False
Let g = -15.58 - -14.58. Let l = 1371 - 28768/21. Let q = -3/7 + l. Which is bigger: q or g?
q
Suppose 16*w - 348 + 108 = 0. Let f = 2.3 + -0.3. Is f smaller than w?
True
Let s be (-5)/40 - (-938)/2256. Let b = 2/47 + s. Is b < 1/3?
False
Suppose 5*l = -2*f + 26, -2*f + 5*l + 26 = l. Suppose -f*p = -14*p. Is 0.05 at most p?
False
Suppose -4*y = 4*v - 10 - 6, -8 = 3*y - 2*v. Is y >= 1/51?
False
Let i = -0.07 + 4.07. Let a = 48.2 + -44. Let x = a - i. Is x <= 2?
True
Suppose -2*f = -4*f + 42. Suppose -2*b - 1 - 6 = -3*v, 4*b + f = -v. Let l be (((-3)/2)/(-3))/v. Which is smaller: l or 3/5?
l
Suppose -o + 6*o = 0. Suppose o = 2*r - 2. Which is bigger: -3/31 or r?
r
Let d be 29/3 - 1/(-3). Let t(q) = q**2 + 4*q + 4. Let z be t(-1). Suppose d*p = 11*p - z. Do p and 3 have different values?
True
Let d = -63 - -38. Let s be (2/12)/(d/(-10)). Which is smaller: -1 or s?
-1
Let q(c) = -13*c + 4. Let x be q(2). Which is greater: -10 or x?
-10
Let p = -5.8 - -34.8. Let y = 14 - p. Let l = y + 15.1. Is l at most 5?
True
Let t = -0.059 + -41.941. Let i = 26 + t. Let r = -23 - i. Which is smaller: r or 0.2?
r
Let x(s) = s**3 + 41*s**2 + 34*s - 277. Let d be x(-40). Are -39 and d equal?
False
Let i = -4.6 + 5.3. Let w = 2.7 - i. Do 5 and w have different values?
True
Let s(k) = -k**3 + 40*k**2 + 39*k - 153. Let f be s(41). Is -235 > f?
False
Suppose -15*w + 21 = 6. Is -11/48 smaller than w?
True
Let k be 0/((-10)/30*(3 - 0)). Is k greater than or equal to -1.84?
True
Let f = 354 + -354.153. Which is smaller: 1 or f?
f
Let j be (112/(-140))/((-2)/38). Which is bigger: 15 or j?
j
Suppose 2*h = 3*h + 3. Suppose 3*g - 91 = -2*j, -2*g - 2*j = -j - 61. Let t = 33 - g. Which is greater: t or h?
t
Suppose 0 = -0*p - 2*p + 10. Let f(l) = -3*l + 4. Let d be f(p). Is -11 > d?
False
Let a = 1094 + -1129. Which is smaller: -3/4 or a?
a
Suppose -k = -7 - 2. Let y be 2*1 - 24/k. Let j = 8 + -14. Which is smaller: j or y?
j
Let f = 66 + -97. Let a = 32 + f. Is 2/63 <= a?
True
Let f = -18.76 - 0.24. Let w = f - -20. Is w equal to 0?
False
Let o = 0.1 - -0.1. Let w = 0.1 - o. Let r = -6.7 - 0.3. Is r less than w?
True
Suppose -5 + 26 = -7*f. Which is smaller: f or 37?
f
Let o(x) = 31*x - 113. Let i be o(3). Which is smaller: i or 3?
i
Suppose 350 = 2*m - v, -525 = -3*m - 0*v - 3*v. Let q be m/14*(-1)/5 - -3. Does q = 29?
False
Let p be 0/6*((-14)/(-4) - 3). Which is bigger: -5/52 or p?
p
Let y(r) = -64*r - 290. Let h be y(-18). Which is bigger: h or 863?
863
Let d = 121222 + -2181421/18. Let b = 63/2 - d. Do -1 and b have the same value?
False
Let q be (-6)/(-15) + 4848/(-12420). Is q <= 0?
False
Let d(p) = 13*p + 324. Let x be d(-25). Which is smaller: x or -13/17?
x
Let i = 44 - 18. Let y = -24 + i. Which is smaller: -4/9 or y?
-4/9
Suppose 2*y = -8, -y + 131 = 6*o - o. Let u = 28 - o. Is -2/33 < u?
True
Suppose -n - n + 6 = 0. Let t be n*((-42)/9 - -5). Which is smaller: t or -3?
-3
Let d = -2027/3 - -675. Which is smaller: d or -1405?
-1405
Let u(o) = o**2 - 4*o - 21. Let l be u(8). Let b(j) = -18*j**2 + 2*j**3 - 8*j - l*j + 0*j**3 - j**3. Let p be b(19). Which is smaller: p or 8/7?
p
Let p(j) = -3*j**2 - 17*j + 7. Let o be p(-5). Is o < 21?
True
Let d be ((-2)/(-4))/(1/(-4)). Let k be (1 + d)*(-7 - -8). Suppose -3*l - 20 = 3*t + 4, 5*l = -4*t - 37. Is t less than k?
True
Suppose -3*q + 3*a = -0*q + 132, -5*q + 3*a = 226. Let o = 19 + q. Which is bigger: o or -29?
o
Let o = 1.48 + -1.28. Let f be (1 - 3/6)*-52. Let l be (-6)/(-10) + f/60