et g be j(n). Which is bigger: g or 0.2?
0.2
Let t = 15 - 136/9. Let r be ((-5)/15 - -1)/(2/51). Let s be (16 - r)*-1*1. Is s greater than or equal to t?
True
Let c(a) = 48*a - 19. Let p be c(13). Let u be p/22 - (-1)/2. Is 3 not equal to u?
True
Suppose -u - 16 = 4*k, 6*u - 25 = k + u. Which is smaller: 1 or k?
k
Let f be 2/(-12) + (-1312294)/(-69180). Let p = f + -3/1153. Let j = p + -18. Do j and 2 have the same value?
False
Let p = 1.6 + -23.6. Let i = 29.26 - 5.26. Let d = p + i. Is -3/4 at most as big as d?
True
Suppose 12*g = g. Let w = -801/5 + 161. Which is smaller: w or g?
g
Suppose -2*o = 266 + 1316. Which is greater: o or 0.1?
0.1
Let p = 191.8 - 192. Which is bigger: p or -389?
p
Let w = -6 + -6. Let g be 33/(-5) + (-2)/5. Let p = -19 - g. Is w less than p?
False
Let x be (1 + -7)*(153/189)/(-17). Suppose 0 = -4*h - h - 15. Let s = h + 11. Is x greater than or equal to s?
False
Let k be 81/70 - ((-50)/525)/(3/(-27)). Suppose 1 = 4*t - 3*z, -4*z + 4 = 3*t - 3. Is k less than t?
True
Let i be (16/(-692))/((-20)/2). Which is greater: i or -1?
i
Let c = -282 + 395. Suppose c = 5*w + 3*s - 322, w - s - 79 = 0. Is w <= 84?
True
Let c = -3130 - -663557/212. Are 1 and c equal?
False
Suppose 14 = 6*j + 554. Is -89 != j?
True
Let n = -35 - -17. Let t be 0 + (-8 - -2 - -10) + -23. Which is smaller: t or n?
t
Suppose -4*b + 14 = 3*b. Let r be 0 - 1/b*86. Which is smaller: r or -42?
r
Suppose -6*g = -240 + 60. Suppose 5*a + g = -0*a. Let w = -0.3 - -0.1. Which is greater: w or a?
w
Suppose 4 = -4*t - p + 26, -4*p + 33 = 5*t. Let h be -688 + (3 - 2)*1. Let s = 2080/3 + h. Is s <= t?
False
Let f = 0.04 + -1.04. Let w = f - 0. Let r = -5.12 + 5.2. Which is smaller: w or r?
w
Let y be -8 + (-153176)/(-21880) - -1. Is y less than or equal to 0?
False
Suppose 3*h + 5*s + 20 = 0, 5*h + 0*s = 2*s + 8. Let f be (6/5)/(h + 2). Is 0.1 less than or equal to f?
True
Let o = -7/8135 + 1400854/8135. Let h = o - 169. Is h smaller than 4?
True
Suppose -3*b = 4*f - 75, -5*f + f = 5*b - 69. Let q = 21 - f. Let d = -6/7 - -47/63. Which is smaller: q or d?
d
Let i = -32.46 - -24.46. Which is smaller: i or 2/31?
i
Suppose 16*n - 13*n + 195 = -3*r, -r + 2*n - 68 = 0. Let y = -225 + 160. Which is bigger: y or r?
y
Let y be (184/24 + -7)*(0 - 3). Let g be (6 - 3)*((-4)/(-3))/y. Which is bigger: g or -28/11?
g
Let g = -1699 - -1700. Are g and -25/62 equal?
False
Suppose -2*b + 3*u = -73, -b + 23 = 4*u - 8. Suppose -8 = -5*l + 5*j - 43, -4 = l - 2*j. Let v be (-21)/b - (-74)/l. Is -6 greater than v?
True
Let h = -47 - -25. Let m = 19 + h. Is m smaller than -5?
False
Let z = -451 + 1181. Let n = -1427/2 + z. Let u = 24 - n. Which is smaller: 9 or u?
u
Let z = 3.133 - 3.1. Let w = 4.967 + z. Which is smaller: 5/4 or w?
5/4
Suppose -52*v - 23157 = -8389. Which is bigger: v or -285?
v
Let n = -5.26 + 4.96. Is 68 < n?
False
Suppose -t = -0*d + 2*d + 14, -35 = 3*d + 5*t. Suppose 5*q - o + 30 = 0, o - 10 = -o. Let k = -10 - q. Is k < d?
False
Let v be 1/(-3) - 37/(-3). Let y = 28 - v. Let a be 2/(-14)*(-15 + y). Which is smaller: -0.1 or a?
a
Let p = -107 - -751/7. Let q = -10.14 - -4.1. Let d = q + 0.04. Is d < p?
True
Let c(x) = -x**2 + x - 4. Let v be c(0). Let s = -227 - -230. Let t be v/((14 - s) + 2). Which is greater: 1 or t?
1
Let w = -46559/2356 + 7/589. Is -20 greater than or equal to w?
False
Let p = -0.0444 - 41.1556. Let n = -41 - p. Is -15 at least as big as n?
False
Let v be (10/30)/(5755/15). Which is smaller: v or -1?
-1
Let u be (-120)/(-54) + (-2)/9. Suppose -390 = 4*k + u*k. Let a = k - -389/6. Is -1 at least as big as a?
False
Let m = 1746/5 + -349. Which is smaller: 4.2 or m?
m
Suppose 42*a = 47*a - 105. Is 261/13 bigger than a?
False
Let u = -13411/6 - -2235. Let g = 2 - 1. Which is bigger: u or g?
g
Let p = 2/47 - -137/94. Suppose 5*t - 5*i - 15 = 0, 5*t = 8*t - i - 7. Is t at most as big as p?
False
Suppose -6 - 6 = -3*l. Suppose 2*r + k - l = -0, -r - 2*k = -2. Which is bigger: 1/2 or r?
r
Let v = -14.3 - -16. Let p = v - -0.3. Do p and 2 have the same value?
True
Let f be 3 + 5*(-9 + -3). Let u be 6/(1/57*-6) - 0. Is u < f?
False
Let x be (5/2)/((-9)/(-90)). Suppose -a + 6*a = -x. Which is bigger: a or -4?
-4
Let n be 102 - ((-4)/(-14) - 45/35). Let s = n + -86. Are 1 and s nonequal?
True
Let n be (4/(-6))/(11/231). Let m = 20 + n. Suppose -5*a - 5*k = -5, -m = a + a + 4*k. Is a at least as big as 4?
True
Suppose -4*p + p = 0. Let h = 0 - p. Suppose -3*r + 2*r - d - 4 = 0, 3*r = d - 4. Which is smaller: r or h?
r
Let s be (1 - 35/30)*-18. Let w be -1*(-9)/6*-2. Let k be w/(-2 - -4 - s). Which is greater: 5 or k?
5
Let o(j) = 2*j + 15. Let u = -97 - -88. Let p be o(u). Let l = 2 - 2.1. Which is smaller: p or l?
p
Let q = 663.99 + -664. Which is smaller: q or -83?
-83
Let d = -60 - -63. Let c be d + (3 - (-60)/(-9)). Which is greater: 38 or c?
38
Let t = 59.4 + -60.4. Which is bigger: -7/2 or t?
t
Let l = 11 + -6. Suppose 5*y = 3*z + 152, l*z - y = -6*y - 200. Is z greater than -44?
False
Let d = -354 - -286. Is -69 < d?
True
Suppose 0 = -5*r - h + 14, 0*h + 12 = 2*r + 2*h. Suppose 0 = -r*t + 6 + 4. Suppose -2*s - 3 = 3*z, 3*s - s + t = -5*z. Is z <= -1?
True
Let v = -98.47 - -98. Let c = 0.33 - v. Which is greater: c or 1?
1
Let c(k) = k**3 - 8*k**2 + 9*k - 12. Let v be c(8). Let r = v + -61. Is r at least as big as 5/17?
False
Let b be ((-2)/11 - 1) + 110/605. Let u be 4/20*b - (-72)/(-10). Which is smaller: -7 or u?
u
Suppose 12*x = -465 + 69. Is -34 bigger than x?
False
Let l = -77/3 + 841/33. Does 1/25 = l?
False
Let y be ((-16)/(-100))/((-4)/(-1810)). Let x = y - 71. Is 0 at most x?
True
Suppose -5*j + 2*x + 10 = 0, -3*x - 5 = 10. Let n be (-4)/10*(-1)/(-12)*10. Which is greater: n or j?
j
Let b(o) be the first derivative of -o**4/4 + 8*o**3/3 + 7*o**2/2 + 2*o - 19. Let h be b(9). Which is smaller: -8 or h?
h
Let b = 11936/5 + -2388. Which is smaller: -66/5 or b?
-66/5
Let x(g) be the first derivative of g**4/2 + 5*g**3 + 5*g**2 + 7*g + 18. Let f be x(-7). Is f != -12?
True
Let v(p) = p + 7. Suppose 0 = -2*i - 2*s - 2, 2*i - 5*s + 49 - 12 = 0. Let g be v(i). Let c be 9 + -7 + 1 + -3 + 1. Is g smaller than c?
False
Let c = 3461/1848 - -1/462. Is 3 smaller than c?
False
Suppose 0 = 12*j - 20*j - 16. Let k be 2/1*j*4/16. Are k and -15/17 equal?
False
Let i = 5039194333175620198/3758294978385 - 91/21787217266. Let f = i + -1340819. Let j = f + 2/69. Which is smaller: j or 0?
0
Let d be (0 - 5)/25 + (-3)/35. Does 1/6 = d?
False
Let k be -5*(-12)/((-480)/(-2152)). Which is smaller: 270 or k?
k
Let c = 37.28 + -0.28. Let x = -38 + c. Is -1 less than or equal to x?
True
Let y = 4 - 6. Let n be (-14)/(-10) + 22/(-55). Let v be 2 + n - 10/2. Is y at most as big as v?
True
Let g = 4 - -7. Let k = g - 19. Let i = k - -10. Are i and 0 non-equal?
True
Let y = 24 + -48. Let j = y - -30. Let m be j/2 + (-200)/70. Is m at most 0?
False
Let d be (-38)/(-34) + 0 - 1. Let q = 19 - 18. Let t be q - 1 - (-4 - -4). Is d < t?
False
Suppose 23 - 3 = -5*n. Which is greater: n or -14/5?
-14/5
Suppose 0 = -8*c + 4*c + 8. Let q be c + 243/(-78) - -1. Are 0 and q unequal?
True
Suppose 0 = b + 6 - 1. Let t be 12*(-2 - b/2). Let l(d) = -d**2 + 7*d - 7. Let f be l(t). Are 2/11 and f unequal?
True
Let h(v) = 11*v**2 + 67*v + 5. Let p be h(-6). Which is smaller: p or 17?
p
Let f = -13 - -14. Let l(x) = x**3 - 2*x**2 + 1. Let a be l(f). Let v = -10 - -10.4. Is a less than v?
True
Let b = 286 + -172. Let r = 563/5 - b. Let q = 92/55 + r. Is q bigger than 1?
False
Let j = -177301829767445069/1118511 - -158515946439. Let l = j + -2/6541. Which is smaller: -1 or l?
-1
Suppose 0 = -2*p + p + 19. Let c be p*4/(-28) - -3. Is 14 >= c?
True
Let c = -612918447/4849 - -126401. Which is smaller: c or 0?
0
Let h be (1 + 74/(-8))/((-21)/56). Which is smaller: h or 23?
h
Let j = 15/26 + -1007/78. Do j and -12 have different values?
True
Let d be (-122967)/897 + 2/23. Does d = -138?
False
Let z(t) = t**3 + 14*t**2 - 15*t - 41. Let k be z(-8). Which is smaller: 462 or k?
462
Suppose -4*q = 2*y - 2, -2 = 5*q - 3*y + 1. Suppose q = 4*d + 69 + 27. Which is smaller: d or -23?
d
Suppose -2 = 2*f - 5*a, -4*f + 9*f + 5*a = 30. Suppose 0 = 3*m + 3*z - 12, -f*z + z + 16 = -m. Let j be (9*-2)/(-3 - m). 