ich is bigger: -3 or v?
v
Let r be (-12)/200*(-115)/(-18). Let p = r + 7/12. Let d(x) = -x**2 + 6*x + 7. Let f be d(7). Is p bigger than f?
True
Let u be 9*(-2)/36*-3. Is u at least as big as 2?
False
Let f be ((-9)/25)/(48/(-160)). Let u = 1 + 0. Which is smaller: f or u?
u
Let a = 1.69 + -1.8. Is -1 greater than or equal to a?
False
Let v be (-14)/(-28) + 14/4. Suppose 4*q - 19 + 3 = 0. Is q > v?
False
Let f be (-2)/(-2) + -3 + 0. Let d be ((-4)/6)/(f/3). Let m = -4 - -4. Does m = d?
False
Let f be 0 + 0 - (-981)/(-30). Let y = f - -67/2. Suppose 2*j - 3*n = -j - 12, j - 16 = -4*n. Which is smaller: j or y?
j
Suppose j - 31 = 4*t, -4*t - 16 = 4*j - 0. Which is greater: -6 or t?
-6
Let h = -0.028 - -0.028. Suppose 3*f = -4*d + 72 + 3, 2*f + 65 = 5*d. Let s be (-1)/d*15/(-6). Which is smaller: h or s?
h
Let z = -3/52 - 35/13. Do z and -0.1 have different values?
True
Let s = -9 - -12. Suppose -x + 4*q = 19, -2*x - 3 = -0*q - q. Let b be (x/s)/(14/12). Is b at least as big as 1?
False
Let q(h) = 8*h + 17. Let f be q(-2). Which is bigger: f or 2?
2
Let w = -29 + 45. Suppose 11*k - 13*k = w. Are 2 and k nonequal?
True
Let x = 0 + 0. Suppose x*g + g = -3. Let b(w) = -2*w + 4. Let u be b(3). Which is smaller: g or u?
g
Let c be 2 + -7 + 1 - -3. Are c and -8/7 nonequal?
True
Let q = -348251 - -59202299/170. Let k = q - -13/34. Which is bigger: -1 or k?
-1
Let l = -59 + 535/9. Let r = -1/9 + l. Is r greater than or equal to -1?
True
Suppose 3*r + 9 + 39 = 0. Let i be ((-9)/12)/((-2)/r). Is -6 at most as big as i?
True
Let v(t) = t**3 + 16*t**2. Let d be v(-16). Is 2/13 greater than or equal to d?
True
Let y(d) = -5 + 3 + d**2 + 2 - 1. Let t be y(1). Which is smaller: 1/6 or t?
t
Let p be 1/(3 + 17/(-6)). Let m(g) = g - 2*g + 0 - 1. Let w be m(-6). Is w smaller than p?
True
Let q = 41 + -35. Which is bigger: q or 5?
q
Let h = 6.2 - 2.2. Which is bigger: h or 2/17?
h
Suppose 0 = -3*d, 4 = 4*w - 6*w + 5*d. Let x = -19 - -16. Is x > w?
False
Let u(w) = 3*w + 4. Let r(t) = 4*t + 4. Let v(m) = 4*r(m) - 6*u(m). Let n be v(-4). Which is bigger: n or -6/7?
n
Suppose 5*m - 16 = 4*m. Suppose -x - 3*o - m = -5*o, -5*x - 20 = 2*o. Is x >= -5?
False
Let z = 0.2 - 0.16. Let a = 0.96 + z. Which is smaller: 1/7 or a?
1/7
Let j = 1 + 4. Let y = 3 - j. Which is smaller: y or -1?
y
Let r be 3 + -2 + 3 + -3. Which is greater: r or -1/51?
r
Suppose -4*t - 5*y + 4 = 0, 0*t + 3*y + 36 = 4*t. Suppose 5*v + 2*l = t, 4*l = -2*v + 8 + 4. Let f be (-1)/((v - -2)/6). Which is greater: -0.1 or f?
-0.1
Let j be (6*2/(-8))/(12/(-16)). Are j and -2 nonequal?
True
Let t be -2*3*(-2)/108. Let u = -2/63 - t. Which is smaller: 1 or u?
u
Let p = 13/25 - 3/25. Are p and -0.29 nonequal?
True
Let b(a) = -a - 3. Let t be b(-7). Suppose -t*y - 2 = -2*r + 4, 2*r + 12 = -5*y. Is r bigger than -2/9?
False
Let f be 15/12 - (2/(-8))/(-1). Let n be 2/(-4) - 7/(-2). Let l = n + -2. Is f greater than or equal to l?
True
Let p = -16 + 10. Let s(j) = 3*j + 15. Let f be s(p). Which is greater: -4 or f?
f
Let l = 87/77 - 6/7. Is l smaller than -1?
False
Suppose -3*c = -b - 4, c + 2 = 5*b - 6. Suppose 0 = b*z + 2. Which is bigger: -3/14 or z?
-3/14
Let k = -21 - -27. Which is bigger: k or -2?
k
Let z = -8/7 + 41/42. Which is smaller: z or 0?
z
Let p be 47/4 + (-5)/(-20). Is p smaller than 13?
True
Let t be 14/(-49) + ((-846)/(-21) - 1). Does t = 39?
True
Let g = -5 + 18. Which is smaller: g or -0.1?
-0.1
Let a = 115/3 - 38. Let j = -785/9 - -87. Is j > a?
False
Let u = -109934/493545 + -22/7593. Let a = u - -1/39. Let n be (1/3)/(2/6). Is a < n?
True
Let s = -88/95 + 10/19. Is s bigger than -0.54?
True
Let a(m) = 3*m**3 + m**2. Let o be a(-1). Let d be 294/(-168) + (-2)/8. Is o at most d?
True
Let y be ((-3)/(-5))/(2/10). Let p be 4 + (-9)/(y + 0). Which is smaller: 0 or p?
0
Let a(y) = y + 3. Let d be a(-5). Let k = 1 - d. Which is smaller: k or 1?
1
Let z = 614/5 + 2288/15. Let b = z - 273. Which is smaller: 3 or b?
b
Let w(v) = 5*v**3 - 12*v**2 + 15*v + 9. Let z(u) = 3*u**3 - 8*u**2 + 10*u + 6. Let m(y) = -5*w(y) + 8*z(y). Let x be m(-5). Is x >= 13/5?
True
Suppose 4*j + l - 4*l = -21, 20 = -4*l. Which is greater: -7 or j?
-7
Suppose h - 2*h + 2*u + 24 = 0, -3*u - 24 = -h. Suppose 2*p = 5*p - h. Let l = p + -7. Is l at most 2?
True
Let s = -6 + 10. Suppose 3*j - 2*u - u = -3, -j + 7 = u. Suppose -6*n - 9 = -l - 2*n, -s*n - j = -3*l. Is l at least 0?
False
Suppose -2*n = n - 9. Let d be (-5)/2*n/15. Which is smaller: -5/4 or d?
-5/4
Let i be ((-14)/(-15))/((-12)/1605). Let w = -124 - i. Are w and 1 non-equal?
True
Let x be 335/(-25) - (-2)/5. Is -14 greater than or equal to x?
False
Let f(h) = h**3 + 6*h**2 - 2*h + 3. Let n be f(-6). Is 16 <= n?
False
Suppose -4*a + 4*s = a + 36, -s = 3*a + 8. Let p be (-13)/a - 3/12. Do 3 and p have different values?
False
Suppose -5*r = 5 - 0. Let w be 29/(-10) - (-4)/(-10). Let h = 251/70 + w. Which is smaller: h or r?
r
Let j be ((-2)/6)/((-1)/(-3)). Let u be -6 - -4 - 92/(-44). Are j and u non-equal?
True
Let b be 1/(-1)*40/8. Is b less than or equal to -3?
True
Let j = -61 - -64. Let i = -275/3 + 94. Are j and i equal?
False
Let c = -0.624 + 5.684. Let h = c + -0.06. Let l = h + -5.2. Is -1 <= l?
True
Let a = -8 + 12. Suppose a*k + 5 = -k. Which is smaller: -2/5 or k?
k
Suppose -x - 8 = -3*x. Suppose -q = -x + 1. Is 2 smaller than q?
True
Let h be 1/3 - (-124)/6. Let m be (3/h)/(0 - 1). Which is smaller: m or -1?
-1
Let t(s) = 2*s - 3 + 2 - 3*s. Let y be t(-5). Let r = y + -3. Which is greater: 3/5 or r?
r
Suppose 0 = -a - 6 + 4. Let s be 3/(-6) + a/4. Which is smaller: -1/3 or s?
s
Let u(k) = k + 8. Let c be u(-5). Is 3 greater than or equal to c?
True
Let c be (0 + (-1)/(-17) + 0)*-1. Which is bigger: c or -1?
c
Let x = -3 + 4. Let s(d) = -d**2 + 3*d - 3. Let w be s(2). Is w < x?
True
Suppose -15*m - 3*m = -54. Which is bigger: m or 4?
4
Suppose 0 = -5*o + 2*n - 20, 14 = 2*o - o - 4*n. Let x be 2/9*o/4. Let h be -1*(-14)/6 + -2. Is x != h?
True
Suppose -k + 5*d + 1 = 0, 2*k - 2 = 2*d - 0. Let h be 6/40*-5 - 74/(-56). Are h and k equal?
False
Let r = -0.595 + 0.195. Which is smaller: -29 or r?
-29
Let q(m) = 5*m + 59. Let g be q(7). Is 95 less than g?
False
Let a be -3 + (-1 - 147/(-36)). Is a at least as big as 1?
False
Let b = -160 - -164.07. Let a = 0.07 - b. Which is smaller: a or 2?
a
Let h = -18 + 11. Which is greater: h or 0.1?
0.1
Let j(o) = -o**3 + o**2 + 3*o - 2. Let z be j(-4). Suppose g - 7*g = -z. Is 12 > g?
True
Suppose -4*l - 27 = -3*r, 4*l = -r - 5 - 2. Suppose 2*s - 3*q - 2 = -23, -2*s - 1 = q. Do l and s have the same value?
True
Let c = -0.032 - -0.432. Which is greater: -14 or c?
c
Let u = -50 + 49.82. Is -2 at least as big as u?
False
Let o = -1948/34669 - -2/937. Which is smaller: o or 1?
o
Let s = 0 - -2. Let u be s + 3*(8 + 2). Suppose -5*q + u = -4*i, 4*q + 3*i - 28 = 7*i. Which is bigger: q or 3?
q
Suppose 2*m - 20 = -5*a + 4, -5*a = m - 22. Suppose -3 = a*j + 5. Let u = -533/1058 + 2/529. Do u and j have different values?
True
Let f = 7.09 + -0.13. Let n = 0.04 + f. Are -2/5 and n equal?
False
Let c = 2179/3 + -750. Let t = c + 361/15. Let g = 16 - 20. Which is smaller: t or g?
g
Let b(i) = i**2 + 8*i + 9. Let s be b(-6). Let r(g) = g**2 + 5*g + 2. Suppose 0*d = 2*w - d + 3, 37 = -3*w - 5*d. Let v be r(w). Does v = s?
False
Let k = 0.23 + -0.43. Is k greater than -8?
True
Let f be ((-9282)/(-264))/17 + (-3 - -1). Is f at least 0?
True
Suppose -3*t = -2*t - 5. Is t > 4?
True
Let p be 18/(-2)*(-1)/3. Let t be -3*(p - (-4)/(-2)). Let i be t/12 - 1/(-4). Which is smaller: i or -1/3?
-1/3
Let s = -210682 + 7373076/35. Let c = s - -112/5. Let l = -0.4 - -0.3. Is l bigger than c?
True
Let p = 0.76 - 1. Let j = p + 0.04. Let z = -0.3 - 0.7. Is z at most as big as j?
True
Let q(u) = -u**2 - 2*u + 10*u + 1 - 7 - u. Let j be q(6). Are -1/24 and j unequal?
True
Let a = 0.21 + -0.22. Let n = -0.41 - -0.5. Let c = n - a. Which is bigger: c or 7?
7
Let w be 0 + 0 - (-3)/(-3). Let v(d) = -2*d - d**3 + 0 - 1 + 0*d**3. Let n be v(w). Which is smaller: n or 3?
n
Let s be 3/6*(2 + 0 + 68). Which is smaller: 36 or s?
s
Let c = 0.45 + -6.45. Which is smaller: 4 or c?
c
Suppose -6*j + 43 = -3*j + y, 2 = 2*y. Let v be 58/42 - (-4)/j. Let t be 2/2 - 0/(-9).