 w(a) = -28*a**2 + 4*a. Let z be w(2). Let j(g) = 2*g**3 - 16*g**2 - 35*g - 51. Let r be j(10). Which is greater: r or z?
r
Let v = -6598 - -4755. Is v greater than -1845?
True
Suppose 132*j + 8 = 136*j. Suppose 3 + 6 = -4*g - 3*m, -5*m = g - j. Is g greater than or equal to -46/25?
False
Suppose -2*i = 2*w + 6, -4*i - 18 = i + 2*w. Let p be 3*(i/(-12) + 2). Suppose 0 = 2*r + 3*k + p, -3*r - 21 = 5*k - 9. Is 1/3 <= r?
True
Let d be ((-2)/124)/(-2 + 1). Let c = 162 - 156. Let s be (-1 - 0)*0/c*-1. Which is bigger: s or d?
d
Let y = 68205 - 35242. Let s be (-3)/(-7) + (-14365)/y. Which is greater: s or -1?
s
Let w = 62.72 - -1.28. Let x = w + -53. Let s = x + -10.9. Which is greater: s or 8/3?
8/3
Let s(r) = r**2 + 54*r + 139. Let q be s(-49). Which is smaller: -1151/11 or q?
q
Suppose 10 = 5*m, -7*b = -4*b + 2*m - 1. Let o be b/(((-8)/(-6))/4). Let n be (-11)/33 + 92/o. Is -31 less than or equal to n?
True
Let j(a) = -6*a**2 - 220*a + 75. Let h be j(-37). Which is greater: 7/768 or h?
h
Suppose 0 = 5*m + 253 - 173. Suppose -4*n + 4 = -t - 5, -5*t = 3*n - 24. Which is smaller: m or n?
m
Let b = -3440 + 3441.5. Which is greater: 0.3 or b?
b
Let h be (-441655)/(-51870) + 2/24*2. Let a = h + -5080/91. Is a < -47?
True
Suppose 10*g - 7*g - 678 = 0. Suppose -2*m = 3*i - g, -i - m = -21 - 55. Is i less than 74?
False
Let j = -0.245 + 86.245. Let o = j + -89. Which is smaller: o or -29/3?
-29/3
Suppose 2*y + 28 = -o, -3*o + 2*y = -0*y + 44. Let r be (-2)/18 - ((-56)/o)/(-1). Suppose -5*v - 17 = r*i, 2*i - 6*v + v - 22 = 0. Which is bigger: -4/27 or i?
i
Let n = -595 + 602. Let r = -4 - -11. Let o = r - n. Which is smaller: -4/21 or o?
-4/21
Let j be -4*(-3 + (-5159)/(-1708)). Let y = 81/244 + j. Is y smaller than -0.4?
False
Let f be 12*165/(-300) - 6/(-10). Which is greater: f or 101/5?
101/5
Let i be 5/3 + (-4)/(-12). Suppose -4*w = 16, -i*s + 5*w + 84 = 2*s. Let x be -1 + 4/5 - (-31950)/1350*3/5. Which is greater: s or x?
s
Let a = 31184 - 124737/4. Suppose -u + o + 42 = 0, -2*u + 0*o + 99 = 3*o. Does u = a?
False
Suppose 32*x + 2076 = 26*x. Which is smaller: x or -337?
x
Let b be 0 + (-1476)/(-8) + 4/(-8). Suppose 6*w + 2*w - b = 0. Which is bigger: w or 21?
w
Let t be ((-3)/(-14))/((-24)/512*-4). Let j = 12 + -8. Suppose j = -x + 5*x. Are t and x nonequal?
True
Let g = 35 + -31. Let h be (g*6/(-3))/2. Let o be 12/(-8) - 6/h. Is -2/35 not equal to o?
True
Suppose 4*x + 24 = 8*x. Suppose -x*q = 25 - 13. Let u = -14 - -9. Which is greater: q or u?
q
Let k = 662 + 434. Let r = k + -1098. Let b = -18.9 - 1.1. Which is smaller: r or b?
b
Suppose -57571*r + 21709 = -57588*r. Which is bigger: -1275 or r?
-1275
Let x be (75 + -1 + -4)/(1 + 1). Suppose 2*o + u - 23 = 0, 5*o + u = 2*o + x. Let a(g) = -2*g + 34. Let h be a(o). Which is greater: h or 64/7?
h
Let r(y) = y**3 + 6*y**2 - 1. Let n = -4 + -2. Let u be r(n). Let a be -73*(-10)/182 - 7 - -3. Which is smaller: u or a?
u
Suppose 11244 + 3348 = 38*y - 6*y. Which is smaller: y or 454?
454
Let y = -1861.2 + 2044. Let i = y + -126. Let l = 57 - i. Does -22 = l?
False
Let v = 2520.98 + -2554. Let r = v + 0.02. Let b = r + 87. Does 1/2 = b?
False
Let q(s) = -s**2 - 177*s - 1837. Let c be q(-11). Suppose 2*k + 2*k - 12 = 0. Which is smaller: c or k?
c
Let i be 2328/4*3/6. Let v be i*2*4/(-12) - 1. Let t be (200/v)/((-2)/(-3)). Is -3 not equal to t?
True
Let x = 2 - 1. Let m = -297/16 + 5611/304. Which is bigger: m or x?
x
Let i = -36.98 + -33.02. Which is smaller: i or -4?
i
Let o = 429523616/709 + -605816. Is -1 greater than o?
False
Let s be 0/(-3 + -11) + 4630/(-84). Let u = -329/6 - s. Is 4.9 < u?
False
Let y be ((-195)/(-4))/((-45)/5010). Let w = y - -5283. Let m = -3035/21 - w. Is 1 less than m?
False
Suppose 4*b = -2*m + 218, -3*m + 355 = 20*b - 21*b. Let l = 79 - m. Is l greater than or equal to -38?
True
Suppose -323*l = 488*l - 10853 - 10233. Let o = 36 - 4. Which is greater: l or o?
o
Let d = 109 - 100. Suppose -3*y - 15 = -3*v + d, -3*v = 5*y - 16. Which is bigger: 4 or v?
v
Let m = 84 + -70811/843. Let r = m + 665/150054. Are r and 0 equal?
False
Let v = -10046 - -30140/3. Is v at most 431?
True
Let f = 1175746 + -1175741. Suppose -s - 2 = -3. Suppose 23 = 4*c - s. Which is smaller: c or f?
f
Let k = -381/1054 - -3/31. Suppose 0 = 3296*c - 574*c + 2722. Is c less than or equal to k?
True
Let h be (((-36)/8)/(-9))/(2/96). Let p be -1*(1 - (-1 - -1))*h. Let d be 6/(-16) + 39/p. Which is bigger: 1 or d?
1
Suppose 5*v - q = 40990, -8212 = -v + 674*q - 671*q. Is v != 8197?
False
