43. Let y = -137 + c. Let g be (4 - 7) + y/(-9). Is g > 3?
False
Let q be (-6)/22*3/9. Suppose -u = -15*u. Which is smaller: u or q?
q
Let z = -862/5 - -172. Which is bigger: z or -18?
z
Let u be (-1)/7*(-532)/38. Which is bigger: u or -12?
u
Let o be (-2*449)/(-17 - -19). Which is greater: o or -450?
o
Let c(s) = 4*s**3 - 2*s**2 + 2*s - 4. Let g be c(2). Suppose g = -16*t + 22*t. Suppose -4 = -3*y + 11. Do t and y have the same value?
False
Let v(a) = -a**3 - 12*a**2 + 38*a - 95. Let f be v(-15). Which is bigger: f or 186/19?
f
Let p(r) = -73*r - 90. Let q be p(-1). Suppose 0*y = -2*y - 38. Which is greater: y or q?
q
Let k = 1/4973 - 427693/74595. Is k at most -7?
False
Suppose -2*w = 2*c - 19 - 125, 5*w - 5*c - 390 = 0. Is w greater than or equal to 73?
True
Suppose 2*o + 5*b = -0*b + 104, -3*o = -4*b - 202. Let c = o + -83. Is c bigger than -18?
False
Let z be (-7 + 4)*(-4)/6. Suppose -5*i = -z*i + 21. Let s = 4 + i. Which is greater: s or -2?
-2
Let s be (-2)/(46/3)*-1. Suppose 9*h - 120 = -h. Let w be 4 + (h/(-9))/(3/9). Which is greater: w or s?
s
Let d be (-1)/(-2) - 565/(-2). Let l be 0 + (93270/55)/6. Let k = d - l. Is k equal to 1?
False
Let p = -1305 + 1312. Suppose 3 + 7 = 5*z. Let u = z - 3. Is u > p?
False
Let m = -566 + 368. Is -198 at most m?
True
Let i = 199 - 199. Are -96 and i non-equal?
True
Let d be 3 - 0/((2 - 0) + 0). Suppose -5*b - 64 = d*b. Which is greater: -12 or b?
b
Suppose -5*d = 5*x + 365, -x - x + 4*d - 122 = 0. Let k = -25 - 44. Is k at least x?
True
Let m be ((-58)/(-10))/(42/(-15) + 0). Are m and -2 equal?
False
Let c = -1.513 - -1.613. Which is bigger: c or -195?
c
Suppose 3*o - 60 = -9*o. Let j be ((-1)/22)/(o/20). Which is greater: 0.1 or j?
0.1
Suppose 0 = 3*g + g + 4. Let y be g*1*(-6)/18. Let h = 89 - 84. Which is greater: y or h?
h
Let w be ((-3160)/(-72))/5 + 4/18. Is -6 != w?
True
Let o = -82 - -323/4. Suppose -h - 16 = -5*t, -45*h = -48*h + 4*t - 15. Which is bigger: o or h?
h
Let t = 0.2 + -0.4. Let z be 3/12 + 143/4. Let i be (-3)/z - (-3)/9. Is i bigger than t?
True
Let t be ((-408)/201 - -2)*7/56. Do t and 0 have different values?
True
Suppose 54*z - 81 = 45*z. Which is greater: 4 or z?
z
Suppose 0 = -8*i + 9*i - 4. Let c = -32 + 37. Which is smaller: c or i?
i
Suppose 7*n = -290 - 4. Let w = 212/5 + n. Is w > -1.4?
True
Suppose -4*q - 56 = 10*q. Let d be 1/(q/(1 - -7)). Which is smaller: d or -1/4?
d
Let p = -11656 + 116457/10. Which is bigger: -9 or p?
-9
Let d = 28 - 73. Let s be ((-5)/(d/12))/2. Let o = -134/5 - -27. Which is smaller: o or s?
o
Let a = -101 - -338. Let o = a + -339. Let f be o/(-126) + (-1)/7. Which is bigger: -0.1 or f?
f
Let x be (5/(-2))/(5 + (-430)/85). Let z = 46 - x. Is z less than or equal to 1?
False
Let z = 59/102 - -10/17. Suppose -h = 4*n - 2*n - 1, 0 = 4*n - 16. Let v be 4/(-14) + (-2)/h. Are z and v equal?
False
Let b(t) = 12*t + 93. Let u be b(-6). Is u less than 21?
False
Let u = -284 - -268. Which is bigger: u or -20?
u
Let t = -53 - -45.5. Let y = t - -6.5. Which is smaller: y or -37?
-37
Suppose -3*a - 4*k = -9, -a - 3*k - 29 = -27. Suppose -5*d = -4*p + 9*p - 25, -p + 2*d = 1. Suppose -4 - 17 = -p*q. Are q and a nonequal?
False
Let z(b) = 7*b**2 + 18*b - 9. Let y be z(-8). Which is greater: y or 884/3?
y
Suppose 0 = -5*z - 2*y + 495, z + 10*y = 11*y + 106. Is 101 > z?
False
Let c be (-10)/35 - (-272)/(-28). Let v(b) be the first derivative of -b**4/4 - 11*b**3/3 - 11*b**2/2 - 5*b + 1. Let n be v(c). Which is greater: n or 1?
n
Let j = -58 + 71. Suppose -5*z = 8*z + j. Which is greater: z or 8?
8
Suppose -o + w + 4*w + 12 = 0, 2*w = -3*o + 70. Let r = 23 - o. Which is bigger: 3 or r?
3
Let j be ((-2)/4)/((-17)/((-4216)/4)). Which is smaller: -29 or j?
j
Let l(h) = h**3 + 19*h**2 + 67*h + 7. Let p be l(-4). Let k(z) = 87*z. Let v be k(1). Suppose i = -y - 18, -i + v = -3*y - y. Is p smaller than y?
False
Suppose 0 = -f + 5*h + 16, 0*f - h + 1 = 4*f. Let z = -3/8 - 1/8. Which is bigger: f or z?
f
Let f(t) = -182*t - 1. Let y be f(-5). Let s be (-2)/(-132)*y/(-30). Let q = s - -1/220. Is q equal to -1?
False
Let h = -101/2 - -52. Suppose -6*w - 10 = -w. Let k be -2 + (-2 + -2 - w). Which is smaller: k or h?
k
Let g(b) = 13*b**2 + 6*b - 4. Let h be g(-3). Is h >= 95?
True
Let h(f) = f**3 - 25*f**2 + 47*f - 9. Let g be h(23). Let x(m) = 2*m**2 - 8*m + 1. Let o be x(6). Suppose o = -4*s + 81. Is g not equal to s?
False
Let j = -148/9 - -451/63. Let y be (-3*6/36)/((-91)/(-1718)). Let r = j - y. Which is greater: -0.1 or r?
r
Let s be 14/20*9396/3045. Which is smaller: 3 or s?
s
Let d be -1*(-3 + (2 - -1) - 1). Is -2/105 not equal to d?
True
Let r = 11 + 5. Let v = r + -12. Suppose v*h - 29 = -1. Do h and 8 have different values?
True
Let i(v) = v - 7 + 9*v**2 + 3 - 11*v**2. Let w be i(-5). Is w > -58?
False
Suppose -5 + 17 = -5*j - 3*y, -4*y - 16 = 0. Is j smaller than 3/17?
True
Let z(c) = 5*c**2 - c + 1. Let u be z(1). Suppose -3*x = f + 1, -5*f = -4*x + u*x - 9. Are x and 5/7 equal?
False
Let n = -34 + 63. Let z = 29 - n. Let c be 2/(-4) - (-7)/2. Which is smaller: z or c?
z
Let q = -208 - 13. Which is greater: -220 or q?
-220
Let l(g) = -5*g + 3. Let a be l(2). Let d = 17 + -32. Let s be 6/d + (-112)/20. Which is smaller: s or a?
a
Let x = -0.01 - -0.08. Let m = -0.03 - x. Is 0.1 <= m?
False
Let m = 237 - 149. Let c be (-1)/2 - 97/2. Let n be 12/(-66) - c/m. Which is smaller: n or 0?
0
Suppose -4*k - 32 = 180. Let j be (-147)/42 + (-101)/2. Does j = k?
False
Suppose 3*n - 5*d = -12, n + n + 3*d = -8. Let f(s) = -s**2 - 6*s - 6. Let v be f(n). Suppose -k - v = k. Is k at most as big as -0.3?
True
Let x = -195 - -194. Is -3 greater than or equal to x?
False
Let n be 7 - 238/35 - (-6)/(-5). Which is bigger: 1/365 or n?
1/365
Let c(u) = 6*u + 254. Let j be c(-41). Is -1 greater than or equal to j?
False
Let f = 16 + -337/21. Let q(b) = -b**2 + 8*b + 10. Let t be q(9). Which is greater: f or t?
t
Let n(v) = -v**2 - 14*v + 11. Let g(o) = -o**2 - 1. Let z(j) = -2*g(j) + n(j). Let c be z(14). Which is greater: c or 10?
c
Suppose 12 = u - 2*c + 1, u + c - 2 = 0. Let l be 6*-30*(-2)/u. Let b = 1798/25 - l. Which is greater: 1 or b?
1
Let f be (((-4)/(-14))/((-20)/(-28)))/2. Are f and 0.01 non-equal?
True
Let n = 24.72 + -25. Is 1/3 < n?
False
Let y = -1481 + 1329937/898. Which is smaller: 0 or y?
y
Let x be 6/10 - (976/5)/(-8). Which is greater: x or 280/11?
280/11
Let m = -13.6 + 19.95. Let i = 0.35 - m. Is 2 >= i?
True
Let z = -72 + 84. Let q be 1/4 + (-45)/(-12). Suppose -d - z = q*b + 2, -3*d = -3*b - 3. Which is smaller: d or -1?
d
Let c = -68/133 - -26/19. Suppose 6*n = 2*n - 5*d + 342, d + 164 = 2*n. Let f = n - 83. Which is smaller: c or f?
f
Suppose -11*t + 263 - 362 = 0. Are t and -90/11 unequal?
True
Suppose 3*j - 225 = -2*j. Let s be (-4)/18 + 640/j. Let w = s - 16. Which is smaller: w or -1/2?
w
Let v = 716527/4895 - 10628/89. Let h = -2/4573 + 608219/22865. Let k = v - h. Which is smaller: k or -1?
-1
Suppose -2*k - 2*r + 86 = k, r = -2*k + 58. Suppose 206 = 4*q + k. Suppose -4*a + 4*w - q = 0, 55 = -5*a + w - 0*w. Are -11 and a nonequal?
False
Let v(j) = 3*j - 287. Let h be v(-42). Which is smaller: h or -1?
h
Let z be 2/(-3) - (-2)/3. Suppose z*s - 42 = -6*s. Is 8 > s?
True
Suppose 3*a + 3 = 6*a. Let p = -41 - -29. Let c be -2 + 0 - p/3. Are c and a equal?
False
Let a = 22/13 - 189/104. Which is smaller: -12 or a?
-12
Let r = -53 + 43. Let d = 11 + r. Which is greater: -3 or d?
d
Suppose -3*t = -2*t - 7. Suppose 2*b = 4*k + t*b - 17, -4*b = -3*k + 5. Suppose 0 = 3*h + 11 - 2, -k*z + 18 = -4*h. Which is smaller: z or 9?
z
Let o be 560/(-9) + 46/207. Which is smaller: o or -59?
o
Let h = -42 - -31.9. Let c = 5.9 - h. Which is greater: -0.3 or c?
c
Let b = 15.85 + 0.15. Let h = -15 + b. Is h > -1?
True
Let o = -46173 - 70100. Let c = -815236/7 - o. Let a = 189 + c. Are a and 3 nonequal?
True
Suppose -46 = -4*l + 26. Let c be (-48)/l*27/6. Which is smaller: c or -11?
c
Suppose 0 = 2*a - 6*a - 72. Suppose -3*s + 6*s + 45 = -3*j, -s - 3*j - 7 = 0. Let k = s - a. Is 3 greater than k?
True
Suppose -16*j = -7*j - 288. Let q = -9 + j. Which is bigger: 25 or q?
25
Suppose -8 = k - 5*s, 4*k - 7*s + 8*s = -11. Let a be (2/1 - 143/39)*k. Let b = -0.1 - -0.1. Wh