 w?
False
Let o = 209691/157927 - 4/3223. Let b = -1/147 - o. Is b smaller than 0?
True
Suppose 9*x = 3*x + 468. Let s be (-3 - (-236)/x)*3. Which is smaller: s or 1?
s
Let y(n) = -n + 5. Let r be y(6). Let z be (((-5)/(-10))/((-1)/2))/r. Which is bigger: z or 1/22?
z
Suppose t - 4 = 3*w, 7*t - 4 = 5*w + 8*t. Is w less than -97?
False
Let v = -81 + 33. Let d be (-1 + 2)*4*(-36)/v. Which is smaller: d or -5?
-5
Suppose -4*g = 3*g. Let s be 6/21 + (-40)/105. Is s equal to g?
False
Let c be ((-8)/24)/((-3227)/807 - -4). Which is greater: c or -268?
-268
Let n(h) = -9*h**2 + 16*h - 34. Let o be n(3). Which is smaller: -66 or o?
o
Let t be (-3 - 3/(-1))/2. Suppose -r = t, 2*r + 35 = 3*f - 31. Which is smaller: 20 or f?
20
Let v = 3/23 - -247/46. Let h be 180/(-135)*-6*(-2)/(-8). Which is greater: h or v?
v
Let t be (1 - 5) + (-158)/(-66). Let x = -14/11 - t. Which is smaller: x or -0.01?
-0.01
Let s = -2476/5 + 495. Let k(l) = -l**2 + 1. Let r = 2 - 4. Let w be k(r). Is w less than s?
True
Let r = -221.7 - -221. Let z = 2.01 - 0.01. Is z bigger than r?
True
Let w = -0.484 + 2.894. Let p = -0.41 + w. Are -3 and p unequal?
True
Suppose -150*v - 6624 = -196*v. Which is bigger: v or -4?
v
Suppose 0 = c - 6*q + q - 20, 3*q + 12 = 0. Let k(s) = -s**3 + 5*s**2 + 9*s - 3. Let j be k(6). Suppose 16*w = j*w. Is w at least c?
True
Let c = 249 - 166. Is c less than 83?
False
Suppose 0 = -3*m - 38 + 23. Which is greater: m or 0?
0
Let v be (6/(-1))/(64/(-20) + 3). Are v and 30 nonequal?
False
Let u(h) = -2*h**2 + 2*h - 35. Let g be u(7). Is 1 > g?
True
Let m(u) = -59*u - 237. Let v be m(-4). Let j be ((-2)/12)/(1/2). Which is smaller: j or v?
v
Suppose -18 = -3*p - 4*h - 6, -4*h = 0. Let s be (p/6)/(1*(-2)/(-75)). Is 24 at most as big as s?
True
Let v = -2 - 33. Let c = -41 - v. Is 1 != c?
True
Let l = 0.9 - 0.55. Let o = 0.05 + l. Suppose m - 1 = 2*m. Which is smaller: o or m?
m
Let a(j) = -j**3 - 13*j**2 - 2*j - 19. Let c be a(-13). Let q(w) = -w**3 + 9*w**2 - 13*w - 10. Let m be q(c). Are m and -4 non-equal?
True
Suppose 3*i = -3*t - 29 + 44, -30 = 2*t - 6*i. Let f be 1/(-2)*(-2)/(-67). Which is bigger: f or t?
t
Let z = -16 + 25. Suppose -3*f + z = 2*o, -5*o = -3*f - 13 + 1. Let l be (6/4)/(-3)*f. Which is greater: l or -1?
l
Suppose 4*d - y + 1308 = y, 5*d - 4*y = -1638. Does d = -325?
False
Let x = 2276 + -2275. Let c(g) = -g**3 - 2*g**2 + 2*g - 1. Let h be 2/(-6) + 24/(-9). Let o be c(h). Is o bigger than x?
True
Let l(w) = 32*w + 10. Let s be l(-1). Let o be 1/((-22)/4) - (-370)/s. Which is smaller: -13 or o?
o
Let f be 1/(-5)*125/20*-2. Let i = 61/18 - f. Is i at most as big as 0?
False
Let u = 14 + -4. Let i(p) = -2*p**2 + 11*p - 3. Let d(g) = -g**2 + 6*g - 2. Let w(c) = -9*d(c) + 4*i(c). Let f be w(u). Does f = 5?
False
Let d be 1/16*3/(6/388). Let h = 12 - d. Let t(s) = s - 1. Let q be t(0). Is q greater than h?
False
Let q(c) = c**3 - 7*c**2 + 8*c + 3. Let s be q(6). Let k = s + 15. Let u be (-24)/k - (-17)/20. Which is greater: 0 or u?
u
Let l be 0 - ((-11)/9 - -1). Let w be 2/40 - (24/(-30))/4. Which is greater: w or l?
w
Let y = -596 - -2971/5. Let v(n) = 4*n + 5. Suppose -4*q = 5*t - 2, 2*t - 5*q + 13 + 6 = 0. Let i be v(t). Is i > y?
False
Suppose 4*v - 128 = -132. Is 5/324 greater than v?
True
Let y = 2 + -3. Suppose 0*j - 60 = -5*j. Let k be ((2 - 4)/(-2))/((-9)/j). Is y > k?
True
Let p(i) = 2*i**2 + 12*i + 1. Let t be p(-6). Let b = 4149/13 + -319. Are t and b non-equal?
True
Suppose 2*h = z - 78, -2*h + 13 = 2*z - 161. Suppose 5*n - 21 = z. Suppose -5*r = -2*r - n. Which is bigger: 8 or r?
8
Let l = -35.9916 + -0.0084. Is -1 at least as big as l?
True
Let k = 56 - 94. Let w = k - -38. Is -5/7 less than w?
True
Let i be (-2636)/6*(-4 - 1795/(-450)). Let v = -40/27 + i. Which is smaller: 3 or v?
3
Let a = 673/5 - 135. Is -1/26 smaller than a?
False
Let i(b) = 2*b - 27. Let l be i(14). Is 18/43 at least as big as l?
False
Let d(s) = 2*s**2 - 4*s - 5. Let i(h) = -h**2 + 1. Let t(o) = -d(o) - 4*i(o). Let b be t(-1). Do b and -2.7 have the same value?
False
Let y = -12 - -12. Suppose 2*c - 2*o = 7*c - 9, -2*c + 3*o - 4 = y. Is 2/13 >= c?
False
Let l = -307 - -736. Is l smaller than 429?
False
Suppose y + 9 = 4*f, -3*f + 4*y - 17 = 8*y. Let s = -495/16 - -31. Is f > s?
True
Let d(r) = r. Let u(n) = -23*n**3 - 4*n**2 + 6*n + 1. Let a(l) = -4*d(l) + u(l). Let h be a(2). Let w be (-2)/(-13) - (-95)/h. Which is smaller: -20 or w?
-20
Suppose -1 + 5 = -2*u. Is 91 less than u?
False
Let m = -32.3687 - -3.3457. Let a = m + 0.023. Let l = a - -29.04. Is l at most as big as 1/2?
True
Let b = -32.86 + 1348.86. Are 0 and b equal?
False
Suppose -21*b + 12 = -18*b. Suppose b*u - 3*u = 3*u. Is u > -1.2?
True
Let j be (-4)/(-9) + 88312/(-252). Is -350 at most j?
True
Suppose 4*f = 6*f, -5*f = -4*p - 4. Which is bigger: p or -3/37?
-3/37
Let p = -13958 + 13958.24. Let h = 4 + -2. Which is bigger: h or p?
h
Let f be 9/(-3)*(-8)/6. Suppose -2*q + 12 = 4*p + q, p + q = f. Let c = 15688/23 - 682. Which is smaller: p or c?
p
Suppose 9*z = -10 + 1. Let i be 26/(-2) + (7 - 4). Let m be (24/(-100))/((-3)/i). Which is smaller: z or m?
z
Let y be (-1526)/1522 + (-1)/(-10)*10. Which is smaller: y or -1?
-1
Let m(x) = x**2 + 12*x - 11. Let i be m(-13). Suppose 0 = -2*d + 5*s - 51, -3*d - 14 = i*s + 15. Is -13 greater than or equal to d?
True
Let k = 533/36 + 5/72. Let p = -29/2 + k. Do p and -1 have different values?
True
Suppose 2870 = -62*f + 52*f. Is -287 at most as big as f?
True
Let n = -7 + 5. Let m be n + 3 - 165/155. Which is smaller: m or 1?
m
Let m(n) = 2*n**2 + 21*n - 29. Let b be m(-12). Let l be (-306)/(-357) + 1/b + 0. Which is smaller: l or 22/9?
l
Let d(h) = 5*h - 75. Let t be d(15). Let w be (-90)/44 - (t - (-2)/(-1)). Let u(r) = -r**3 + 6*r**2 - 4*r - 5. Let b be u(5). Which is greater: w or b?
b
Let n be (8/(-10))/(2436/(-870)). Which is smaller: n or -2/355?
-2/355
Suppose d + 3*x = 5 - 4, d - 7 = -x. Let s = d - 47. Are s and -36 equal?
False
Suppose -5*f = w + 17, 0*w = -3*w - f + 5. Suppose 15 = 2*n - 7*n. Which is greater: w or n?
w
Let d be 10/25 + 16/10. Suppose d*l + 47 = -27. Is l equal to -37?
True
Let n be (-21)/14*16/(-6). Let x(q) = 2*q**2 + 2*q - 2. Let l be x(-2). Let v be 0 + l/(2/3). Which is smaller: n or v?
v
Suppose 13*a = 10*a + 12. Let r be 10/6 + a/12. Suppose -14 = -r*l - 16. Which is smaller: l or 5?
l
Let h = -3.5 + 8. Let z = 6 - h. Let b = -1.6 + z. Are b and 1 unequal?
True
Let j = 1.822 - 1.664. Which is smaller: 2 or j?
j
Let c = -40 - -45. Suppose 0 = 15*y - c*y - 190. Are 20 and y unequal?
True
Let c be -7 - ((-16)/(-120))/(144/(-7610)). Which is smaller: 1 or c?
c
Let k = -35 + 33. Let t(u) = -3*u - 4. Let g be t(k). Which is greater: g or 3?
3
Let d = -93/220 + 1/44. Let v be (-2*(-2)/(-2))/8. Does d = v?
False
Suppose 0 = -d + u + 1 + 2, -4*u = 3*d - 2. Let c be (-28)/d + (0 - -2). Which is greater: c or -13?
c
Let b = 4474 + -223711/50. Which is smaller: -1 or b?
-1
Let k = -475.23 + -0.77. Is k at least as big as 1/2?
False
Let d be 2*1*7*-2. Let v(k) = 6*k - 14. Let i be v(-2). Is d equal to i?
False
Let d = -1059/113386 + -1/1157. Let y = d + -137/294. Which is smaller: y or 1?
y
Let v be (-4)/(20/(-55))*-2. Let o be v/(-9)*(-15)/290. Let j = o - 6/29. Is j < -1/4?
True
Let k(j) = -j**2 - 8*j - 2. Let h be k(-6). Let u = h - 10. Which is bigger: 1 or u?
1
Let c = -11899/20261127 + -3/9239. Are -1 and c equal?
False
Let m be (2 + -7)/(-40) - (-350)/272. Is m != 1?
True
Let m(w) be the third derivative of 0*w - 1/6*w**3 + 5*w**2 + 0 + 11/24*w**4. Let b be m(1). Is b bigger than 10?
False
Let x(o) = o**2 + 17*o + 21. Let i be x(-16). Are i and 17 unequal?
True
Suppose -4*f + 4*u = -108, 2*f - 5*u = 49 + 14. Let j be f/(-15) + 2/(-5). Let w be -1 + ((-60)/21 - -3). Is j greater than or equal to w?
False
Suppose 2*i - 3 - 11 = c, 5*c + 15 = -i. Let b = 1 + 0. Suppose 2*z = 5*u - b, -z + 0*u - 5 = -4*u. Which is smaller: i or z?
i
Let g(p) = 9*p - 178. Let x be g(20). Which is smaller: -0.016 or x?
-0.016
Let q = 57 + -56.95. Are 2 and q non-equal?
True
Let z(a) = -a**2 - 8*a + 20. Let x be z(-10). Which is smaller: x or 1/793?
x
Suppose 132*j - 153*j + 14133 = 0. Which is smaller: j or 672?
672
Let k be 5 - (15 + (2