most as big as r?
False
Let f = 47/37 - 930/703. Which is greater: 0.29 or f?
0.29
Let j = -2412 + 6073. Let k be 5237/j + (-4)/56*4. Let d = k + -1/523. Is -5 smaller than d?
True
Let z = -1.23 - -75.23. Let i = 3321 + -3394.95. Let l = z + i. Is l greater than 1/2?
False
Let p be (-9)/12 - 68/(-816). Does p = 1430.4?
False
Suppose -8*d + 26 = 130. Let r = -6.59 + -0.31. Let w = 7 + r. Which is bigger: d or w?
w
Suppose 3299 + 1609 = 27*w + 1317. Which is smaller: 124 or w?
124
Let m(u) = -2*u + 71. Let q be m(34). Let j be q - (7 + 752/(-186)). Which is greater: -1 or j?
j
Suppose 13*x + 4387 = -4674. Let o = -497 - x. Which is bigger: o or 202?
202
Suppose 3*q + 5*b + 19 = -q, q - 11 = 4*b. Which is greater: q or 1/3847?
1/3847
Suppose 4*s + 25 = -3*l - s, 2*l = -5*s - 20. Let g be (-57)/l - (-4)/4. Let u = 3723 - 3710. Are g and u unequal?
True
Let a be (-1*7)/(2/(-42)). Let y = -71996 - -72143. Are y and a non-equal?
False
Suppose -279 = -7*p + 43. Let o = p + -3. Let l = o - 42. Is l smaller than -2?
False
Suppose -5*z + 228 = -87. Suppose 24*v = -v + 400. Suppose 19*u = v*u - z. Is -21 not equal to u?
False
Let g be 14 + 83/(-6) + (-2154)/2556. Which is greater: -2 or g?
g
Let p = 3.94 - -0.06. Let d = -3.3 + p. Let c = 56.37 - 53.37. Which is smaller: c or d?
d
Suppose 61 = -5*j - 4*j + 277. Which is smaller: 88 or j?
j
Let s(b) = b**2 + 16*b - 21. Let w be s(-11). Let f = -111 - w. Are f and -36 non-equal?
True
Let h be -13 - (252/630 - (-14162)/(-1055)). Let j = 0 - 0. Which is greater: h or j?
h
Let m = -12.0715 - -0.0715. Is 0.078 > m?
True
Let f(a) = a**3 - 19*a**2 - 285*a - 116. Let o be f(29). Is o < -16/15?
False
Let j = -680 + 685. Suppose 4*i + 7 = j*k, -3*i - 2*k = -4*k. Is -1 smaller than i?
True
Let q(w) = 2*w**2 - 97*w + 1055. Let b be q(14). Suppose -n - 2 = 0, -5*n = k - 4*n - 87. Are k and b nonequal?
False
Let b(x) = -x**3 - 4*x**2. Let w be b(-4). Let i be 10 - (-1 - w)*-3. Suppose -5*h = g + 17, i*g - 2*g + 5*h + 5 = 0. Are g and -1/4 equal?
False
Let f = 3054 + -3053. Is 146 greater than or equal to f?
True
Let h = -13698647/495 - -27674. Let r = -7/99 - h. Are -1/3 and r equal?
False
Let n(o) = o**3 + 8*o**2 + 6*o + 5. Let k be n(-7). Let j be (-16)/(-28) + k/28. Let v be j - 11/((-33)/30). Which is smaller: 12 or v?
v
Let f = 22.89 + -10.09. Is -2/11 > f?
False
Let h = -25 + 27. Suppose -2*d + 15 = 2*l + 3, 8 = h*l. Suppose 0 = -d*z + 31 - 83. Which is smaller: z or -24?
z
Suppose 4*t - 1460 + 4298 = -2*d, -6*t + 4*d = 4250. Which is greater: t or -708?
-708
Let w be -5 - (-225175)/(-255) - -2. Let d = -886 - w. Which is smaller: d or -1?
-1
Suppose 4*g = 5*r - 346, -4*r + 5*g + 164 = -111. Suppose -r = 4*y - 18. Is y greater than or equal to -99/8?
False
Suppose 734 = -5*s + 139. Let g be (-6 + (-21791)/s)*(0 - 1). Let m = g + 177. Which is smaller: 0 or m?
m
Let f be (-2 + (2 - (-2)/(-2)))*112/42224. Is -1 equal to f?
False
Let w be 9/(-6)*-234*12/(-18). Let h = w + 209. Which is greater: h or -26?
h
Let y be 106/(-10) - (-2)/(-5). Let l = -931 + 916. Is l bigger than y?
False
Let s be -10*8*21/(-1750). Which is smaller: 2 or s?
s
Let w = -0.01 + -1.49. Let g = 1.2 + w. Let p = 238/3 - 955/12. Which is bigger: g or p?
p
Suppose t - 10464 = 422*h - 421*h, -52315 = 5*h - 4*t. Which is smaller: h or -10458?
h
Suppose 4*s + 2*p = -34, 2*s - 3*s + 5*p - 14 = 0. Let i be -14*8/480*s/2. Are 0 and i non-equal?
True
Let t = 38 + -234. Let q be (-2)/t*(4 + -6 + 5). Which is greater: q or 1?
1
Let t = 313799/9 - 34947. Does t = -81?
False
Suppose 0 = -2*p + p - 2*d - 12, 2*d = 0. Let v(l) = -36*l**3 - 69*l**2 + 25*l + 46. Let j be v(-2). Is p > j?
False
Let y be (-3)/15*485/8. Let k = 2409/200 + y. Let h = -83 + 82. Is k bigger than h?
True
Let s = 39717 - 43936. Is -4219 greater than s?
False
Let r = -54/167 + 11600/36907. Suppose -6 - 2 = -4*d. Suppose 0 = 7*g - 2*g + n - 1, g + d*n + 7 = 0. Is g <= r?
False
Let n be 2*40/8540*(-14)/96. Which is bigger: n or -1?
n
Let u = 145536588/181849 - 15206/19. Which is greater: u or 1?
1
Let s = 259 - 263. Let w be s/(-1) - -4 - 6. Let x = -72/11 - -382/55. Is w greater than x?
True
Let p = 5548 + -7085. Which is bigger: 2/7 or p?
2/7
Suppose -1400 = -0*t - 7*t. Let u be (0 + (-6)/(-2))*9330/(-140). Let z = u + t. Which is greater: z or 0?
z
Let m be (8/31)/(14/(-588)*-14). Suppose 7*n = 2*n. Which is greater: m or n?
m
Suppose -1751 = 7*w + 489. Let j = -310 - w. Let s be (9/2)/((-1)/(-2)). Which is greater: j or s?
j
Let m be (4 + (-52)/6)/((-1)/3). Suppose 0 = 3*h + m*h + 255. Let i(a) = -5*a**2 + 3*a. Let k be i(2). Do h and k have the same value?
False
Suppose -3*j + 18 + 0 = 0. Suppose -10 = -f + j*f. Let r be (-30)/(-15) - (4 + (f - -1)). Is r equal to -2/11?
False
Let i(t) = 248*t - 599. Let s be i(-5). Do -1838 and s have the same value?
False
Let u(w) = 46*w + 6583. Let r be u(-143). Which is smaller: r or 23?
r
Let i(l) = -2*l**3 + 5*l**2 + 4*l - 3. Suppose 4*q + 5*d = 6*q - 6, -d = -2*q + 6. Let j be i(q). Is -8/75 less than or equal to j?
True
Let r be (20 - (-117)/(-13)) + -18. Which is smaller: r or -8.5?
-8.5
Let n be (82253 - 18)*(-2)/(-178). Let j = 924 - n. Which is smaller: -1 or j?
-1
Let o = -6064.5 + 6066. Is o > 83?
False
Suppose f + 4*f = -f + 564. Suppose -470 = -8*t + 3*t. Is f bigger than t?
False
Let f(g) = 1615*g + 14007. Let w be f(-8). Is w > 1081?
True
Suppose -2*f + 310 = -3*x + 762, 0 = 5*x - 4*f - 754. Let a = x + -253. Let u = 53 + a. Is -50 >= u?
True
Suppose -12 + 16 = -s. Let c = -0.074 - 36.926. Let g = c + 37. Do g and s have the same value?
False
Let d be 2293/559 - (-18)/117. Which is bigger: d or 3?
d
Suppose 4*f = -3*f + 35. Let u be 38/14 + -7 + 0 + f. Which is smaller: -2/31 or u?
-2/31
Let u = 0.04085 + -1.66785. Is u greater than -1?
False
Suppose -182*v - 9 = -183*v. Suppose z + 2*q - 5 = 0, 0 = 6*q - v*q + 9. Which is smaller: z or -142?
-142
Suppose 5*k = 2*t + t - 83, -k - 46 = -2*t. Is 378/19 less than t?
True
Suppose 4*a = -a - 10, 3*a + 360 = 2*r. Suppose r = j + 2*j. Suppose -2*n + 89 - j = 0. Which is bigger: n or 10?
n
Let c = -19320 - -21113. Which is greater: 1799 or c?
1799
Let n(p) = p**3 + 13*p**2 + 12*p - 6. Let b be n(-12). Let w(x) be the third derivative of x**4/4 + 35*x**3/6 - 2*x**2 + 4. Let g be w(b). Is 0 less than g?
False
Let m(w) = 2*w + 132. Let k be m(-4). Which is greater: 140 or k?
140
Let z be 7890/(-40502) - (-2)/(-22). Which is greater: -226.1 or z?
z
Let h be 238/(-153) - 832/(-720). Let l = -1 - -6. Is h <= l?
True
Let j(v) = 22*v + 292. Let g be j(-13). Let w(a) = 17*a - 106. Let i be w(g). Is i > -15/4?
False
Suppose 3*t - 4*b - 105 = -77, -2*b = -t + 6. Is 14 greater than or equal to t?
False
Suppose 2*m - 5*f + 71 + 77 = 0, 0 = 2*m + 5*f + 108. Let g = -66 - m. Which is smaller: 18 or g?
g
Let f(p) = -3*p**3 + 3*p**2 + 3*p. Let q be f(-2). Let o be (-3)/(q/(-14)) + (-120)/300. Which is smaller: -2/23 or o?
-2/23
Let q = 1419/29 + -49. Let r(k) = -2*k**2 + 14*k - 5. Let d be r(6). Suppose -31*z = -d*z. Which is smaller: z or q?
q
Suppose 16891*x - 224 = 16892*x. Is x at most -224?
True
Let u = 0.287 - -0.083. Let d = -39.43 + 40. Let z = u - d. Is z greater than or equal to 23?
False
Let s be 34/32*330 - 15/(-40). Are 350 and s nonequal?
True
Let c be (-264)/55*(-3 - 17). Is c at most 96?
True
Let h = 3 - 0. Suppose 3*d - 2*o = 20, -h*d - 3*o = -8*o - 23. Suppose -4 - d = 5*v, -4*t - 5*v = 14. Does -3/113 = t?
False
Suppose 5*c = -k + 10*c - 363, 0 = -0*c + 3*c. Which is smaller: -366 or k?
-366
Let q(b) = -b**3 + 40*b**2 - 38*b - 37. Let u be q(39). Let n be 2/(-3) - (-17)/3. Suppose -9 - 1 = -3*r - n*l, -r = l - 2. Is r greater than or equal to u?
False
Let d be (-36)/(-8)*((-2)/3 + 2). Suppose -2*a - 26 = -5*r - d*a, 0 = -r - 2*a + 10. Do r and 18/19 have the same value?
False
Suppose o - 10 = 4*n, 8 - 20 = 3*o + 2*n. Let c = 14771/13 - 1137. Which is smaller: o or c?
o
Let u = 5200 + -4364. Are u and 836 non-equal?
False
Let q = -3073.5 - -3074. Is q at most as big as 53?
True
Let f = 188 - 122. Is 17 equal to f?
False
Let p = -40 + 29. Let c = 12 + -23.1. Let o = p - c. Is o at least 0.1?
True
Let k be (8/(-6))/(6/27). Let f = -354 + 253. Let a = f - -95. Is k at most as big as a?
Tr