 v = 133/6 + f. Which is bigger: v or 4?
4
Let p = -22/3 + 148/21. Is p equal to 0.016?
False
Suppose m = 4*m - 2*y - 29, 0 = 3*m + 5*y - 1. Let k = -9 + m. Let f be k/13 - (-24)/(-13). Is f less than -1/2?
True
Let y be (-4)/(-18) - (-559)/117. Let s be (5 + -19)*1*y. Which is greater: -69 or s?
-69
Let p be 140732/40920 - 6/10. Let c = p + -2/341. Is 2 smaller than c?
True
Suppose 56*s + 42 = 53*s. Let o = -61 - -95. Suppose -5*p = -n - 4*n - 70, 0 = 2*n + p + o. Which is greater: n or s?
s
Let w = 61.2 + -52. Let q = 428.8 + -431. Let a = q + w. Is 1 <= a?
True
Let b(l) = 34*l. Let p be b(2). Suppose 0 = -4*x + z + p, 24 = -0*x + 2*x + 2*z. Are -1 and x unequal?
True
Suppose -116 = 5*p - 216. Suppose -60 = -3*k - 0. Is k greater than or equal to p?
True
Let u = -28 + 25.4. Let t = 1.1 + u. Let i = t - -1.7. Which is bigger: 4 or i?
4
Let r be 46603/78155 - (-5)/(25/(-3)). Which is smaller: r or 1?
r
Suppose 4*j + 36 = 4*w, 2*j + 4*w + 6 = -0*j. Let y be 5 - 2*j/(-2). Is y < -4?
False
Let b be (-12)/3846*(-1)/(-2). Is -1 > b?
False
Let n(y) = y**2 - 3*y. Let s be n(4). Suppose -28*k + 32*k = -s. Is k less than -2/5?
True
Let j be 20/4 + 2 - 2. Suppose -4 = -c, 2*z - j*z + 5*c + 10 = 0. Let q be ((-4)/6)/(1/(-12)). Do q and z have the same value?
False
Let s = -29 - -31. Let q be (-4)/12 + 1/s. Is q > -1?
True
Suppose -5*u = -2*o - 0*u + 14, -2*o + 4*u = -12. Suppose s = 3*q, 2*s - o*q = -0*s. Let p = -290 + 2615/9. Is p greater than s?
True
Let s = -68 + 106. Suppose -14*a = -16*a + s. Are a and 19 equal?
True
Let m = 0.0357 + -43.0357. Which is smaller: m or -0.5?
m
Let z = 424 - 417. Which is smaller: 8 or z?
z
Suppose -2*d - h - 57 = 0, 5*d = -h - 3*h - 147. Which is smaller: -29 or d?
-29
Let l = 1232 - 1242. Is -31 at most l?
True
Let i = -662 - -2044/3. Let c = i - 19. Suppose 2*q = 8*q - 36. Is q bigger than c?
True
Suppose 0*z - 5*z + 5 = c, 5*c + 4*z = 4. Suppose 5*d - 6 = 4. Suppose -m = -2*r + m, 5*r - d*m - 9 = 0. Is c less than r?
True
Let r(z) = 8*z - 3 - 4*z**2 + 2 + z**2 + 2*z**2. Let c be r(10). Let s = c + 13. Which is smaller: s or -7?
s
Let s = 1977 - 128514/65. Is 1 greater than s?
True
Let b(j) = j**2 - 6*j + 4. Let d be b(2). Let c be (d/(-102))/((-4)/(-12)). Which is bigger: 1 or c?
1
Let x be (-32)/48 - (-1496)/(-6). Is -250 not equal to x?
False
Let x(n) = -n + 8. Let o be x(3). Suppose -7 + 10 = -r - o*g, 5*g - 14 = -2*r. Which is smaller: r or 15?
15
Let g be (-4)/11128*(-1)/((-4)/8). Are g and -1 unequal?
True
Let c = -293 + 289. Which is smaller: -10 or c?
-10
Suppose -a - 1 = 4*p - 12, 4*p = -5*a + 39. Suppose s = -a - 2. Is s <= -8?
True
Let z be 60/8*(-1)/((-6)/(-8)). Let k(r) = -r**2 - 10*r - 3. Let w be k(z). Is w greater than -13/4?
True
Suppose 5*j + 4 = -a + 2*a, -2*a - 4*j = 48. Let o be (a/20)/((-3)/90) + -3. Which is smaller: o or 20?
20
Let f = 24 + -23. Which is bigger: 2/1283 or f?
f
Suppose 80 = -z + 74. Let k be z/(-14) + (-5)/((-2310)/(-513)). Is -1 at least as big as k?
False
Suppose -4*s - 3*p = -134, -p = -4*p + 6. Is 32 greater than or equal to s?
True
Let u(h) = -1249*h**3 + 3*h**2 + 5. Let p be u(-7). Let m = p - 92997509/217. Let c = 6/31 - m. Do c and 2/7 have different values?
True
Let c = -517/7 + 3011/42. Let q = 3 - 5. Which is smaller: q or c?
c
Suppose -5*v + 2*n - 40 + 38 = 0, 0 = -2*v + 4*n - 4. Which is greater: v or -1/83?
v
Let i = 84 + -82. Let r = -5 - 0. Let f = r + 5.4. Which is smaller: i or f?
f
Let u(d) be the third derivative of d**5/60 - d**4/24 + d**3/6 + 4*d**2. Let q be u(1). Let b = 7 + -6. Is q <= b?
True
Let k = 23 - 27. Let p be (-3)/2*k/3. Let u be p - (-40)/(-12) - -1. Is u at most -5?
False
Suppose -o + 5*b + 159 = 0, -33 = -o - 3*b + 118. Suppose 85*p - o = 87*p. Is p equal to -77?
True
Let q be (-4)/(16/2) + 0. Let b be (-2)/8 - (-141)/(-12). Let t = b + 11. Which is greater: t or q?
q
Suppose -4*n + 120 = 2*n. Suppose -n*p = -21*p + 12. Let v be (4 - 440/108)*p. Which is greater: v or 0?
0
Suppose 0 = -a + 2*k - 4, 11*k = 2*a + 6*k + 9. Is -0.241 != a?
True
Let t = -32988/11462609 - -2/15767. Is t less than or equal to -1?
False
Let s be ((-17280)/3726*6/(-5))/(-1). Is s > -6?
True
Let p be (5 - 25)/4 - 51/(-9). Which is smaller: 9/7 or p?
p
Let h = 3.48 + -3.88. Which is smaller: 56 or h?
h
Let z(i) = -i**2 + 7*i - 8. Let d be z(9). Let n be (5*4/10)/d. Let u(v) = v - 7. Let m be u(8). Is n > m?
False
Let w = -49 + -26. Let s = w + 75.4. Is -15 at most as big as s?
True
Suppose -l + 20 = 3*n + 3*l, -n - 3*l + 10 = 0. Suppose -4*m + 0 = -n. Suppose 0 = -2*p + 9 + m. Is 2 at least as big as p?
False
Let f be 2/(-6) - 1/(-3). Let x = -74 + 78. Suppose 10*p = -x*p + 14. Is p < f?
False
Let q be (-18)/24*464/(-9). Let v = 974/21 - q. Is v equal to 8?
False
Let j(g) = g**2 - 3*g - 3. Let t be j(4). Suppose 0 = 2*d + 3*o + t + 17, 4*o = -d - 9. Which is smaller: -1/3 or d?
d
Suppose 0 = -5*i + 23 - 3. Suppose -4*x - 7 = 5*k, -3*x + 8 = 5*k - i*x. Is k bigger than -3/47?
True
Let h be -15 + 1 + (-7 - -7). Let i = h + 17. Suppose t + 2*r = -i*r - 7, -t - r + 1 = 0. Which is bigger: t or 11/3?
11/3
Let k(n) = -30*n + 479. Let c be k(36). Is -603 at least c?
False
Let i = 0.26 + -0.3. Let d = -282.6 - -280.6. Which is smaller: i or d?
d
Let w be (5/(-15))/(3*(-2)/32). Let c be 4/26 - 388/(-13). Let o be (-18)/c*(1 - 6). Is o bigger than w?
True
Let w(u) = u**3 + 5*u**2 + 2*u - 2. Let n be w(-3). Suppose -2*m + 6 = -0*m + 3*s, -2*s = 3*m - 9. Is n > m?
True
Let y(l) = 2*l**2 + 23*l - 30. Let k be y(-13). Suppose -p + 54 = 3*u + 3*p, -2*p = 5*u - 104. Let x = -12 + u. Is x at least k?
True
Let c = -337.02 + 331. Let i = -0.02 - c. Let d be 16/6 + (16184/(-51))/56. Which is smaller: i or d?
d
Let c = -6604/9 + 733. Suppose 2*r + 0*r = -2. Is r smaller than c?
True
Let g = 181 + -113. Let f = 68 - g. Which is smaller: 14 or f?
f
Suppose 3*r - 13 = 14. Let j = 12 - r. Suppose 3*b - 6 + 3 = 4*u, j*u + b = 1. Which is bigger: u or -10/7?
u
Let x = 448 - 448.3. Let h = 1.6 + -0.8. Let u = 0.2 + h. Are x and u non-equal?
True
Suppose 0 = 49*l - 40*l. Are l and -2/99 equal?
False
Let m = 14.156 + 0.144. Suppose -2517 = 13*r - 2530. Which is smaller: m or r?
r
Let a = -612 - -619. Which is smaller: 10 or a?
a
Let q = 19.5 - 19.6. Are -37 and q equal?
False
Let q be 1 + 4/(-22) + (-7141)/(-132). Let r = q - 55. Which is smaller: r or -1?
-1
Let q be (3 + -2)*3 - 2. Suppose 2*y - 24 = -8. Let c be 4/35 - y/(-28). Which is smaller: c or q?
c
Let g = 321.11 + -323. Which is smaller: 2/7 or g?
g
Let o = -52.5 - -54. Let u = -2 - -2.5. Let v = u - o. Is v greater than or equal to 2?
False
Let v(m) = -2*m**3 + 2*m. Let f be v(-2). Let b be (2 - 22/(-3)) + -37 + 41. Which is greater: b or f?
b
Let l = 68 + -54. Let x be (-4)/8 + 7/l. Is x at least 1/2?
False
Suppose l = -2 + 6. Suppose d - 5*h - 22 = 0, -l = 5*h + 6. Let q be (4/(-30))/(d/18). Is q less than or equal to -3?
False
Let i = -17 - -14. Let n = i - -2. Let d be (-2)/4 - (-1)/2. Which is smaller: d or n?
n
Let p = -1338 - -1337. Is -2/215 <= p?
False
Let u be ((-3)/(-3))/((-14)/2912). Is -209 less than u?
True
Let t(z) = z**2 + 25*z + 273. Let b be t(-19). Which is bigger: 157 or b?
b
Let f = -0.853 + -4.147. Which is greater: f or 65?
65
Let i(c) be the first derivative of -c**4/4 + 2*c**3 - c**2 + 13*c + 1. Let q be i(6). Which is smaller: q or -1?
-1
Let z = -0.123 - -0.006. Let w = z + 0.017. Is -0.6 not equal to w?
True
Suppose 4*f - 51 + 15 = 0. Let m be (f/(-4))/(4/16). Which is smaller: m or 0.2?
m
Suppose 5*s + 2*c = -40, 3*s + 88*c + 23 = 87*c. Let p be ((-2)/(-4))/((-1)/10). Which is bigger: s or p?
p
Let l(c) = c**2 - 5*c - 105. Let v be l(14). Which is greater: 2 or v?
v
Suppose 0*g = -5*g. Suppose 5*t = 3*a - 0*a + 9, -5*a - 3*t + 19 = g. Which is bigger: 5/6 or a?
a
Let h = 58084/63 + -922. Let g be (-1 + 15/10)*(-2 - -4). Is h at most g?
True
Suppose 7*a = g + 2*a + 11, 5*a = -4*g + 31. Let x be 4 - (g - (15 - -1)). Is x at most 14?
False
Suppose 2*k + 3 = 3*k. Let w be (-2499)/900 + k - (-3)/(-12). Is w smaller than 1?
True
Let c be (-2)/(-19) - 2915/(-1007) - 4. Let b = 144 - 4033/28. Which is greater: b or c?
b
Let h(b) be the first derivative of 3*b**2/2 - 19*b + 6. Let z be h(7). Suppose 3*x = 3*y