t - 36. Let y be f(-5). Is c <= y?
False
Let c = 22 + -18. Suppose 0 = 5*h - 20, -2*z - 2*z - c*h + 48 = 0. Let v be 116/(-12) - z/6. Which is smaller: v or 0?
v
Let k = -7.974 + -0.026. Let l = -1181 - -2313/2. Let q = -24 - l. Which is smaller: k or q?
k
Let q be (1 + 275)*53/159. Which is smaller: q or 93?
q
Let s = -15581/5340 - -276/89. Let t = s + -419/2940. Which is smaller: 0 or t?
0
Let q(c) = -6*c - 19. Let x be q(-4). Let u be (0/x)/(-2) - (21 + -1). Which is smaller: -18 or u?
u
Let c be (-3)/4*(-20)/(-5). Let w = -137 + 134. Do c and w have different values?
False
Let z = -0.11 + -5.89. Let f = z + -15. Let b = -20 - f. Which is smaller: -2/13 or b?
-2/13
Let d be -263*7/(-105)*-3. Which is greater: d or -53?
d
Let h = -3 + 2. Let m(o) = -o**2 - 8*o + 14. Let z be m(-9). Suppose 2*q = 5*k + z - 27, -16 = -4*q. Which is smaller: h or k?
h
Let c be 1*21 + (-1 - 3). Let m be 21/7 + c/(-5). Is m >= -0.1?
False
Suppose -11 + 36 = 5*y. Suppose 4*h + y*x - 70 = -h, 3*h = 5*x + 2. Is 9 >= h?
True
Suppose -15 = -5*j + 2*i + 8, -2*i - 2 = 2*j. Suppose 14 = j*a + 2. Suppose 9 = -5*g + a. Is g smaller than 1?
True
Let i(r) = -r**3 - 16*r**2 - 8*r - 114. Let h be i(-16). Let u = -18 - -33. Do u and h have the same value?
False
Let g(m) = -m**3 - 4*m**2 - 2*m - 6. Let y be g(-4). Suppose 4*b + 3*l = -26 - 49, 90 = -5*b - 3*l. Let v be ((-9)/(-11))/(b/(-10)). Are v and y non-equal?
True
Let m(u) = u**2 + 6*u - 26. Let r be m(-9). Are 1/32 and r non-equal?
True
Let i = -118 - -118. Is 1.2 greater than or equal to i?
True
Let o = 43.1 + -46. Let w = o + 3. Let a = -6 + 4. Is w > a?
True
Let i be (-4 - -1) + (-394)/(-130). Let k = -3/13 + i. Suppose 1 = 4*l + 5. Is k at most as big as l?
False
Suppose t + 4*z - 131 = 0, 4*t - 31*z + 32*z = 509. Is t > 1/8?
True
Let z = -0.2229 + -0.0471. Let n = -4 - -3.9. Is z at most n?
True
Let n = 121 + -122. Let a be (-6)/4*-2 + -3. Let o = 2 - a. Does n = o?
False
Let a = 18 - 15. Suppose -4*d = 2*s + 4, a = -3*d + s - 0. Is 3/8 less than or equal to d?
False
Suppose 3*z = -2*z + 10. Let s be (z/5)/((-5)/25 - -1). Is -1 less than s?
True
Let u = -44 + 26. Let t be u/24*(-12)/(-93). Is 0 at least as big as t?
True
Let j be (4/(-6))/((-5)/180*4). Let b be (((-144)/(-30))/8)/(2/20). Is j less than or equal to b?
True
Let y(i) = 4*i - 104. Let d be y(26). Which is smaller: -16/23 or d?
-16/23
Let z = 48 - 40. Let g = z + -3. Is g >= -5?
True
Let h = 454 + -381. Which is greater: 2 or h?
h
Suppose -7 = 2*i + 5. Let d = i - -6. Suppose 3*p + 24 + 30 = d. Are -1/2 and p unequal?
True
Suppose 2*w = 4*w + 8. Let n = 2 - w. Let s be (-9)/n + (-9)/(-6). Which is bigger: 1/3 or s?
1/3
Let j = 69 - 67.6. Suppose -1 = 6*h - 7*h. Is h <= j?
True
Let j = -161 + 210. Are j and 49 equal?
True
Let c be (-26 - -10)*7/(-14). Is 116/13 >= c?
True
Let f(y) = -3*y - 9. Let l be f(-4). Let d be (0 + 1/3)*l. Let m be (-2 + d)/(11 + 4). Is m equal to 0?
False
Let y be (1/((-1)/6))/(36/(-24)). Suppose -2*q - y = -6*q. Is q equal to -0.4?
False
Let u be 32 - (10 + (-88)/11). Which is smaller: 40 or u?
u
Let u = -167 - -181.8. Let y = u - 15. Let r = -8.3 + 8. Do y and r have different values?
True
Let j be 14/28*-1*2. Let b be 0 - (-1 - -3)/j. Which is smaller: b or 9/5?
9/5
Let b = -2 + 4. Let t = 226 + -221. Which is greater: t or b?
t
Let p = -237 + 211. Which is greater: p or -25?
-25
Let b = 8 - -21. Suppose -3*z - 2 = 3*i - 26, -3*i + 2*z = -b. Let m be (-2)/(-3) + 28/3. Are i and m unequal?
True
Let n be 125/10 + 3/(-2). Let q be (12/(-14))/((-1)/7). Let s(t) = -t**3 + 6*t**2 + 3*t - 7. Let r be s(q). Do r and n have different values?
False
Let t = 19/291 - 265/97. Let r(o) be the third derivative of o**4/24 - o**3/6 + 2*o**2. Let f be r(2). Is f bigger than t?
True
Let y(t) = -51*t**2 - 14*t - 14. Let s be y(-1). Are s and -54 non-equal?
True
Let n = 2904455451/1635760 - -1/327152. Let a = -1769 + n. Which is greater: a or 8?
8
Suppose 0 = -19*y + 17*y - 2. Let n = -115/696 - -6/29. Is n greater than or equal to y?
True
Let c be (-51)/85*(-80)/12. Is 10/3 >= c?
False
Let o = 694 - 718. Which is bigger: o or -27?
o
Let a(c) = -c**2 + 2*c + 6. Let i be a(0). Let x(g) = g**3 - 7*g**2 + 5*g + 5. Let u be x(i). Which is smaller: u or -6/7?
u
Let z = 0 + -0.11. Let c = 1.69 - 1.8. Let v = c - z. Does 1/3 = v?
False
Suppose -2*w + 47*w = -5130. Which is bigger: w or -341/3?
-341/3
Let n = 94.69 + -88.6. Let d = n - 6.4. Is d greater than or equal to 2?
False
Let t(v) = -v**2 - 2*v + 9. Let s be t(0). Which is smaller: s or 19?
s
Let k be (159/(-12) - -2)/(18/96). Let m be 2 - 1694/1020 - (-20)/k. Is m at least as big as -1?
True
Let v = -537/2 + 77861/290. Does 0 = v?
False
Let l = 17848/7 + -2550. Let q = -0.6 - -0.7. Is l equal to q?
False
Let i = 0.098 + 24.902. Is i at most -0.02?
False
Suppose 4*z = -0*z + 44. Let w = -12 + z. Is -1/18 greater than w?
True
Let x = -0.1575 - -10.5875. Let q = x + 1.28. Let n = q - -0.29. Which is greater: 0 or n?
n
Let j = -1241 - -1232.13. Let u = j + -0.13. Let s = 9 + u. Is s bigger than -4?
True
Suppose -31*a = -75 + 199. Which is smaller: -1 or a?
a
Let n = -11.8 + -35.2. Is n smaller than 3?
True
Let x be -46 - (-1)/(-1)*2. Let v be (10/(-24))/(6/x). Is 4 at least as big as v?
True
Let v = -3.25 + 3.564. Which is greater: v or 0.1?
v
Suppose 0 = 12*g - 8*g - 2*s, 0 = 3*g - 3*s - 3. Is g at least as big as -1?
True
Let p be 4520/90 + (-4)/18. Let l = p - 31. Is l not equal to 19?
False
Let r be 4 + 2 + 340/18. Which is greater: r or 25?
25
Suppose -q + 16 = 7*q. Let j be (-2 - 6)/(q - (1 + 0)). Is j greater than or equal to -10?
True
Let f = -0.00779 - -20.81779. Let x = -44.87 + f. Let u = x + 24. Is u > -1/2?
True
Let r = -49 + 55. Suppose -3*x = -0*x + 12. Let u = r + x. Which is bigger: u or 0?
u
Let c(i) = -i - 602 + 2*i + 593. Let s be c(9). Is 1/67 less than s?
False
Let c = -3 - -8. Suppose 3*p + f = 48, -4*p + 0*f + 3*f = -77. Suppose c*m - p = 3. Is 4 <= m?
True
Let c(d) = 16*d - 1. Let m be c(4). Suppose -9 = -6*q + m. Which is greater: 18 or q?
18
Let t be ((-4914)/630)/((-14)/(-20)). Which is bigger: -11 or t?
-11
Let o = -386 - -252. Which is greater: o or -3?
-3
Let h = -0.2366 + 0.2566. Which is greater: -1/81 or h?
h
Let m = -7 - -33. Which is smaller: m or 24?
24
Let y be (-40)/12 + 3/9. Let r be 304/72 + (-2)/9. Suppose 2 + 2 = -r*l. Is l bigger than y?
True
Let j(l) = -l**2 - 7*l - 3. Let p be j(-4). Is p <= 23/3?
False
Let k be 1*((-30)/3)/(-2). Let g be ((-25)/k)/((-2)/(-80)). Let m be g/35 - 4/14. Is 0 less than m?
False
Suppose 0 = -90*l + 86*l - 4768. Which is greater: l or -1193?
l
Let x = 2.16 + 121.84. Let d = x + -124. Which is smaller: 45 or d?
d
Let b(o) = 4*o**2 + 9*o - 18. Let f be b(7). Are 240 and f equal?
False
Let h be 3 - 1*(0 + -1). Suppose 0*b - 5*q = 5*b - 120, -93 = -5*b + h*q. Suppose 3 = -3*p + 66. Is b at least as big as p?
True
Let j(c) = 3*c + 1. Let h be j(-1). Let q(w) = w**2 + 3*w + 3. Let o be q(h). Let l be -38 + 38 + (-30)/(-33). Is o > l?
True
Let u be (5 + (-15)/3)*(-6)/(-18). Is 2/855 != u?
True
Let t be (-16 - -18)/(2/100). Let o = t + -78. Which is greater: 21 or o?
o
Let a be ((-2)/21)/(-1 + 24/18). Let y = 18 - 19.6. Which is bigger: a or y?
a
Suppose -2*o = 8, 4*d + d + o - 6 = 0. Let l(k) = 2*k**2 - 47*k - 154. Let z be l(-3). Which is smaller: z or d?
d
Let k(w) = -w**3 + 8. Let n be ((-1)/(-4)*0)/(0 - 1). Let t be k(n). Which is greater: t or -1?
t
Suppose -3*y - 2*y + 2*d = -56, -2*y + 5*d = -14. Let s(l) = -l**3 + 2*l**2 + 53*l - 146. Let t be s(3). Which is greater: y or t?
y
Suppose -2*s - 3*q - 10 = -s, 4*s - 8 = 4*q. Let n = 11 + s. Is 10 equal to n?
True
Let s be 2/9 - (-370)/(-45). Let l be 1196/9056 - (-1)/s. Let r = l + 835/1981. Which is smaller: -1 or r?
-1
Let u = -61 - -72. Let o be ((-4)/14)/((-184)/6601). Which is bigger: u or o?
u
Let x = 12087 + -12088. Let c be 1 - 5*(-1)/(-2). Which is greater: x or c?
x
Suppose 3*x + 5*p = 14, 5 = -4*p + 9. Suppose 0 = 4*b - x*k - 4, -2*b - k = 2*k - 2. Is -1/25 <= b?
True
Let n be 5 - -51*(-78)/(-42). Is n smaller than 101?
True
Let f(l) = -l**3 + 5*l**2 + 7*l - 4. Let d be f(6). Suppose d*i - 3*x + 0*x - 13 = 0, 3*i - x = 37. Which is smaller: 13 or i?
13
Suppose 8*s + 2