maller: x or -1/10?
x
Let q = 0.2 - 0.5. Let d = -21.86 + 11.86. Is q smaller than d?
False
Let f = -2.5 + 2. Let b = 0.719 + -0.069. Let g = b - 0.75. Which is smaller: g or f?
f
Let j(n) = -19*n + 25. Let s be j(6). Let v = -88 - s. Is 14/3 equal to v?
False
Let h = 4013087/847 - 4738. Which is smaller: 1 or h?
h
Suppose 5*a = 3*x - 7, 5*a = -x + 7*a + 2. Which is smaller: -8 or x?
-8
Let x be (-1)/2*7*(-1 + 3). Let r be (5 + x)*(-17)/2. Which is smaller: 18 or r?
r
Let i = -4 + 11. Let z = 5 - i. Suppose 0 = 4*v + 8 - 0. Is z less than v?
False
Let v be (-1)/(-2)*20/(-2). Let d = v - -11. Let k be d/18*1/1. Which is smaller: 1 or k?
k
Let j be ((-10)/(-1880))/(4/(-16)). Which is smaller: j or 1?
j
Suppose 0 = 7*q - 2*q. Suppose -5*w - 4 = 16. Let s be (-1)/((-6)/(-8) + w). Do q and s have different values?
True
Let i be -7*(0/9 - 1*2). Suppose -i*h + 44 = -18*h. Is h > -11?
False
Let k = -94.204 - -0.204. Which is smaller: 10 or k?
k
Suppose -h + 0*h + 1 = 0. Let m be ((-21)/6)/(5/(-122)). Let d = m - 85. Which is bigger: d or h?
h
Let x = -0.38 + 0.28. Is 0.14 at least as big as x?
True
Suppose 48*l - 44*l = -v + 129, 0 = 3*v + 5*l - 415. Is 143 less than or equal to v?
True
Let b = 280 - 239. Which is greater: b or 1/2?
b
Let q = -10 - -14. Suppose -3*s - 2*r + 4 = 0, -2*s + r = -0*r - 12. Let j be (-84)/(-20) + s/(-20). Is j >= q?
True
Let z(n) = 4*n + 5 - 3*n + 0*n. Let d be z(-6). Let p be (-1 + 2)*620/14880. Is p < d?
False
Let t = 331 - 330. Is t at most -2/1405?
False
Suppose 0 = 3*f + 2*f + 90. Suppose -4*a - 66 = -5*a. Let p be (-56)/a - f/27. Is 0 >= p?
True
Let t = 98 + -92. Suppose 4*d - 26 = -t. Is 6 >= d?
True
Let x(v) = -7*v - 91. Let a be x(-10). Let z be 1/(-1*1) - 21. Let s = a - z. Is 1 not equal to s?
False
Suppose -5 - 4 = -3*y. Let p = y - 0. Suppose 2*j + j - 3 = -p*i, -i = 4*j - 7. Is 0 < j?
True
Let g be (226 + 22)*((-36)/51 - -1). Suppose -53 = -4*t - 345. Let w = t + g. Do -2/5 and w have different values?
True
Let j be 7*-1*(-2)/(-1). Let b(v) = -6*v + 100. Let t be b(19). Is t > j?
False
Let g = 18 + 140. Do g and -2/7 have the same value?
False
Let p(g) = -9*g**2 - 2*g + 3. Let i be p(1). Let q = i + 7. Do q and -0.1 have the same value?
False
Let h be 4/(80/(-1655)) - 2/8. Is h at least -74?
False
Suppose 0 = 7*z - 3*z - 20. Suppose -5*p + 10 = -z*m, -3*p = 4*m - m + 18. Which is smaller: m or 5?
m
Let j(v) = -v**3 + 10*v**2 - v + 11. Let i = 9 + 1. Let m be j(i). Suppose -5*s - 3*p - 21 - 9 = 0, -5*p - 13 = -4*s. Which is greater: m or s?
m
Let v = 304 + -254. Is 49 at least as big as v?
False
Suppose -15*s + 1064 = -8*s. Let v be 16/s*(-1)/2. Which is bigger: 1 or v?
1
Suppose -5*s + 4*s + 3*p = -1, s - 5*p - 1 = 0. Are 6/709 and s unequal?
True
Let o = 117 + -192. Let w = 76 + o. Do -84 and w have the same value?
False
Let g(x) = -x**3 + 6*x**2 + 6*x - 8. Let m be g(-6). Let d be -52*(3/(-27))/((-6)/(-402)). Let a = m - d. Is 0 at most a?
True
Suppose -w - 5*h + 19 = 0, 0 = -5*w - 0*h - 2*h + 26. Suppose -w*a + 8 = 0, -a + 3 = 4*z + 1. Which is smaller: 4/3 or z?
z
Let p = 2/153 - 818/153. Let z = p - -83/15. Let j = 6 + -6.3. Is z > j?
True
Let g = 11 - 10. Let s be (((-6)/(-8))/(-3))/(617/(-4)). Let k = 6159/6787 + s. Do k and g have the same value?
False
Let z = 27 - 6. Suppose -5*u = -3*k - z, -4*k = -u - k + 9. Let w = -0.1 - -0.2. Is w equal to u?
False
Let z = 551 - 576. Let q = -81.9 - -77. Let d = 5 + q. Is d at least z?
True
Let w = 4526921/45573 + -1/15191. Is 98 not equal to w?
True
Let c = 726 - 58081/80. Let f = 31/80 - c. Let r = -46 - -46. Which is greater: f or r?
f
Let u be ((-8)/516)/((-3)/(-9)). Let r(d) = -d + 4. Let q be r(3). Are u and q nonequal?
True
Let a be -1*(-7 + 275) - 8. Is a less than -277?
False
Let p = 7/1273 + -2416/670871. Are p and 0 unequal?
True
Suppose c - 4*u - 12 = 2*c, 0 = 5*c - 3*u + 60. Let h be 2/4*(-66)/c. Which is bigger: h or 2?
h
Let x = 161 + -7. Which is smaller: 155 or x?
x
Let h be -5*(-6)/(-60)*(0 - 0). Is h greater than -2/107?
True
Suppose -y - 93 = 2*g, -g + 4*y - 265 = 4*g. Is -48 at most as big as g?
False
Let s be (-1 - 1)*20 + -8. Is s at most as big as -36?
True
Let d = 89 - 103. Let x be (10/(-4))/(2/12). Which is greater: x or d?
d
Suppose -1 + 1 = 63*i. Which is smaller: -2/2175 or i?
-2/2175
Let d be ((-8)/6)/(8/60). Let q be 18/(-80) + 4/d. Which is smaller: -1 or q?
-1
Let b = -608/5 + 122. Let p(s) = 2*s**2 - 2*s + 3. Let k be p(4). Let f be -3 - ((-33)/k + -2). Is b smaller than f?
False
Let f = 0.34 - -0.36. Let c = 2/101 + -105/202. Which is greater: f or c?
f
Let i = -1049 + 1053. Let q = -13 - -30. Are q and i equal?
False
Let y(x) = x**3 - 26*x**2 - 31*x + 95. Let j be y(27). Is 2 smaller than j?
False
Suppose -2*h - 2*h = -48. Let i(r) = 4*r + 12. Let u be i(-5). Let x be 2/(u/h) + 9. Is x < 5?
False
Let g(b) = b**3 - 4*b**2 - b + 8. Let x = 2 + 2. Let q be g(x). Let o be ((-18)/(-24))/((-5)/q). Is 2/9 at least as big as o?
True
Let z(c) = -c + 15. Let q be 94/(-14) - 4/14. Let n be z(q). Which is bigger: 23 or n?
23
Let b = 0.227 - 17.927. Let g = b + 9.7. Which is bigger: g or -2/5?
-2/5
Let h be ((-3)/(-15))/(5/(10/(-246))). Let r = h - -1247/10455. Is -2 less than or equal to r?
True
Let d = 20 + -90. Let j = d - -90. Do 20 and j have different values?
False
Let y = 3/26 - 1/234. Suppose 0 = -6*m + 9 - 15. Which is smaller: m or y?
m
Let q = 0.316 + -0.17. Let g = -0.054 - q. Which is bigger: 7/3 or g?
7/3
Let n be 442/126 + 40 + -43. Which is bigger: 2 or n?
2
Suppose g + 3*g = -3*d - 9, -3*g + 6 = -2*d. Let t be g*((-28)/(-8) + -4). Let l be (-18)/40*(-8)/(-12). Which is bigger: t or l?
t
Suppose 5*k = 3*k + 34. Let u = -14 + k. Is u > 2?
True
Let c(z) be the second derivative of -z**3/2 + 11*z**2 - 4*z. Let b be c(9). Is b > -2?
False
Let n(x) = 5*x**3 - 6 - x**2 - 6*x**2 - 4*x**3 - 7*x. Let q be n(8). Which is bigger: 6 or q?
6
Let z be ((-20)/4*6)/(-2). Suppose -n - 3*n = 4*q + 20, -z = 5*n. Is -1 equal to q?
False
Let p = 25.535 + -25.4. Which is greater: p or -2?
p
Let d = 286 + -1436/5. Suppose y + 8*y + 18 = 0. Is y at least d?
False
Let u be -11 - 7/((-21)/12). Let b = -3 - u. Let y be (-6)/b*(-22)/99. Is y at most as big as -1?
False
Let a = -211 - -212. Which is smaller: 43 or a?
a
Let i be (-390)/(-91) + (-2)/7. Suppose -c - 15 = -3*z + 2*c, -4*z - 4*c - i = 0. Let x be (-3)/(-2)*z/(-3). Is 1 greater than or equal to x?
True
Let v be (18/(-3582))/(158/(-1978)). Let p = v - 10/199. Which is smaller: 0 or p?
0
Let c be -7 + (-36)/(-4) - 0. Which is bigger: c or 109?
109
Let w be ((-1)/(-2))/(2/8). Suppose -q + c = -4, -4*q + 8 = -w*q - 4*c. Is -1 equal to q?
False
Suppose 0 = 5*r - 5*t - 30, 2*r - 2*t = 6*r - 24. Let u be (-2)/5*r/(-60). Let b = -2 - -1. Which is bigger: u or b?
u
Let i = 305 + -415. Is i equal to -110?
True
Let z(b) = 14*b + 10. Let u be z(11). Suppose 0 = 2*i + i - 9, -3*i = -5*x - u. Does x = -31?
True
Let t = -62 + 60. Let s = -32 - -28. Is t at most as big as s?
False
Let a be (-8)/(-4)*45/(-30). Let u(d) = 12*d**2. Let g be u(-1). Let j = 7 - g. Which is bigger: j or a?
a
Let c = 11887 - 11939. Suppose 0 = -0*d - 3*d - 159. Is c <= d?
False
Let a = 6152/7 + -36611/42. Suppose 3*y - 3 - 15 = 0. Does y = a?
False
Suppose -10 = -j + 1. Let f(i) = 4*i - 14. Let k be f(j). Let w be 8/k - (-8)/24. Which is greater: -0.3 or w?
w
Let o = 4 + 15. Let m(p) be the third derivative of p**5/60 - 5*p**4/6 + 19*p**3/6 + 2*p**2 - 452. Let g be m(o). Which is bigger: 1/7 or g?
1/7
Suppose 34 = 7*c - 6*c. Suppose -u + 4*b = -56, u - 10 - c = -2*b. Which is smaller: 47 or u?
47
Suppose 6*c + 190 = -1034. Is -203 at most c?
False
Let r be (-3)/12 + 2976/12160. Which is greater: -1 or r?
r
Let k = -2/8969 + -35694/816179. Which is smaller: -1 or k?
-1
Let r = 4.9 + -5.19. Let j = r - -0.09. Which is smaller: 1/12 or j?
j
Let r(g) = g**3 - g**2 + g + 11. Let v(t) = -2*t**3 + 2*t**2 - t - 21. Let o(h) = 11*r(h) + 6*v(h). Let f be o(2). Which is smaller: 24 or f?
f
Let s = 154 - 174. Which is greater: s or 1/5?
1/5
Let f(c) = -2*c + 21. Let o be f(9). Suppose -o*d = -4*b + 4, 2 + 3 = 5*b. Is -3/29 <= d?
True
Let f = -12 - -11.21. Let k = 2.9 - 3.09. Let g = k - f. Which is smaller: g or -2/7?
-2/7
Let z = -17 +