s smaller: a or b?
b
Suppose 4*x - 29 = d, 4*d - 155 = -5*x - 103. Is -387 at most as big as x?
True
Let h = 2/865 - 64969/40655. Which is bigger: -2 or h?
h
Let a be (-5)/(-2)*(-612)/85. Let i be 2/(-9) + 2984/a. Is i at most as big as 0?
True
Let c be (7/4 + -2)*(2 - -7 - 10). Is c bigger than 864?
False
Let j be 4*(-6)/(-3)*(-5 + 4). Suppose -5*o = -3*o - p - 82, -3*o = 3*p - 114. Suppose -z + 6*z = -o. Is j smaller than z?
False
Let t = -23 - -67. Suppose -9*u + 455 = 4*o, 107 = 3*u - 5*o + 6. Which is greater: u or t?
u
Let z(f) = -3*f - 9. Let c be z(-4). Suppose 2*s - c = -19. Let h be ((-19)/(-30) - (-8)/(-60))*s. Which is smaller: -6 or h?
-6
Let a = 348 - 1385/4. Let o = 43309 - 43324. Which is greater: o or a?
a
Let n = 632/231 + -28/11. Suppose 0 = -12*u - 0 - 0. Which is greater: u or n?
n
Suppose 0 = 2*o + 4 - 8, 4*m + 38 = -o. Let r = -1 + -21. Is m at most r?
False
Suppose 0 = 36*n - 201*n + 98 + 562. Suppose -4*u = -3*y - 16, -5*u - y + 20 = y. Suppose -c + u = -0*c. Is c < n?
False
Let f = -0.4983 + 0.3283. Let d = -7 - -7.12. Let s = 2.12 - d. Are s and f nonequal?
True
Suppose 37*w + 7*w - 264 = 0. Let b be 0 + -1 - ((-636)/98)/w. Let d(t) = -t**3. Let s be d(1). Is b bigger than s?
True
Let i(x) = 3*x**3 - x**2 - x + 5. Let u(k) = -k**3 - 1. Let d(y) = i(y) + 4*u(y). Let z be d(-1). Let g be 12*-1*1/(-5). Which is smaller: g or z?
z
Let z = -17.5 + 3.5. Let v = z - -31. Let i(u) = -38*u + 2. Let b be i(0). Which is bigger: b or v?
v
Let j = -13 - -13. Suppose -5*q - 7 + 12 = j. Which is greater: 4/93 or q?
q
Let v = 5 + -4. Let n be v + -1 + 4/72. Which is smaller: 0.7 or n?
n
Let w be (0 - -1)/(1/22). Let h be (-20)/w - 6/(-33). Let z = -2/33 - h. Which is greater: 54 or z?
54
Let i be 10/(-4)*(-90)/25. Suppose 15 = -4*o - i. Let n be (-4)/o*6/(-100). Is 0.1 less than n?
False
Let j be -6 + (-413)/(-70) + 975117/270. Let y = j + -3606. Is y equal to 5?
False
Suppose -g + 3*y - 3 = 5*y, -g - 5*y = 12. Let r be 16/18 + (g + -6 - -2). Which is greater: 0.1 or r?
0.1
Let y be 44/10 + (-16)/40 - -1. Suppose -a = 0, -6*a = -5*o - 10*a - 10. Which is bigger: o or y?
y
Let p(l) = -3*l - 6. Let s(f) = -1. Let y(t) = 2*p(t) - 6*s(t). Let w be y(-4). Let a = w - -5. Which is smaller: a or 22?
22
Suppose -a - 314 = 2*x + 286, 0 = 2*x + 2. Let u = a + 1197/2. Which is greater: -0.99 or u?
u
Let w(q) = 9*q + 41. Let z(g) = 4*g + 21. Let h(n) = 3*w(n) - 7*z(n). Let c be h(0). Let x = -23 - c. Is x at least -2?
True
Let u be 7677*(253/33 + -8). Are -2560 and u unequal?
True
Let u be ((-15624)/(-110048))/(5/(-20)). Let x = 11/19 + u. Is -1 equal to x?
False
Let c be (-24)/(-42) - 215382/(-1507968)*-4. Is -1 != c?
True
Suppose -143*u + 62*u = 36369. Is u greater than or equal to -450?
True
Suppose -4*h = -v - 10196, 14*h + 5*v = 12*h + 5098. Is h at most 2549?
True
Let w(b) = 136*b + 64. Let g be w(31). Let k be g/1416 + (1 - 1) + -3. Which is bigger: k or 0?
k
Let a = 587/2960 - 2/185. Which is smaller: 0.07 or a?
0.07
Let b be ((-4)/6)/(-8*3/(-36)). Let f be 8/(-32) + (0 - (-30)/(-8)). Which is smaller: f or b?
f
Let j = -2.92 + 1.89. Let k = -1.03 - j. Is k less than -96?
False
Suppose 21*k - 12438 + 1896 = 0. Suppose k = 17*m - 280. Which is greater: m or 357/8?
m
Suppose 0 = -5*a - 3*f - 135, 2*a - 5*f + 54 = -4*f. Which is bigger: a or 34?
34
Let z(i) = 8*i**2 + 11*i + 130. Let o be z(-15). Let q = o + -1058. Which is bigger: 706 or q?
q
Suppose 3*k = -q + 34236, -959*q + 3*k = -957*q - 68445. Which is greater: q or -1?
q
Suppose 22*d - 2*d - 3 + 23 = 0. Which is greater: d or 1/2485?
1/2485
Suppose 4*y + 90 = -y. Suppose -2*c = 55*h - 57*h + 34, -5*h = 4*c + 86. Which is smaller: y or c?
c
Let z be (-236)/(-5)*1/((-52)/(-39)). Let h(q) = -q + 23. Let p be h(-11). Is p equal to z?
False
Let a = 123.51 - 123. Let j = -0.5 - -0.19. Let x = a + j. Which is greater: -1/5 or x?
x
Let a be ((-40)/28)/(35/(-16268)). Which is smaller: a or 676?
a
Let s(g) = -20 + 10 + 9. Let t(p) = p**3 - p**2 - 3*p + 2. Let r(i) = 6*s(i) + t(i). Let f be r(3). Is 0 > f?
False
Let x = -2 + 3. Let l = 2.177 + -11.177. Is l less than x?
True
Let i(c) = 2*c**2 - 10*c + 27. Let s be i(3). Suppose 5*y - 10 = 0, s*o - 158 = 16*o - 5*y. Which is smaller: -149 or o?
-149
Let n = 4 + -6. Let q be 10*-1*9/n. Suppose -5*m - 3*f + 56 = -152, -5*m - 2*f = -212. Is m at least q?
False
Suppose -49 = 2*s - 31. Let b be 4/(-2) - -2799*s/27. Let n be 2/(-11) - (-2 + (-1810)/b). Which is smaller: n or 9?
n
Let j = -3.079 + 2.779. Which is smaller: j or -2/2675?
j
Let s = -21 - 2. Let u(f) = 6*f + 33. Let k be u(-6). Let b be (-23)/(-3 - (k - 1)). Is b bigger than s?
False
Let h = -87.4 + 89.152. Is -2 smaller than h?
True
Let v = -628 - -374. Let n = v + 291. Is n at most as big as 27?
False
Suppose 6*s - 336 = 30*s. Let g be -7 + 2 + 7 + s/(-6). Is 0 at most g?
True
Let x be (-30)/252888*-18965 - (-36)/(-16). Is 0 < x?
False
Let y(i) = i**3 + 23*i**2 + 132*i + 25. Let r be y(-13). Which is smaller: r or -2/109?
r
Let h be (-58)/(-18) - (-2 - -6 - (-9 - -10)). Which is greater: h or 439?
439
Suppose -45 = 5*w + 4*j, 0 = 4*w + 2*j + 70 - 40. Which is smaller: w or -170?
-170
Let k = -8 - -5. Let y(d) = -d**2 + 14*d + 3. Let t be y(14). Suppose -5*q - 5 = -3*o, t*o - 11 = 2*o + 4*q. Which is smaller: o or k?
o
Let v = -188.9 - -176. Let j = -13 - v. Let b = 9 - -3. Is b <= j?
False
Let b = -6 - -4. Let k = -7882.8 + 7882.96. Is b at most as big as k?
True
Suppose -3*z - 10 = -4*y, -3*y = z + z + 1. Let r be (5 + -4)/z*28. Is r != -64/5?
True
Let l = -1123 + 1137.355. Let f = -14.3 + l. Which is smaller: f or -2/13?
-2/13
Let b = 5.8 - 82.8. Let o = 77.5 + b. Let v = -3/19 + 91/95. Which is smaller: v or o?
o
Let g be 999/(-4455) - (-8)/10. Let q be (-1)/(-3) + (-16)/66. Let l = g + q. Which is bigger: -2 or l?
l
Suppose 3*q - 2 = z, -40 = 2*q + 3*z - 34. Let x(s) = 6*s**2 + 2*s. Let h be x(3). Let c be 0 - h/(-29) - 2. Which is bigger: q or c?
c
Suppose 4*k - 2*c = 19460, 5*k - 11*c - 24338 = -15*c. Is 4866 at most as big as k?
True
Let a = -313/2600 - -1/200. Let t(y) be the first derivative of 24*y**2 + 335*y + 233. Let v be t(-7). Which is greater: a or v?
a
Let x be -12 - (62/155)/((-9)/285). Is x at least -0.12477?
True
Let u(z) = 6*z**3 - z**2 - 11*z - 9. Let b be u(4). Let d = b + -372. Suppose 2*h + 290 = -3*h. Which is smaller: d or h?
h
Let i(l) = l**2 + 37*l + 79. Let r be i(-30). Which is smaller: r or -122?
r
Let x = 1.37 + -1.1. Let u = 54.76 + -54.8. Let w = x + u. Is -3 equal to w?
False
Suppose -a - 6925 = 5*s, -252*a = -253*a - 2*s - 6910. Does -6901 = a?
False
Let n = 2 + -2.1. Let y = -538 - -537.86. Let w = n - y. Is w less than 0?
False
Let f(h) = h + 18. Let w be f(-13). Suppose 5*t - m = 9, -6*t + 5*t - 19 = w*m. Does 5/19 = t?
False
Let d be ((-3)/(-33))/((-56)/(-308)). Which is bigger: 71.5 or d?
71.5
Let v be 5/((-1060)/6)*898138358/(-26700). Let c = 252308/265 - v. Let x = -1/356 + c. Is 0 greater than or equal to x?
False
Suppose -k - 7 = 4*d, 330*d + 27*k = 331*d - 298. Let n be (-12)/(-897)*1134/(-4). Let v = n + 51/13. Which is greater: v or d?
d
Let j = -3 + 5. Let g be (11036/792 - 93/(-837)) + -14. Which is smaller: g or j?
g
Let y = 141 + -69. Let l be y/20*5/3. Let j be l/(-33) - (-62)/(-22). Is j <= 0?
True
Suppose -5*r = 30, -d - 4*r + 7942 = 23441. Is -15473 equal to d?
False
Suppose -42*z + 18*z = -193896. Which is greater: 8078 or z?
z
Let t(s) = -5 + 1486*s + 2*s**2 - 1481*s + 3. Let v be t(-4). Which is smaller: 16 or v?
v
Let n = 328.6 - -71.4. Let m = n + -400.027. Let w(k) = -2*k + 3. Let j be w(2). Which is smaller: m or j?
j
Let z = -5207/18200 - -1/2600. Is 3057 bigger than z?
True
Let m = 10223252971/3724434276 - 8/2369233. Let d = -2/393 - m. Is -1 less than d?
False
Let f(o) = o**3 + 7*o**2 + 6*o + 3. Let c be f(-6). Let n be (-3)/(c*(-3)/12). Let r(v) = -v**3 + v**2 + 4*v + 3. Let l be r(0). Which is greater: l or n?
n
Let m = 12.604 + -13.604. Let i be 5/(-21) - 6/(-9). Which is smaller: m or i?
m
Suppose -22*l + 247604 = 98686. Is 6769 less than or equal to l?
True
Let y(b) = -460*b + 220. Let n be y(1). Which is bigger: -256 or n?
n
Let m be (-12 + 3 + 0)/(336 + -2). Which is smaller: 1 or m?
m
Let d(v) = -v**3 + 12*v