ler than h?
False
Let j = 17 + -26. Let y be (74 + -1)/(19/(399/28)*-6). Which is greater: y or j?
j
Let b(q) = q**3 + 21*q**2 + 101*q + 55. Let l be b(-13). Do 1299/14 and l have the same value?
False
Suppose 2*b - 4*b = z + 2, 2*z = 5*b - 13. Let p be -4 + (-1 - b - -16). Suppose -3*f = 4*l - 61, f - 4*f + 22 = l. Is p at most l?
True
Suppose 7*k - h - 2 = 3*k, 10 = -4*k - 5*h. Suppose k = 10*u - 3 - 57. Let q be (45/(-5))/(2/u*1). Which is greater: q or -25?
-25
Let z = 99 - 256. Let v = z - -158.1. Which is smaller: v or -0.7?
-0.7
Let c = 1406 + -786. Let z = 580 - c. Which is greater: -42 or z?
z
Let b(d) = 241*d - 5218. Let w be b(87). Which is smaller: w or 15748?
15748
Suppose -4*o + 308 = 5*g, -6*g = -g - 2*o - 296. Let b be 1 + 248/g - 2/15. Suppose d - 8 = p - 35, -119 = -b*p + d. Are p and 23 nonequal?
False
Let c be 45*45/(7 - 16). Is -225 bigger than c?
False
Let t = 51/347 - 199235/1374467. Are t and -1 non-equal?
True
Let z be (7467/(-2490) - -3)*(-100)/75. Which is bigger: z or -1?
z
Let y be 0 + (5 - (3 - 0)). Suppose 10 = -y*z - 4. Suppose 0 = 202*s - 223*s - 294. Which is bigger: z or s?
z
Suppose 36 = 2*s - 4*p, -4*s + 28 = -534*p + 537*p. Is s < 477/55?
False
Let n(t) be the second derivative of -t**3/6 + 3*t**2 + 6*t. Let x be n(-28). Suppose -w = 5*d - x, -2*d + 3*w = -3*d + 18. Is 2 at least as big as d?
False
Let y = 1003 + -1065. Is y < -66?
False
Let t = -252 + 257. Suppose -39 = 2*f - t*l, -4*f = -f + 4*l + 1. Which is bigger: 5 or f?
5
Suppose -6*o - 3*o - 27 = 0. Let q be o/(-4) + (-96)/128. Which is bigger: -6/7 or q?
q
Let w(q) = 136*q**3 + q**2. Let j be w(-1). Let i be j/(-175) - 2/10. Let p = -11.22 + 11.22. Which is smaller: p or i?
p
Suppose 2*l + 8 - 57 = -m, -3*m + 2*l = -123. Let v = -136858 - -136902. Which is bigger: v or m?
v
Let f be -2 + 3 - (22695/(-560) - 46/161). Which is smaller: f or 43?
f
Let v = 6 - 12. Let m be 25/8 - (245/40 - 6) - 12. Let o be m/v*3/(-9). Which is greater: o or -0.25?
-0.25
Let w = 15/3107 + -1311409/52819. Are w and -25 unequal?
True
Let l = 662822/10431 - -14/1159. Suppose -5*t - 200 = -3*x, 2*x + 6*t = 3*t + 127. Which is greater: l or x?
x
Let u = 18.4 - -1.23. Let c = u - 22.9. Let t = c + 0.27. Which is bigger: t or 6?
6
Let w be (0 - 1)/((-20)/340). Suppose -315 = w*q - 12*q. Let g = q + 75. Is g less than or equal to 6?
False
Let m = -3071 - -2902. Which is smaller: -170 or m?
-170
Let l(v) = v**2 + 11*v + 1. Let r be l(-10). Let g be (-8)/3 - 10/(-15). Which is bigger: g or r?
g
Suppose -24 = -v - 5*n, 1 - 3 = n. Suppose w = 2*l + 8, -5*l + 8 = -w + v. Let u be l/(-1 + 0 + 20/8). Which is greater: -1 or u?
-1
Let n = 569 + -331. Let d = n - 238. Is 9 < d?
False
Let s = -60 - -62. Let o be (0 - -2)/((-16)/88)*s. Let n = 3/31 + 53/93. Which is smaller: n or o?
o
Let p = 9.905 - 9.7. Let c = 0.015 + p. Let y = -0.12 + c. Which is bigger: 34 or y?
34
Let n be (2/1 - 3)*-1. Suppose 2917 = -9*p + 433. Let b = 4969/18 + p. Is b > n?
False
Let p = 0.664 - 0.034. Let o = p - 0.53. Suppose 3*y = -3*v + 45, 3*v - 47 = -y - 4. Which is smaller: o or v?
o
Let f be (7161/(-22))/(-93)*(-10)/(-28). Which is smaller: -0.311 or f?
-0.311
Let k = 25 + -51. Let r = k - 13. Let y = r + 39.1. Does 7 = y?
False
Let b be (44/(-60) - (-2)/5)/((-4284)/(-1836)). Let l be (1 + -1)/(0 - 1). Which is smaller: l or b?
b
Let s(g) = g**2 - 14*g - 5. Let v be (-15)/(-2 - (2 + -3)). Let a be s(v). Suppose -5*x = a, -3*q - 2*q + 2*x - 21 = 0. Which is greater: q or -30/7?
-30/7
Let n = -27 - 13. Let t be n/(-720)*1*69. Which is bigger: t or 3?
t
Let i = -543 + 546. Suppose i*v = 3*g, 5*g + 3 = 5*v - 3*v. Which is smaller: -2/43 or v?
v
Let a = 1.1094 + -1.2124. Are -12 and a unequal?
True
Let x be 287644/(-32256) + 9 - (-1)/(-9). Which is smaller: 1 or x?
x
Let a = 8.83 + 79.17. Is a at least as big as 8.1?
True
Let s = -86.51 + 86.66. Which is smaller: -3/68 or s?
-3/68
Let a be ((-1)/(-2))/(1222/(-156) - -8). Is -1/146 equal to a?
False
Let n(w) = -4*w**2 + 6*w - 2. Let l be n(2). Let m be 0 - (l - 94/(-6)). Suppose 0 = -h + 6*h + 50. Is m equal to h?
False
Let w be (-22848)/24 + 1*(-1 - 0). Is w bigger than -953?
False
Let d = 4262 - 4229. Let w(v) = -v**2 + 9*v + 1. Let x be w(9). Do x and d have the same value?
False
Suppose c - 268 = 5*c. Let m = -82 - c. Let r be (-1 - -3)*m - -2. Is r at most -26?
True
Let y be (-2 - 3) + (10 - 4). Let h(k) = -k**3 - 2*k**2 - 3*k + 5. Let o be h(y). Which is bigger: -2/281 or o?
-2/281
Let i(u) = 66*u - 179*u + 2 + 91*u - 13. Let m be i(-1). Which is smaller: m or 31/3?
31/3
Let l = -14446 + 14517. Is l greater than 94?
False
Let k(t) = 19*t**2 - 3*t. Let u be k(-1). Suppose -m - 4 = u. Let a = -515 - -491. Is m less than or equal to a?
True
Let t = 2482 + -2475. Which is smaller: t or -482?
-482
Let z = -7.886 - -0.086. Let s = z + -28.2. Let d = -38 - s. Is -5 >= d?
False
Let i(g) = 13*g + 4. Let c be i(9). Let v = c + -64. Suppose 3*k - v = -6. Which is smaller: 18 or k?
k
Let o be (-430)/(-30) - (-4)/6. Let p be 2/(-4) - (-3)/o. Let t = p + 29/30. Which is smaller: t or 1?
t
Let y(v) = 3*v**2 - 13*v + 10. Let b(t) = 2*t**2 - 7*t + 5. Let j(s) = 7*b(s) - 4*y(s). Let x be j(1). Which is smaller: x or 1/43?
x
Suppose 9 = u, 5*u = m - 1406 - 1160. Which is smaller: m or 5223/2?
m
Let f = 248/199579 + 4080494835/560218253. Let h = 2/2807 + f. Which is bigger: 8 or h?
8
Suppose -49*x = -53*x - 1036. Let h = -257 - x. Which is greater: h or 13/3?
13/3
Suppose -350 = 5*x + 3*l, 5*x - 2*l + 885 = 535. Let w be (3/8)/((-4)/744). Which is bigger: x or w?
w
Let r(i) = 9*i + 62. Let x be r(-10). Let l = -32 - x. Let c be (-16)/(-126)*-3 - l/6. Is -15/2 greater than or equal to c?
False
Let t = -0.00347 - 190.99653. Are t and 11 non-equal?
True
Let u(w) = 5*w + w**2 - 10*w - 7*w + 10. Let m be u(7). Let y = m - -26. Which is greater: y or -1/18?
y
Suppose 18 = w - 10. Suppose -4*u + 45 = -75. Which is greater: w or u?
u
Let p = -3345 + 3344.8. Which is smaller: 1177 or p?
p
Let g = -0.27467 - 3.72533. Which is greater: g or -1.364?
-1.364
Let b = 36 + -32. Suppose 3*v = 0, 4*c - 3*c = -b*v - 109. Is c smaller than -108?
True
Let c be -2*(-2 - (-41603883)/6). Let h = c - -50756722147/3660. Let l = h + -1/244. Is -1 at least as big as l?
False
Let y = 0.3 + -0.2. Is y at least as big as 2947?
False
Let n = -2190.4 + 2197. Let u = -12.1 - -2.1. Let q = n + u. Which is greater: 0.2 or q?
0.2
Let d(g) = -g**3 - 13*g**2 - 11*g + 8. Let f(c) = 2*c**3 + 26*c**2 + 23*c - 15. Let u(k) = -7*d(k) - 3*f(k). Let m be u(-13). Let i = 1611/14 + m. Is i != -0.1?
True
Suppose -4982 = 29*a - 86*a - 20030. Which is smaller: -267 or a?
-267
Let g = 3695 - 3702. Which is smaller: g or -9?
-9
Let t = 11651/2 + -5842. Which is smaller: t or -7?
t
Suppose -2*o - 28 = 4*z, 2043*o - 2047*o = -3*z + 89. Suppose -4*n + 3*d + 1 = 0, n = 4*n - d - 7. Let h be 2/4 + 1/n. Do h and z have different values?
True
Let c = -0.167 + 9.067. Let t = c + -6.9. Which is smaller: 212 or t?
t
Let v = -159.3 - -151. Let u = -52 + 60.6. Let k = u + v. Is 13 < k?
False
Suppose -7*o - 650 = 3*o. Let g = 80 + o. Is 20 at least as big as g?
True
Suppose b = k - 5853, 0 = -7*b + 50*k - 55*k - 40995. Do -5854 and b have the same value?
False
Suppose -2541*i - 3*w - 40032 = -2537*i, 3*i = -4*w - 30010. Is i less than -10013?
True
Suppose -3*l + 2*l + b = -1, -4*l + 5 = -5*b. Let f be (-386)/26 + (-378)/(-27). Is l > f?
True
Let h(n) = -n**3 + n**2 + 2*n + 2. Let m be h(0). Suppose -4*w - 260 = v, 3*v - v - 130 = m*w. Let l = w - -584/9. Is l at least 0?
False
Let s = 97 + -93. Let j(t) = -t**3 + 2*t**2 + 11*t - 7. Let y be j(s). Suppose -2*r - 5*d + 142 = 0, y*r - 4*d - 301 = -3*d. Which is smaller: r or 60?
60
Let p = -23281 + 2933425/126. Is p at least 1?
False
Suppose -3048 = 62*y - 11728. Suppose -4*k + y = 72. Is 0.6 greater than k?
False
Suppose -8 = -2*d + 3*i, 2*d + 2*i + 4 = -i. Let h be (-8 + 11)*(d + 12/(-9)). Which is greater: h or 1/96?
1/96
Suppose -35*o - 34194 = -2449. Which is smaller: o or -904?
o
Suppose 22 = 4*p + 3*d - 209, -2*p - d + 117 = 0. Let z = -63 + p. Let r be 10/((z + 2)*2/(-18)). Which is smaller: 0.1 or r?
0.1
Let s = -726 + 439. Let m = s + 285. Which is greater: 1 or m?
1
Let s =