 h?
True
Let p be 8/28 + 19/7. Suppose -p*g + 6*w - 2*w = -21, 3*g + 5*w - 21 = 0. Is g smaller than 0?
False
Let a be 4 + -1 + -5 - -1*2. Let u be 4/(-2) + (-20)/(-11). Is u greater than or equal to a?
False
Suppose 4*w - 6*w = -4*f - 778, 0 = 3*w - f - 1172. Which is smaller: w or 392?
w
Let p(n) = -5*n - 87. Let q be p(-15). Suppose -2*g = g + 39. Which is greater: g or q?
q
Suppose 3*h = -2*r + 135, 10*r + 60 = 11*r + 3*h. Which is bigger: r or 77?
77
Let o = 46/351 + -25949/206037. Are o and 0 equal?
False
Suppose -5*s = -0*s + 2*f - 1, -2*f = -5*s - 11. Let z be (-1)/((-8 - -9)/((-3)/s)). Do z and -11/4 have different values?
True
Let r = -10.59 - -0.59. Let l = 9.9 + r. Let c = 2 + -2.1. Is l bigger than c?
False
Let d = 94 + -22. Let z = -4395 - -4394. Is z bigger than d?
False
Let c = -6.36 + 7.1. Let z = c - 0.4. Let g = 0.04 - z. Which is smaller: g or -0.1?
g
Let y = -983.3 + 1035. Let g = -51 + y. Does g = 3?
False
Let z = 136 - 138. Is -23/8 > z?
False
Let u = -11 - -9. Let w be -3 + 33*u/(-2). Suppose -5*l + 0 = w. Which is bigger: l or -3?
-3
Suppose -2 = -2*u - 4. Let s be (-24 + 149)/((-1)/10). Let w be s/310 + (2 + 2 - 0). Which is bigger: u or w?
w
Let u(p) = -p**2 + 4*p + 3. Let t be u(6). Let w be (-3)/t*(2 - 2). Which is bigger: w or 1/20?
1/20
Let i(d) = d**2 - 4*d - 2. Let n be i(6). Let f be 8/40 + 2/n. Let a = -28 - -34. Are f and a non-equal?
True
Let t = 0.1 - 0.1. Suppose 46*a = 84*a - 950. Which is bigger: t or a?
a
Let g(p) = p**3 - 5*p + 5. Let a be g(2). Let o be (-40)/6 + 4 + a. Which is smaller: o or 1?
o
Let n = -121/3 + 1411/35. Let q(o) = o**3 + 9*o**2 - 4*o - 35. Let m be q(-9). Which is smaller: n or m?
n
Let w = -12 + -1. Let r(z) = -z**2 + 2*z - 6. Let c be r(4). Is w equal to c?
False
Let b be (-18)/(-54) + 0*(-2)/4. Is 3/7 equal to b?
False
Let i(x) = x**2 + 6*x + 6. Let f be i(-5). Let z be (264/(-7524))/(1/(-6)). Which is greater: f or z?
f
Let f(v) = -88*v - 173. Let t be f(-4). Which is bigger: t or -0.1?
t
Let i(f) = -11*f + 82. Let a be i(32). Do -271 and a have different values?
True
Let z(k) = -k + 24. Let q(n) = -2*n**2 + 22*n - 12. Let l be q(9). Let g be z(l). Are 2/21 and g nonequal?
True
Suppose 0 = o + 25 + 17. Let y = o - -43. Is 18/11 smaller than y?
False
Let t = -198 + 198. Is 1/141 smaller than t?
False
Let m(h) be the third derivative of h**6/120 - h**4/4 + h**3/2 - 3*h**2. Let s be m(2). Is s at most as big as 2/29?
True
Let i(v) = -v + 5. Let s(o) = o**3 - o**2 + o + 4. Let g be s(0). Let k be i(g). Suppose -18 = -5*m + w, -w - 2*w = 3*m - 18. Is k greater than m?
False
Let d be (2 - 2)/(-1 + 3). Let w be (d + -9)*(-7)/(-21). Let k = 3 + w. Is -0.09 <= k?
True
Suppose -3*i - 5 = -p + i, 3*p - 3*i = 6. Which is greater: p or -1/1323?
p
Let v = 0.6 - 0.6. Let b be (1 + 14/6)/((-3)/9). Let d be (-8 + 4)*1/(b/(-1)). Is v less than or equal to d?
False
Suppose -10787 = -93*h + 26*h. Is h > 163?
False
Suppose -1 = -5*o - 3*p - 5, -12 = -3*o + 3*p. Which is smaller: 13/9 or o?
o
Let f = -47 + 49. Let v be (-540)/(-176) - f - 12/(-16). Which is smaller: 2 or v?
v
Let a = 347 - 347.3. Is a less than or equal to 7/9?
True
Let n(h) = -3*h**2 + 7*h. Let j(u) be the second derivative of u**4/12 - u**3/3 + 6*u. Let o(t) = 8*j(t) + 3*n(t). Let v be o(5). Is -2/23 less than v?
True
Let h = -7/27 - -151/270. Let n = -2/15 + h. Are -3 and n equal?
False
Let a = -2/3963 + -229832/43593. Is -6 > a?
False
Suppose -3*o = -5*g + 9, -5*g = -o - 2*g - 3. Let h(z) = -15*z + 5. Let n be h(3). Let q be 3 - (8/10)/((-16)/n). Is q <= o?
False
Let o = -17/52 + 1/13. Suppose 2 = 7*j - 12. Which is greater: o or j?
j
Let u = -54.883 - 0.117. Let k = u + 55.1. Let c = -3/77 - -36/77. Which is smaller: k or c?
k
Suppose 9*r + 2*f = 4*r + 16, 3*r = -2*f + 12. Suppose -r*u + 147 = 5*u. Is u bigger than -1?
True
Suppose -31 = 3*y + 5*z, 2 = 3*z - 1. Suppose 3*g + 3*a - 3 = 0, -g - 5*a + 3 = -2. Suppose 0*x - 2*x - 22 = g. Is x not equal to y?
True
Let h be (5 + 135/(-25))*(-10)/4. Are -8/25 and h non-equal?
True
Let v be (-3)/5*(6 + -1). Let h(c) = c**2 + 4*c - 1. Let l(p) = -p**2 - 4*p. Let g(a) = -4*h(a) - 5*l(a). Let k be g(v). Do 1/7 and k have the same value?
False
Let z = -8.269 + -82.791. Let o = z - -91. Is o at most as big as 1/3?
True
Suppose -3*o = -4*k - 45, -11*k + 15*k = -o - 1. Is o at least 1?
True
Suppose -2*a = 3*a - 0*i + 5*i, -5*i = 0. Which is greater: a or -3/20?
a
Suppose -3*y = -4*y - 1. Is -2/1409 bigger than y?
True
Let r be (2/19 - 496/19)/2. Which is bigger: r or 4?
4
Let s = 938/11 - 17514/209. Is 2 greater than or equal to s?
True
Let k = 6.84 - -0.36. Let y = -8.6 + k. Is 0.1 at least y?
True
Let c(b) = -b**3 + 7*b**2 - 6*b. Let d(n) = -n**2 - 8*n + 6. Let o be d(-8). Let w be c(o). Is w >= 3/13?
False
Let b(a) = -1 + 0*a + 28 + a + a. Let y be b(-13). Does 1/34 = y?
False
Let p be (-67)/(-4) - 48/64. Are 50/3 and p unequal?
True
Suppose 0 = 21*j - 18*j. Suppose j = 3*x + 3, 5*a + 7*x = 2*x - 85. Is a less than or equal to -17?
False
Let q = -160 + 1122/7. Let s be 1/(3*(32/(-12) + 4)). Is q at least as big as s?
True
Let c = -390 + 5848/15. Suppose 2*w = -t + 5, 3*w - 3*t = -2*t. Let z = 0 - w. Which is greater: z or c?
c
Let y(u) = -u**2 - 19*u - 10. Let x be y(-14). Let m be (-6)/x*2 + -2. Which is smaller: m or -2?
m
Suppose 7*w = 2*w + 105. Suppose 3*j - 2*k = 65 + 6, -4*j = -2*k - 94. Is j >= w?
True
Let q be 2/9 + 578/(-9). Suppose 2*t + 2*l + 130 = 0, 46 = -t + l - 15. Are q and t unequal?
True
Let b = 514 + -565. Are b and 0.03 equal?
False
Let b = 1889037/197 - 9589. Which is bigger: -1 or b?
b
Let i be 5 + 0 - (-1947)/33. Let w = 62 - i. Which is bigger: w or -12/17?
-12/17
Let q = 135.956 - 136. Which is bigger: 2 or q?
2
Suppose -23*b + 3933 = -4*b. Is b not equal to 207?
False
Suppose 2*v + 169 + 110 = -3*h, 4*v - 2*h + 582 = 0. Let b be (-2)/7 - v/14. Let u be 4/b*(15 + 0). Is u less than 6?
False
Let j = -422 + 591. Is 170 not equal to j?
True
Suppose 4*s + 22 = -2*l, -s + 3 - 21 = 3*l. Let p(q) = q**2 + 4*q + 3. Let a be p(s). Suppose d + 2*d = a. Is 1 > d?
True
Let h(p) = -3*p + 72. Let d be h(19). Which is smaller: 103/7 or d?
103/7
Let d = 33.006 + -33. Let c = 0.244 + d. Which is greater: -2/5 or c?
c
Let h = 10 + -6. Suppose g + 35 = -h*g. Let w = -1041/2 + 515. Which is smaller: g or w?
g
Let j be (54/8)/((-222)/(-16) + -12). Which is smaller: -9 or j?
-9
Let m(w) = w**2 - 3*w + 3. Let x be m(3). Suppose 2 = -x*r - 1. Which is smaller: r or 3?
r
Let m = 68 + -72. Let g be ((-12)/(-16))/(m/(-48)) - 4. Is 2 at least as big as g?
False
Let i(g) = -9*g**3 - g**2 + 1. Let q be i(-1). Let l(d) = -6*d**2 - 144*d + 7. Let v be l(-24). Is q <= v?
False
Let l = 2889 + -153122/53. Which is smaller: -1 or l?
-1
Let i be (0 - 0) + (-410)/15. Let w = i + 458/15. Which is greater: w or 4?
4
Let v be -4 - (-9)/(12/4). Let w be 1 + 1 + 0 + v. Which is smaller: w or 3/2?
w
Let f be (12/(-3))/((-3)/9). Suppose -f*y = -10*y - 22. Which is smaller: 13 or y?
y
Let z(a) = -11*a - 17. Let m(s) = 6*s + 8. Let c(k) = -7*m(k) - 3*z(k). Let l be c(-1). Let h = -3 - -6. Which is smaller: h or l?
h
Let v be 7*(-8 - -10) - (-2 + 0). Is v < 12?
False
Let x be 26/8 + 2/(-8). Suppose -5*s + 3*k = 4*k - 6, x*s - 4*k + 1 = 0. Which is smaller: s or 2/101?
2/101
Let t(c) be the first derivative of -c**4/4 + 7*c**3/3 + 5*c**2 - 4*c - 6. Let w be t(8). Suppose l = -l + w. Is l < -2?
False
Let q(l) = -l**2 + 6*l + 10. Let z be q(11). Let w = z - -38. Let j be 12/w + 0 + 1. Which is smaller: j or -2?
-2
Let i = -135 - -204. Let h = 69.1 - i. Is 23 not equal to h?
True
Let c = -7 + 18. Let j = c - 6. Suppose j*z + 2 = -3. Which is smaller: 1 or z?
z
Let d = 797468/8255 + -7/1651. Let q = d - 91. Is 7 less than q?
False
Let s be ((-25)/(-40))/(8/(-96)). Is -8 less than s?
True
Let f be (2/(-4))/((-2)/(-4)). Let u be 7 - 7 - (-3 - -2). Suppose 12*d + u = 11*d. Do d and f have different values?
False
Let m = -18 - -22. Let b be m/(1/(9 - 3)). Suppose -12*i + 9*i + b = 0. Are 2 and i nonequal?
True
Suppose 9*k - 31*k = 2970. Which is greater: k or 1/4?
1/4
Let k = 14 + -11. Suppose 2*i - 1 = 5*g, -k*g = -2*i - 1 - 0. Does -3/52 = g?
False
Suppose -12*u = -13*u - 50. Let h be u/(-20)*3/15. Which is smal