 - 44. Let a be q(-6). Which is bigger: a or 833?
833
Let h = -298 + 298. Are 24 and h equal?
False
Let o(p) = -p - 15. Let x be o(-15). Let v be -3 + (x - 3) + 3. Let d = v + 11/3. Which is smaller: 2/41 or d?
2/41
Let j be 717/2629*44/(-6). Let h(t) = 4*t. Let l be h(1). Suppose -5*c - 3*v = 30, 0 = c - l*v + 3 + 26. Which is greater: j or c?
j
Let q be (-1)/(-6) + 7 + 180/(-27). Which is smaller: q or -299?
-299
Let k = 0.3 - 0.2. Let u = 0 - k. Let x = 274/623 - 1/89. Is u not equal to x?
True
Suppose -r + 19 = -22. Let g be 175/30 + -6 + r/(-6). Is -5 less than or equal to g?
False
Let h(n) = -79*n + 475. Let y be h(11). Which is smaller: -391 or y?
y
Let a = -166 + 184. Which is bigger: 1 or a?
a
Let u be 34/(-51)*30/(-4). Suppose -2*m - 10 = u*f, 16 = -2*f - 4*m - 4. Which is smaller: f or -1?
-1
Let a(l) = -4*l - 7. Let u = -16 - -19. Suppose -x - 3*x + 22 = -3*p, -u*x + 3 = 0. Let o be a(p). Is 17 > o?
False
Let z = 74 + -72. Suppose 5*h = -z*l + 24, 3*l - 5*h + 10 = -2*l. Is 7/4 equal to l?
False
Let d = 0.052 - 89.052. Let b = 130 + d. Which is bigger: b or 0.1?
b
Let v be (102/119)/(3/469). Which is greater: 132 or v?
v
Suppose 2*c + 5*n + 19 = 0, 0 = -c + 2*n - 4 + 17. Let x be ((-12)/20)/((-1)/5). Suppose -c = -2*g + x. Are g and -1 unequal?
True
Let z = -2 + 7. Let h = 10 - z. Let l = h - -2. Are 1 and l unequal?
True
Let p(w) = -w**2 - 1. Suppose v + 5 = 0, 19 = -t - v - 3*v. Let a be p(t). Which is smaller: -1 or a?
a
Let n = -565/3 - -189. Which is smaller: n or 0?
0
Let y(w) = w**2 - 4*w + 1. Let m be y(5). Let a(i) = -i**3 + 5*i**2 - 5*i - 3. Let t be a(4). Let x be (t/14)/((-2)/4). Are m and x equal?
False
Suppose -17*q + 45 = -12*q. Let b = q + -17. Is b not equal to -11?
True
Let o = -17.15 - -17.25. Are o and 2/1689 non-equal?
True
Suppose 2*z - 46 = -4*a, 2*z - 3*a - 33 = -z. Suppose -35 + z = 4*k. Does 0 = k?
False
Let p = 13789/325010 - -2/4643. Let a = 4 + -3. Which is smaller: p or a?
p
Suppose 3*d = 5*i + 22, -9 = -2*i - 5*d + 7. Let q be (2 + -5)*1*i/6. Which is greater: q or -2/199?
q
Let o be (-1)/(-2*1/(-2)). Let r be (o - (-3)/3) + 2/(-169). Which is bigger: r or 1?
1
Let f = -2/935 - -32731/2805. Suppose 44*b - 1018 = -33*b - 94. Which is bigger: b or f?
b
Suppose 2*v - 99 + 12 = 5*k, 111 = 3*v - k. Let s be (12/v)/(1/(-3)). Let o be ((-12)/168)/(s/4). Do o and -1.8 have the same value?
False
Suppose -3*q - 5*r = -3, 3*q + 2*r = 4*r + 24. Let a(x) = -8*x - 17. Let t(k) = -3*k - 6. Let w(i) = -4*a(i) + 11*t(i). Let d be w(1). Is q equal to d?
False
Suppose 4*y - 4 = 4*v, v = 4 - 5. Let t = -5731/66045 + 2/1887. Are t and y unequal?
True
Let b = 612 + -618. Which is bigger: -93 or b?
b
Suppose -4*k + 20 = 0, -c - 19 = -2*c - k. Which is bigger: 18 or c?
18
Let i = -22 + 44. Let o be i/(-77) - 16/(-7). Which is greater: 12/13 or o?
o
Suppose 0 = -f - w + 11, -6*f - 2*w = -3*f - 31. Is f > 8?
True
Let u be ((-1)/30)/((-3)/(-6)). Let t = 6 - 5.9. Is t at most u?
False
Let l = -317 - -323. Let r(y) = y**2 + 4*y - 7. Let d be r(-6). Is d < l?
True
Let w be (-9)/(-42)*(-2 + -2). Suppose 2*a - 16 = -2*f - 2*f, -60 = -3*a + 3*f. Suppose 14 - a = l. Which is greater: l or w?
w
Let m = -0.93 + -26.07. Which is smaller: m or 0.1?
m
Let l = 22 + -23.8. Let i = l - -1.75. Let o = -11.95 + i. Is 0 < o?
False
Let w(x) = 14*x. Let l be w(1). Suppose -10*o + l*o = 0. Which is bigger: -1/6 or o?
o
Let a = 1 + 3. Suppose a*l - 25 = 11. Let h = 118 + -117. Is h != l?
True
Let n be 1 - (-1 - 1)*17. Suppose 3*h + 1 = -14. Let g(l) = -6*l + 6. Let x be g(h). Is x bigger than n?
True
Let c = 796/7 - 114. Do c and -0.1 have different values?
True
Let p be (-1 + 3)/(2/3). Let a(x) = -x**2 - 10*x - 11. Let d be a(-7). Let q(l) = l**2 - 11*l + 14. Let t be q(d). Which is smaller: p or t?
p
Let n be 1 + (-1)/(-4) + -1. Let a be 0 - (-3 + 2) - (0 + -44). Let r be a/25 - 4/5. Is n smaller than r?
True
Let p = 22843/35 + -3089/5. Let n = 1222/35 - p. Which is bigger: n or 0?
n
Let d(b) = 18*b + 39. Let a be d(6). Let s = -86 + a. Are s and 61 non-equal?
False
Let m(s) be the third derivative of 0*s**4 + 1/60*s**5 + 0*s + 0*s**3 + 6*s**2 + 0. Let h be m(-2). Is h equal to 2?
False
Let m = 0.21 - 0.02. Let w = -0.51 + m. Which is bigger: w or 1?
1
Suppose -n = -0 + 3. Let v = 31 - 29. Let h be 1/v*(-36)/6. Do n and h have the same value?
True
Suppose -5 = 2*o + 139. Suppose 0 = -2*x + 10, 3*u = -6*x + x - 188. Is o >= u?
False
Suppose -5*a + 67 - 12 = 0. Suppose a*r + 20 = 16*r. Suppose 0*l + 4*l + r = 0. Is -2 at most as big as l?
True
Let q be (2/12)/(1/4). Let z be 30/100*(-16)/12. Which is greater: q or z?
q
Suppose 11*i - 18 - 4 = 0. Suppose -2*k = -3*d + 3, 3*d - i = k + 1. Is -4/3 at most k?
True
Let z = -144 + 94. Let d = z - -50. Is -3 at least d?
False
Let w = -157 - -151. Let a be 28/(-33) + (-4)/w. Suppose r - 10 = -5*d, -3*r + 2 + 0 = d. Is a smaller than r?
True
Let g = -26.543 - -26.55. Suppose 3*y + 8 = -o - 3*o, -2*o - 4 = y. Which is smaller: y or g?
y
Let d be (-5)/(1/1) + (-2187)/(-435). Are d and -1 nonequal?
True
Let f(a) = -a**2 - 10*a + 4. Let j be f(-10). Is j at least -2?
True
Let y = 18.7 - 18. Let l = -6.884 + 9.884. Which is smaller: y or l?
y
Let t = 696 - 30629/44. Let s = 1943/11 - 177. Let j = t - s. Is j <= -2?
False
Suppose 68 - 133 = -5*t. Which is smaller: 10 or t?
10
Suppose -29*n - 9 = -26*n, 5*g + 3*n = -909. Is -180 at most as big as g?
True
Let o be (-40)/(-140)*(-1 - -8). Suppose -5*k - 93 = 4*l, k + 13 = -0*k + o*l. Is -17 bigger than k?
False
Let o = 385.7 + -385. Is o at least 15/4?
False
Suppose 0 = 2*m + 5*a + 760, 2*m = 3*m - 4*a + 354. Let s be ((-1)/m)/(2/(-8)) + 0. Is s > 1?
False
Let w = 0.4 - 0.5. Let x = w + 0.2. Suppose -11 = 290*f - 279*f. Is x greater than or equal to f?
True
Let x = 0.348 + -1.348. Is x equal to -259?
False
Suppose 0*g - 3094 = -14*g. Let k be 26/g - (-208)/(-34). Let x = -9 - -4. Is k at most x?
True
Let y = -1356 + 9508/7. Let u(v) = -v**3 + 5*v**2 - 2*v + 11. Let w be u(5). Is y < w?
False
Let u be (-1)/2*(-7)/56. Let y(a) = -9*a - 2. Let h be y(-1). Let i be 6/(-27) + h/(-9). Is i not equal to u?
True
Let y = 7.9 - 7.8. Let v = -0.1305 + -8.7795. Let w = v + 9. Which is smaller: y or w?
w
Let x = 163.9 + -164. Do -6/95 and x have the same value?
False
Suppose -2*j - 2*m + 158 = 0, 385 = 5*j + 20*m - 25*m. Which is smaller: 79 or j?
j
Suppose 0 = 2*i + 50*i - 572. Let k(t) = -t - 1. Let m be k(-12). Are i and m equal?
True
Let x(h) = -h**3 - 17*h**2 + 2*h + 13. Let f be x(-17). Let d be ((-3)/f)/((-1)/3). Is -1 smaller than d?
True
Let l = 4.67 + -4.97. Is 0.04 greater than l?
True
Let n = -17.8 + 16. Let o = -1.9 - n. Let p = o - 0.1. Is p bigger than 0.05?
False
Let l = -302.51 - -304. Is 1 >= l?
False
Let h = 859 + -1367. Let w = h - -916. Let c be (-88)/w + 2/6. Which is bigger: c or 1?
1
Suppose -4*k + 8 = -0. Suppose -3*b = -o - 7, k*o + 7 + 3 = 4*b. Is 2 bigger than b?
False
Suppose p - 4*a - 34 = 0, p = -38*a + 39*a + 19. Which is smaller: 13 or p?
13
Let p = 0.441 - 0.341. Let t be (-1)/(-4) - 276/16. Is t at least as big as p?
False
Suppose 10*h = 5*h - 5. Which is smaller: 20 or h?
h
Let t = 549 + -1648/3. Let o = -3.9 + 4.07. Which is greater: o or t?
o
Let d = 0.28 - -0.01. Let t = 0.09 - d. Let c be -6 + 2 - 38/(-10). Is c at least t?
True
Let q(d) = -d**3 + 21*d**2 - 17*d - 54. Let v be q(20). Which is greater: v or -3.5?
v
Suppose -3*v = -y + 13, -43 + 0 = 3*v + 5*y. Let u = 348/35 - 106/7. Is v at most as big as u?
True
Suppose 2*w + 10 = 3*w. Let d = w + -12. Let y be (-1 - -2) + d/3. Which is smaller: y or 1?
y
Let w(x) = -x + 4. Suppose 0 - 8 = -2*a. Let c be w(a). Let q = -24 + 790/33. Which is smaller: c or q?
q
Let g = 2.2 + -2. Let s = 11 + -18.1. Let c = 7 + s. Is g less than or equal to c?
False
Let a = -6/47 + 244/1175. Let r be (-9 - -9)/(2 - 1). Which is greater: r or a?
a
Suppose 37*u - 48*u = 0. Are u and -5/177 non-equal?
True
Let g = 63.62 + 3.98. Let t = 67 - g. Is t not equal to -1?
True
Let b = -148.3 - -144.5. Which is greater: b or 1?
1
Let j = 149 - 279. Let c = j + 129.94. Is c not equal to 1/5?
True
Let p(o) = 14 + 1 + 7*o - 5*o - 4*o. Let u be p(5). Is 7 equal to u?
False
Let t = 2514 + -2515. Let z(h) = h**3 + 7*h**2 +