r 5?
i
Let i = 3.711 - 3.611. Which is bigger: 2/127 or i?
i
Suppose 113*t - 16 = 117*t, 0 = 4*l - 5*t - 548. Let c(n) = n**3 + 12*n**2 + 12*n - 4. Let f be c(-9). Which is smaller: f or l?
f
Suppose -5*s = -20, 0 = -7*n + 4*n - 2*s + 689. Is n greater than 222?
True
Let c = 40140 - 20457. Which is bigger: 19684 or c?
19684
Let n be (2339/23390)/(64/(-30) + 0). Which is smaller: -112 or n?
-112
Let r = -1901 - -2974. Is r equal to -2/3?
False
Suppose 4*g + 3*v - 151 = 0, 5*g = -3*v + 164 + 27. Let l = -41 + g. Is 2/7 less than l?
False
Let j be (6/4)/(540/(-176) - -3). Let h be 2 + ((-50521)/(-24) - j/33). Let r = h - 2108. Is r >= 0?
False
Let p = 56 + -76. Let w be 4/(-6)*30/p. Is 3/11 at most as big as w?
True
Let m = -14053 + 14058. Is 756 at most as big as m?
False
Suppose 0 = -5*z + 12 + 58. Let h be z + -2 + (-16)/4. Suppose -2*o - h = 2*v, v - 2 = o + 4*v. Which is smaller: o or -3?
o
Let i = -132 - -2245/17. Let f = 291 - 290.94. Which is smaller: i or f?
i
Suppose 104 - 208 = 227*q - 104. Is -3511 not equal to q?
True
Let a = 2053277/145171215 + 6551/64910. Let g = a - 1/1278. Suppose p = -3*p + 4. Is p at least as big as g?
True
Suppose 9*u - 21*u = -1836. Let d be (-2)/18 - (-544)/u. Is 3 not equal to d?
True
Suppose 0 = 35*w + 25*w - 10*w + 135600. Is w at least as big as -2708?
False
Let y be (1 - 0)/(10/50). Let l be 9*(2 - 16/12). Suppose -y*a + l*a + 6 = 0. Is -7 smaller than a?
True
Let k(v) = -5*v**3 - 4*v**2 - 2. Suppose -a - 9 + 6 = 0. Let q be k(a). Suppose -7*i = -q - 197. Is i equal to 42?
True
Let t = -0.11 - 29.89. Suppose 0 = -f - 0*f + 27. Suppose -3*x = f - 21. Which is smaller: t or x?
t
Let d(r) = -5*r**2 + r + 4. Let i be 45/(-6)*(0 + (-2)/(-3)). Let t be d(i). Let w = t + 127. Are 9/19 and w equal?
False
Let r(m) = -m - 5. Let y be r(-10). Suppose -y*g = f + 120, g - 5*f = -3*g - 67. Is -25 > g?
False
Let z(k) = k**3 + 4*k**2 + 3*k - 2. Let p be z(-2). Suppose 304*o - 305*o - 56 = p. Is -48 greater than or equal to o?
True
Let y be ((-1)/2)/((-3)/(-660)). Let n = -2213 - -2105. Which is smaller: n or y?
y
Let b(y) = -y**2 - 22*y + 12. Let q be b(-21). Let d be (-4)/(-22) - 5011/q. Let u = 148 + d. Is u smaller than -1/2?
True
Let m = 136 + -138. Let o be (-7)/(-14)*4*-3. Let r be (-2)/o + 39/(-9). Which is smaller: r or m?
r
Let k = 121216 - 121234. Let r(y) = y**2 + 2*y. Let u be r(-2). Is k at most u?
True
Let g = 1474.5 - 1444.5. Which is smaller: g or 2/13?
2/13
Let o(n) = n**3 + 7*n**2 - 6*n + 19. Let h be o(-8). Suppose -6*g - 66 = h*m - g, -3*g + 88 = -4*m. Which is smaller: m or 7?
m
Suppose -16*h + 6006 = -3271 - 2851. Is h equal to 762?
False
Let w = 117.14 + -2.84. Let p = w + -113. Let s be 3/4 - (-2 - -3). Which is smaller: p or s?
s
Let m = 11638/43 + -812/3. Suppose -5*s - 2*c - c - 2 = 0, -c - 4 = 0. Let q be s + (-5 - -3 - -1). Which is smaller: q or m?
m
Let z be ((-21)/(-4298))/((-360)/192). Are z and 0 non-equal?
True
Let m be (-1 - 110/(-6))/((-24)/180). Let i be (6/2)/(10/m). Let x = -38 - i. Which is bigger: x or -1/31?
x
Let v = 12.2 + -12. Suppose -3*j + 35 = -4*k, -10*j + 6*j - 2*k = -32. Let z be (j/(-81)*-3)/(10/(-6)). Is z != v?
True
Suppose 1005 = -5*g - 5*o, -g - o = -3*o + 189. Suppose 20*p + 9*p + 5328 = -7*p - 1764. Is p less than or equal to g?
True
Let r = -3521 + 3504. Is 5 not equal to r?
True
Suppose 5*x = -2*c + 6*c + 32, -29 = -5*x + 3*c. Let q be 2 + 25/2 + x. Suppose -3*l + 24 + 30 = 0. Which is smaller: l or q?
l
Let i be 788648/(-5005) + 4/26. Let c = 39003 - 195798/5. Let x = i - c. Which is smaller: -2 or x?
-2
Let q = -26809.86 - -26810. Suppose -r + 6 + 4 = 0. Which is smaller: q or r?
q
Let w = -586/15 + 192/5. Which is bigger: 220 or w?
220
Let l be 0 + -1 + 0/2. Let g be ((-318)/(-1113))/(120/(-35)). Is l greater than g?
False
Let v be 4/6*(-123)/82. Let b be (-1 - 11/(-8)) + (-10612)/28128. Is b less than v?
False
Let w = -136721/6 + 22866. Suppose 183*c - 3886 - 7757 = 2997. Is c at least as big as w?
True
Suppose 0*r + 9 = 3*r - 4*p, -p - 9 = -3*r. Suppose -7 - 5 = 3*v + 5*o, 3*v = -2*o - r. Is 15/38 less than v?
True
Let u = 2/162634101 - 520266497651/695423415876. Let d = 2/1069 - u. Is -33 > d?
False
Let l = 135187 + -135186. Let b = 0.76 + -0.7. Which is smaller: b or l?
b
Suppose 706*w = 570*w + 136. Are w and -11/117 non-equal?
True
Let d = -7.015 + 22.986. Let q = d + 0.029. Is q bigger than -3?
True
Let z = 2410.0182 + -2410. Is 2 at least z?
True
Let y(k) be the first derivative of k**3/3 + 9*k**2 - 34*k - 5. Let h be y(-20). Let l be -10*(-2)/h + -3. Which is smaller: l or -1?
-1
Let u = -43 + 47. Suppose 3*t = 2*g - 5, u*g + 18 = -4*t - 2. Let f be g - (0 + 46/(-14)). Which is smaller: f or 0.1?
0.1
Suppose 182*t = 151*t - 81705 + 13412. Which is smaller: t or 0.1?
t
Let w = -33.58 - -0.58. Let v = -32.88 - w. Let y = 0.22 - v. Which is smaller: -7 or y?
-7
Let w(c) = 3*c**2 + 162*c - 166. Let r be w(-55). Are r and 17/40 non-equal?
True
Let t be -6 + (-8 + 27 - 4276). Is t <= -4261?
True
Suppose -33*w + 28*w + 145 = 0. Suppose 6 = -u + p, -w = u - 5*p - 7. Let h be 1 + (-2)/u - (-11)/33. Are h and 3 non-equal?
True
Let z = 1242 + -685. Let b = -557 + z. Which is greater: 200 or b?
200
Let o be (1281/5)/21 + -12. Is o at least -15/8?
True
Let a = -834 - -854. Let d = 0.352 - -19.548. Let l = a - d. Is 25 smaller than l?
False
Suppose -7*y + 180 = -10*y. Let z = y - -92. Let t = 31 - z. Which is smaller: 1 or t?
t
Let f = -31697 + 32158. Is f not equal to 467?
True
Let y be (-1 - 66/(-27))*(2 + 0). Let j(u) = -11*u - 19. Let i be j(-2). Are y and i non-equal?
True
Let s(a) = -a**2 + 13*a + 169. Let k be s(21). Which is greater: -4/109 or k?
k
Let v be ((-2)/(-1) - -384) + 7. Let s = v + -402. Let u(d) = 2*d - 1. Let w be u(-3). Is w at most as big as s?
False
Let o be 1/(-3) + 4*2/(-12). Let h be (-82)/(-83) + o/1. Which is greater: h or -1?
h
Let p be -10 - (13 + 9450/(-154)). Which is smaller: p or 37?
37
Suppose -6*n - 7*n + 3239 = 834. Is 186 at least as big as n?
True
Let b be (1485/6)/((-11)/22). Let p = b + 1957/4. Is -6 smaller than p?
True
Let j = 107323 - 107761.904. Let t = j - -439. Is t greater than or equal to 1/6?
False
Suppose -4*t - 4*q = -72, 5*t - 16 - 78 = -3*q. Suppose -t = 3*j - 8*j. Let w(n) = n**3 - 4*n**2 + 3*n + 4. Let i be w(j). Is 17 at most i?
False
Let a = 19 + -16. Suppose -a*f + 17 = z, 10 = 4*z + z. Suppose -6*g + 3*g - f*g = 0. Which is greater: g or -2/13?
g
Let t = -299/7 - -43. Let q = -16.0234 - -0.0234. Is t <= q?
False
Suppose -19 = -77*y + 69*y + 61. Which is bigger: 261 or y?
261
Let q(w) = -w**2 + w + 6. Let h be q(0). Let t(g) = 3*g - 16. Let c be t(h). Suppose -a + 2*i - 1 + 5 = 0, -2*a - 5*i = 19. Which is smaller: c or a?
a
Let p = 1671 - 11735/7. Let i = -792 + 840. Suppose 0 = 26*g + 108 + i. Are p and g nonequal?
True
Let q be 166/10 + (-10)/(-25). Let o(j) = -2*j + 38. Let s be o(q). Suppose -27 - 25 = s*n. Which is smaller: n or -7?
n
Suppose -6*w + 2*w = -p - 9, 2*p + 3*w = 4. Let g be 67 - p - (-2 + -1). Let s = 53 - g. Does s = -16?
False
Let m(v) = -8*v**3 + 8*v**2 + 81*v - 13. Let n be m(-8). Which is greater: 3948 or n?
3948
Let c be -4*(2 + 1/(-2)). Let y(z) = 7*z + 26. Let v be y(-5). Let x be ((-3)/v)/(9 - c). Which is smaller: 1 or x?
x
Suppose -2*n - n = 0, 5*f - 4*n = 28 + 12. Let z(b) = 3*b**2 - 4*b + 3. Let c be z(2). Is c at most as big as f?
True
Let z = -37.56 - -8.56. Let b = z + 25. Are b and 23 nonequal?
True
Suppose 2 = -j, 3*b = -0*b - 4*j + 85. Suppose -65*t + 103*t = 1178. Do b and t have different values?
False
Let b = -19467829/173240 - 2/21655. Is -113 > b?
False
Let n be 5/10 + (-4 - 28/(-8)). Which is greater: n or 129/409?
129/409
Suppose 3*l + 13 = -4*t, t - 2*l + 12 = 17. Suppose 5*a - 21 = -1. Let d be (a/(-28)*t)/((-60)/(-7)). Which is smaller: 0 or d?
0
Let a = 1/3314 + 62935/102734. Is 0 != a?
True
Let i = 1047 - 1048. Which is greater: -2242 or i?
i
Let y = -15751 + 15752. Is y greater than or equal to -5/812?
True
Let y = 6710 - 6710.1. Which is smaller: y or 75/2?
y
Let n = 809.727 + -809. Let u = 0.647 - n. Which is greater: 0.13 or u?
0.13
Let u = 39 + -39.17. Let o = -2.73 + u. Let v = o + 2.8. Which is bigger: v or -9?
v
Suppose -n - 39 + 37 = 4*k, 