 361.049. Which is smaller: j or g?
g
Let p be (-81)/(-18)*4/(-75). Are 0 and p nonequal?
True
Let l be (-2)/5 - (3 - 3). Which is bigger: -51 or l?
l
Let a be (2/(-5))/((-3)/60). Let q be 4/a + (-42)/(-4). Let f = 10 - q. Is -1/2 not equal to f?
True
Suppose 9 = b - 13. Suppose 4*r = 6*r + b. Which is smaller: r or -9?
r
Suppose 95 = -5*i - 14*i. Is i equal to -8?
False
Let p be (63/(-30) + (-2)/5)*2. Let r be p/(-40) - 9/328. Which is bigger: 0 or r?
r
Let t = -15602/2563 + -22/233. Which is greater: t or -6?
-6
Let y(v) = -2*v**2 - 40*v - 37. Let m be y(-21). Let f = -77 - m. Let l be (-2 - -2)/(-1 + 3). Is l smaller than f?
True
Let d(k) = -52*k - 71. Let a be d(-3). Which is smaller: -1 or a?
-1
Let a = 8 - 3. Suppose 3*q + 3 - 6 = 0. Suppose 0 = -18*z - 17 - q. Which is greater: z or a?
a
Suppose 20*g - 26*g = -48. Suppose 4*l - 2*l - 28 = -5*h, 5*h = -4*l + 36. Is l >= g?
False
Let q(u) = 4*u - 9. Let t be q(3). Let v be (9 - 8) + 11/t. Is 6 >= v?
True
Let b = -1 + 1.1. Let t = 657 - 656.52. Which is greater: b or t?
t
Suppose -3*s + 26 = 2*l + 2*s, 5*s = 20. Let z be 2*(3/(-15) - -2). Is z >= l?
True
Suppose 0 = 7*v - 3*v + 2*y, 5*v + 4*y + 3 = 0. Let c = -464/7 + 66. Which is bigger: c or v?
v
Let z be -1 - -24 - (-3)/(-1). Suppose -5*b + 4*l = z - 55, l + 2 = -b. Suppose b*n = i - 0*n - 16, 4*i = 2*n + 14. Which is bigger: i or -2?
i
Let n = 83/924 - 11/28. Which is greater: -1 or n?
n
Let i(t) = 17*t - 22*t + 3 + 1. Let z be i(1). Do z and 2/119 have the same value?
False
Let r(o) = -2*o**2 - 20*o + 2. Let z be r(-11). Which is smaller: -19 or z?
z
Let l(r) = r**2 + 7*r - 17. Let k be l(3). Let t(d) = d**3 + d**2 - 3*d - 1. Let p be t(3). Suppose -5*u = -44 - p. Which is greater: u or k?
u
Suppose -33 = -2*s - s. Let y = 6 - s. Let w be 10/34*2/y. Is 0 < w?
False
Suppose 666*g = 673*g - 77. Let i(z) = -1. Let k(l) = l + 10. Let m(y) = 3*i(y) + k(y). Let q be m(5). Is q at least as big as g?
True
Let n = -1.3 + 4.3. Let u = -7 - n. Let d = -12 - u. Which is greater: d or -0.2?
-0.2
Let h = 29 - 44. Let f = 0.53 + 0.47. Is f >= h?
True
Let h(k) = -5*k - 4. Let i be h(0). Which is smaller: i or -37/8?
-37/8
Suppose 0 = t + 4*d - 315, 1518 = 5*t - 0*d + d. Which is bigger: 301 or t?
t
Let s be (-5 - 5)*458/(-4). Which is bigger: 1144 or s?
s
Let p(n) = n**2 - 6*n + 4. Let f be p(5). Suppose 39*g = 40*g - 1. Let a = g + f. Is a greater than or equal to 6/7?
False
Let c be -3 - 82*2/(-52). Suppose -6 = -n - 0. Suppose 3*s = n*s. Are s and c unequal?
True
Let p(z) = z**3 + 6*z**2 - 14*z + 17. Let v be p(-8). Let f be (-2)/6 + (-32)/(-114). Which is greater: v or f?
v
Let h(n) = -8*n - 33. Let f be h(-4). Are f and -16.7 unequal?
True
Suppose 15 = 5*p + m, -m = -2*m + 5. Let t = -74 + 37. Let o = t + 35. Which is smaller: p or o?
o
Let i be 4/(-25)*10/12. Which is smaller: -1 or i?
-1
Suppose 0 = -q - 6 + 15. Let j = -16 - -26. Which is smaller: j or q?
q
Let c = 0.56 - -35.44. Let t = c + -42. Which is greater: t or 1/2?
1/2
Let g = 17 + -17.032. Let c = g - 4.268. Let v = 0.3 + c. Which is bigger: v or 1/3?
1/3
Let z = 65.7 - 71. Let f = -0.03 - 5.97. Let n = z - f. Which is bigger: n or 0?
n
Suppose -10 = -3*l + 2*b, 0*b + 10 = 2*l - 2*b. Suppose -n + 5*u - 4 = 0, -2*u + l*u = 2*n + 32. Is -9 > n?
True
Let b(m) = 6*m**3 + m. Let w be b(1). Let x(l) = 4*l - 29. Let f be x(w). Let k be 2/(-9) - (-1)/9. Is k equal to f?
False
Suppose 0 = k + 5*a + 23, -5*k + 5*a = -19 - 16. Is 19/15 at least as big as k?
False
Let x = 11 + -15. Let m = 2 + x. Let o = 13 + m. Which is greater: 12 or o?
12
Let r be 3/(100/(-60) + 28/6). Which is bigger: 1/3 or r?
r
Let h = -36 + 40. Let w be h + 4/(-1) - -4. Let v(d) = 5*d**3 + 2*d**2 - 1. Let t be v(1). Does t = w?
False
Let x = -185 + 176.9. Let t = x - -2.1. Is t less than 0.11?
True
Let k = -9048 + 9048.081. Let h(m) = -m**2 + 5*m - 5. Let c be h(4). Which is smaller: c or k?
c
Suppose -2*h + 2*x - 1 + 9 = 0, 5*x + 14 = 3*h. Suppose -5 = -h*b - 2*b. Let d = -29/2 - -15. Is d less than b?
True
Let w = 1 + -8. Let z be -3 - -2 - (-13)/(-2). Let t = z - w. Is t at least as big as -2?
True
Let n = 23 - 22. Suppose q = w - 9, 0 = 2*q - 8*w + 3*w + 6. Let v = 19 + q. Which is smaller: v or n?
n
Let t(j) = j + 0*j - 9*j**2 + 48*j**2. Let c be t(1). Let d be c/(-18) + 8/36. Which is bigger: d or -5/4?
-5/4
Let v = 208.2 + -208. Which is smaller: 0.128 or v?
0.128
Let v(w) = 10*w - 94. Let s be v(9). Which is greater: -23 or s?
s
Suppose -3*o - 43 - 29 = 0. Which is smaller: -22 or o?
o
Let f = 2/29383 - -969499/2056810. Are -1 and f equal?
False
Let g = 3152/3 - 1044. Let a be -4 - ((2 - 5) + -8). Is a greater than or equal to g?
True
Suppose 5*n - 5 = 10, -3*f - 4*n = 33. Let s = 33 + -18. Let x = f + s. Is 0 bigger than x?
False
Suppose -38*q + 34*q + 2*y = 2, 0 = -3*y - 3. Are q and -4/1183 unequal?
True
Let l be 9/6*(-2)/7. Let c = -7642/21 - -364. Let m = c + l. Which is bigger: 0 or m?
0
Let t = -774/121 - -105873/605. Which is greater: 170 or t?
170
Suppose 3*g + 3*w = 54, 4*g - 51 = 5*w - 2*w. Let m(k) = 3*k + 5. Suppose 0 = -d - p + 13 - 5, 4*d + 8 = 4*p. Let u be m(d). Is u less than g?
True
Let z be ((3 - 0)/(6/(-208)))/1. Let q = -41 - z. Which is greater: q or 64?
64
Let k = -76443/13 - -5876. Do k and -5 have different values?
True
Let o be 1/6 + (2570/12)/5. Let f = 42 - o. Which is bigger: 1 or f?
1
Let x = -17/1351 + 54671/4130007. Let z = x - -5968/223161. Which is smaller: z or 0?
0
Let h(d) = 5*d - 1. Let i be h(1). Let z be ((-489)/162 + 3)*i. Which is bigger: 1 or z?
1
Let b be 9/(-10)*(-15)/18. Let l(w) = -14*w + 225. Let h be l(16). Is h greater than b?
True
Suppose 6*m - 426 = 5*r + 4*m, 4*m + 438 = -5*r. Let l = 86 + r. Do l and -2/7 have different values?
True
Suppose k + 40 = -4*k. Let o(d) = 2*d - 2. Let b be o(2). Suppose -u = -2*p - 13, 4*p + 50 = -b*u + 20. Which is smaller: k or p?
k
Let w = -1148 - -1148.1. Is w greater than -802?
True
Let m(g) = g**3 - 3*g**2 - 6*g + 6. Let p be m(4). Let q = -893 - -616. Let y = q + 272. Which is greater: y or p?
p
Let l be 10/6 - (-20)/(-30). Let u be ((-3)/(-84))/(l/(-1)). Let f = -13 - -14. Is u greater than f?
False
Let s be (-183)/(-4) + 20/80. Is s at least as big as 48?
False
Let s = -92 - -38. Let l = -323/6 - s. Suppose -3 = m + 2*m. Which is greater: m or l?
l
Let m be 4/10 - 214/10. Let v = m - -56. Let n be (-10)/(-48)*7/v. Which is greater: n or 0?
n
Suppose -2*f = -2*s + 86, -s - 2*f = -18 - 22. Is s < 42?
False
Let p = -64 + 73. Let x = 0.5 + 8.5. Let r = p - x. Is r at least 0?
True
Let x = 2/13 - 58/39. Let p = 0.04 - 9.04. Let k = p + 7. Which is smaller: k or x?
k
Let o = 3.279 + -0.279. Which is greater: 37 or o?
37
Suppose 15 = -3*r, 6 = -4*v - 3*r + 7. Let j be ((-5)/(-12))/((-1)/v). Let s be 11/((-1001)/39) - 10/42. Which is smaller: s or j?
j
Let c = -26.3 + 5.3. Let y = 236 + -215.03. Let k = y + c. Is k at most as big as 0?
True
Suppose 2*n + 28 = 3*g + 2*g, -g + 4*n + 20 = 0. Let w be (g/(-10))/(16/10). Let x = 0.7 - 4.7. Which is smaller: x or w?
x
Let f(n) = n**3 - 22*n**2 + 90*n - 9. Let m be f(5). Does m = 37?
False
Let u = -34118/341 + 1102/11. Is 1 != u?
True
Let o = -40 + 43. Suppose 60 = 5*m - 0*m. Suppose -4*t - 3*w - m = 0, -w - w - 8 = -o*t. Is 7 > t?
True
Let u be ((-144)/(-15))/(-3)*(-9 - -14). Which is greater: -5 or u?
-5
Let k = -14/1915 + 698/1143255. Is k at most as big as 1?
True
Let b be (2 - 6/4)/(-2). Let a be (0 - -2) + 11 + -2. Suppose a*t - 7*t = 0. Is t <= b?
False
Let x be (-14)/(-28) + (-23)/(-2). Let v = x + -9. Let p be 9*(-3)/(-54)*v. Which is smaller: 2 or p?
p
Suppose 9*z - 5*z = 8. Let o(i) = -z + 0*i - i - 8*i**2 - 9*i - i**3. Let y be o(-7). Which is bigger: y or 20?
20
Let c = 68 + -66. Let o be (-6)/12*c/(-22). Let v be (2/(-6))/((-1)/3). Which is bigger: o or v?
v
Suppose g + 4 - 6 = 0. Suppose -g*f - 3*f + 2*m + 21 = 0, -2*m + 29 = 5*f. Suppose 6 = -f*v - 4. Is v greater than -7?
True
Let q = 17371/45 + -386. Suppose l = 2, -6*l + 9 = n - 2*l. Do q and n have different values?
True
Let o = 597 - -303. Which is smaller: o or -1?
-1
Suppose -t - a + 36 = 0, 0 = 4*t - a - 50 - 74. Let x = 32 - t. Is 3/7 at most as big as x?
False
Suppose -5*g + 4*g = -5*j + 234, 188 = 4*j - g.