g. Which is smaller: h or f?
f
Let u = 7 - 4. Suppose -p + 63 - 59 = 0. Suppose 0 = -i + 3*i + 5*w - 13, -p*w + 12 = 2*i. Is i <= u?
False
Let f be ((-3)/((-90)/(-4)))/(3 + 248/(-20)). Is f greater than 216?
False
Let b(x) = 410*x - 647. Let f be b(3). Are 584 and f non-equal?
True
Let v = -3686 - -62592/17. Let x = -11843 + 11840. Which is greater: x or v?
x
Let k = 35758 - 34231.9. Which is smaller: k or -1?
-1
Suppose -6*f - 583 = -2*f - 3*s, 2*f + 3*s + 287 = 0. Let k = -150 - f. Suppose -30 = 5*p + 4*l, 0 = p + 2*l + 6 + 6. Is p less than or equal to k?
False
Let r be 4/(-6)*-3 + 4. Suppose -2 = -r*c + 4*c. Let a be (10/(-6))/(-11 - -7). Is a at most as big as c?
True
Suppose -3*o = -4*t - 135 + 167, -16 = -2*o - 2*t. Let j = -67626/35 - -1932. Is j equal to o?
False
Let b be -7 - (2268/1260 - (2 - 1702/10)). Which is smaller: b or -1/39?
b
Let p = -1613 - -1728. Which is bigger: -2/17 or p?
p
Let v be (14/(-1) + 2)*(-1855)/(-212). Is v greater than -82?
False
Let c be (-153)/7 - (41 + -38). Let z = 1594/63 + c. Which is bigger: z or -0.19?
z
Let z be (-1)/(-2)*0/(-2). Let b = -14176/3 - -4839. Let q = -114 + b. Is z bigger than q?
True
Let l = -0.13 - 0.87. Let w be (-3 - (-5)/1)/(-27). Let p = w + 85/54. Which is smaller: l or p?
l
Suppose 4*n = 2*y - 42, 3*y - 5*n + 9*n - 63 = 0. Suppose 4 = -2*p, -5*i - p + 94 = 2*p. Suppose -f = -i + y. Which is smaller: f or -6/11?
f
Suppose -9*l - 280 = -88*l - 61*l. Let s be 2 - 2*42/117. Is s less than l?
True
Let h(g) = -1953*g - 154. Let a be h(7). Are a and -13825 equal?
True
Let r be ((-8964)/21)/(10/(-35)) - (0 + -2). Is 2 bigger than r?
False
Let l = 34021 - 34036. Suppose 7 = b - 2*b. Is l <= b?
True
Let q = 3166348/11 - 287405. Let x = q + -447. Suppose -4*s + 2*f + 6 = 0, -4*s - 3*f - 14 = -f. Which is bigger: x or s?
s
Let k = -57 + 80. Suppose k*u = 38*u - 20*u. Is u at most as big as -7/15?
False
Suppose -q + 0 = 1. Let j be (-2 + 2 + -6)*(-61)/(-488). Is q at least as big as j?
False
Suppose 225*k + 275 = 214*k. Let v = 0 - 22. Which is bigger: v or k?
v
Let u = 5257 + -5255. Is u bigger than 6/7?
True
Let f be ((-34)/6)/(1/3). Let i(a) = 75*a + 96. Let z be i(-6). Let n be 1/(-7) + -2*z/(-42). Is n > f?
False
Suppose 0 = -4*u - 4*c + 32, 0*c = 3*u + 2*c - 22. Let n be 22/3 - (2/u + -1). Suppose 72 = -n*y + 4*y. Is -19 >= y?
False
Let k be (2646/216)/(-49) + (18879/12)/(-7). Let t(i) = 46*i + 6. Let c be t(-5). Which is bigger: k or c?
c
Let w = 0.0363 + 230.9637. Let p = 230.82 - w. Is p at least 6?
False
Suppose 3*m + 3*v = -300, 0*v = 2*v + 4. Let h = 888 - 884. Is m smaller than h?
True
Let l = 0.0498 + -0.1498. Which is bigger: l or 5/301?
5/301
Let a(p) = 2*p**2 - 13*p - 32. Suppose 3*y - 5*c = 19, -2*c + 25 = 3*y - c. Let q be a(y). Which is greater: -21 or q?
q
Suppose -89*i = -94*i - 45. Let c be 1/6*16/i. Is -1 smaller than c?
True
Let p(k) = k - 338. Let b be p(20). Let g = -639/2 - b. Is -11 equal to g?
False
Let r = 24/1673 + 28794/92015. Let o(q) = -q**2 + 7*q + 7. Let y be o(8). Is r smaller than y?
False
Let z(y) = 8*y - 12. Let s be z(2). Suppose s*a + 0*a + 916 = 2*w, -2*a - 448 = 4*w. Which is smaller: -227 or a?
a
Let b = 14/561 + 5/33. Suppose -141 = -11*y + 13. Let d be 0*(-7)/y*1. Which is bigger: b or d?
b
Let y = -72 - -75. Let v be y/(-4) + (-155)/(-20). Suppose -126 = v*z - z. Which is smaller: z or -18?
z
Suppose 25 = 7*k - 2*k, 93 = r + k. Let i = r - 145. Let c = i + 60. Are 22/13 and c nonequal?
True
Let h = 215 + -215.55. Suppose -5*k + 12 = -2*p, -4*k + 2*p + 13 = -3*p. Which is bigger: k or h?
k
Let g be (-286)/(-15) - ((-8)/(-12)*-3)/(-1). Are 16 and g non-equal?
True
Let v(o) = -o - 11. Suppose -2*c - 2*c = -2*l + 8, 5*c = l - 10. Suppose 2*g + 0*g - p + 19 = l, -4*g + 4*p = 32. Let s be v(g). Which is bigger: -3/8 or s?
s
Let p = -808 - -802. Let h(y) = y**2 + 10*y - 13. Let o(n) = -n - 19. Let q be o(-8). Let f be h(q). Which is greater: p or f?
f
Let p(u) = -u - 21. Let i be p(-26). Suppose -i*w = -5*t - 7*w - 11, 4*t = -w - 7. Which is bigger: 2/1075 or t?
2/1075
Let l be ((-61)/(-2))/((-3)/(-6)). Suppose -594 = 453*p - 473*p + 646. Is p at most as big as l?
False
Let b be 3*5/(-6)*(-5 + 1). Suppose -176 = -b*o - 6*o. Which is smaller: 81/7 or o?
o
Let g = 435.335 + -0.335. Let a = g + -420. Is 16/7 at least as big as a?
False
Let r be (-43469)/(-17) - (-9 + 8). Is r != -1?
True
Let u = 0.123 - -0.105. Let a = 0.195 - u. Which is greater: 0 or a?
0
Let y(t) = -t**3 + 8*t**2 - 7*t. Let w be y(7). Suppose w = 2*f - 13 - 13. Let x = -33.9 + 32.9. Is x less than f?
True
Let q(n) = n**2 + 5*n - 51. Let h be q(-11). Suppose -x + 2*a - 6*a = 11, -3*x + 4*a = -h. Is -3/413 greater than x?
False
Let a be 440/264 + (-2)/3. Is a at least as big as 3/3533?
True
Suppose -2847*k + 2829*k - 15930 = 0. Do k and -9750/11 have the same value?
False
Let i be 11 - 0 - ((-3 - -24) + -10). Is i greater than or equal to 4/171?
False
Suppose -45*p + 51552 = -109*p + 52*p. Are -4296 and p unequal?
False
Let f = -143 - -111. Let n = -33 - f. Let h be 24/(-3)*3 + 2. Are h and n equal?
False
Suppose -30*a - 30*a = -8*a - 35672. Is a >= 686?
True
Let g = 328 + -319. Let n(u) be the second derivative of -u**4/12 + u**3 - 3*u. Let y be n(3). Are g and y equal?
True
Let k = 1404 + -1469. Do k and -67 have the same value?
False
Let u be 12/18*(-5 - (595/(-1))/5). Is 72 greater than u?
False
Suppose -5*s = -2*s + 291. Let c = 993 - 3516. Let p = 2425 + c. Which is smaller: p or s?
p
Suppose -2*v + 124*k + 8608 = 128*k, -3*k - 6 = 0. Is 4308 at least v?
True
Suppose -2358 = -44*m + 1338. Suppose 342 = -3*g + 3*a, 3*g - 224 = 5*g + 2*a. Let n = g - -198. Which is greater: m or n?
n
Let h = 7.8 - 7.7. Are h and -1007 non-equal?
True
Let w = 0.14459 - 71.14459. Is 29 greater than w?
True
Let x(q) = q**2 - 18*q - 52. Let d be x(21). Let g(z) = z**3 - 10*z**2 - 12*z + 15. Let u be g(d). Suppose -10 = -u*y - 58. Which is smaller: y or -45/4?
y
Suppose -2*a - 2*u = -16 - 2, a - 5*u + 21 = 0. Suppose 354 = -i + 3*i - 3*h, 2*i + a*h - 368 = 0. Let w be i/(-63)*(-1)/((-4)/(-14)). Is w greater than 9?
True
Let h be (-3)/(-2)*(-86)/(-3). Let k(u) = 10 - 41*u - h*u + 0*u**2 + 82*u - u**2. Let j be k(-6). Which is bigger: j or -15?
j
Let p be (-19 - 0)*(322/(-63) - -5). Are -17 and p equal?
False
Let d = -20 - -10. Let t(j) = 11*j**3 - 16*j**2 - 1. Let u(c) = -2*c**3 + c**2. Let g(z) = t(z) + 6*u(z). Let m be g(d). Which is greater: m or -34?
m
Let z = 5.166 - 5. Let h = 0.196 - z. Which is smaller: h or 0.1?
h
Suppose 69*o - 104*o = -106015. Which is bigger: o or -1?
o
Let t = -584 + 1279. Let s = t + -695.1. Is s at most 242?
True
Suppose 5*m = 2*u - 57, 0 = -4*m - 6*u + 3*u - 64. Let n(c) = c**3 + 15*c**2 + 26*c - 6. Let x be n(m). Let j = 0 + 2. Which is greater: x or j?
j
Suppose 0 = 2*f + b + 28, 52 - 10 = -3*f - 5*b. Let x(h) = -h**3 + 8*h**2 + 10*h - 1. Let t be x(9). Let o = t - f. Are o and 23 non-equal?
True
Let k be -1*(696/76 - 9). Is -1 < k?
True
Suppose -4*u + 4*f + 112 = 0, -u + 0*u = 3*f - 8. Let z be u - (2 - 4/4). Let y = 22 - z. Is -2/21 at most y?
True
Let l = 224252 + -10089113/45. Let c = l + -440/9. Which is smaller: 2 or c?
c
Let v(m) = 43*m + 988. Let d be v(-52). Which is greater: -1247 or d?
-1247
Let d be (-40)/15*((-29)/4 + 4 + 1). Which is bigger: d or -3?
d
Let g(p) = -p**3 - 2*p**2 - p + 3. Let o = 71 + -68. Let z be g(o). Let s = 58 + z. Which is bigger: s or 11?
s
Let n be -12*(-3 + (-30)/(-8)). Let q be n/(-4*(-2)/(-15)). Let v = q - 17. Which is greater: v or 0.1?
0.1
Suppose 3*d + 75 = 3*w, -5*w + 0*w + d = -125. Let y = -0.027 + 0.007. Do y and w have different values?
True
Let x(j) = -4*j**2 - 33*j + 22. Suppose 0 = 14*h - 54 + 250. Let v be x(h). Is -301 < v?
True
Let g be -64 + -9 - (-5 + (-1)/(-1)). Let l(h) = -3*h**3 - h**2 + 2*h + 4. Let v be l(-3). Let b = v + g. Is -2/109 greater than or equal to b?
False
Suppose 0 = -8*k + 73 - 9. Let c(h) = h**2 - 4*h - 10. Let d be c(k). Do 24 and d have different values?
True
Let q(x) = x**3 + 33*x**2 + 192*x - 182. Let j be q(-25). Which is smaller: 190/11 or j?
190/11
Let o = 2020.4769 - 0.4769. Let q = o - 2081.87. Let v = q + 62. Is -1/4 bigger than v?
False
Let a = -10094 + 11053. Which is smaller: 