 x + -83. Which is smaller: q or p?
p
Let j = -202617/38 + 5330. Which is bigger: j or -1?
-1
Suppose 0 = 67*j - 63*j + 280. Let q = 76 + j. Let x be (q/20)/(42/35). Which is smaller: x or -0.3?
-0.3
Let g(l) = l**3 + 23*l**2 - 48*l + 51. Let s be g(-25). Which is smaller: s or 3525?
s
Let c(o) = -o**2 - 1. Let i(z) = 39*z**2 - 26*z**2 - 17*z**2 + 5*z. Let g(v) = 5*c(v) - i(v). Let u be g(-4). Which is bigger: u or -2/23?
-2/23
Let v be ((-24)/(-18))/(4/57). Suppose 0 = 8*x - v*x - 396. Which is bigger: x or -243/7?
-243/7
Let t = -488 - -620. Let d be (-57)/t - 5/((-110)/4). Is 23 greater than d?
True
Let w = 679 + -461. Let p = -249 + w. Is p greater than -31?
False
Let a = -6 + 2. Let n = 1027115/66 - 15563. Let h = 1/66 - n. Is a at least as big as h?
False
Let g = -3045 - -3061. Which is bigger: 33 or g?
33
Suppose -5*n - 428 = 2*r - 450, 0 = -5*n - 4*r + 44. Let q = -8 + 3. Let y be (1/25)/((-2)/q). Are y and n non-equal?
True
Let z = 12 + -2. Let f be -1*(-8)/z*35/14. Suppose 0 = -2*u + f*s - 92, -4*s = -2*u - 5*s - 86. Is -45 less than u?
True
Let f = -244.2 + 56.4. Let b = f + 188. Which is smaller: -56/3 or b?
-56/3
Let d(a) = a**3 + a**2 - 19*a + 42. Let y be d(2). Is y greater than 85?
False
Let n = 47.2111 + -0.2111. Is n at least -43?
True
Suppose -2*p = 39 + 27. Let u be 0/3 + 30/p. Let l(m) = m**3 - 6*m**2 - 26*m + 3. Let y be l(-3). Which is smaller: y or u?
u
Let u(w) = 3*w**2 + 12*w + 15. Let m be u(-4). Suppose -m*a = -23*a - 408. Is a >= -47?
False
Suppose 2*b - m - 4 = -4*m, 5*m = 5*b + 15. Let a(p) = 10*p**2 + 8*p - 1. Let c be a(-1). Let h be b + c + -3 + 2. Is 3/38 at most h?
False
Suppose -2*w + v = -66 + 8, -2 = -v. Is w smaller than 13?
False
Let c be 332592/(-498537) - 2/(-3). Which is smaller: 0 or c?
c
Let c = -67 + 82. Suppose 0*g + g = c. Suppose 7*j - g = 11*j + d, 18 = -5*j - 2*d. Is j smaller than -13/5?
True
Suppose -3*w - 787 + 1003 = -4*q, 2*q + 152 = -4*w. Suppose -3*l = 15, t - 3*l + 45 = -l. Which is bigger: q or t?
t
Let n = 854 + -2264. Let d = n + 7004/5. Let i = -9 - d. Is -2 less than or equal to i?
True
Let u be 82/410 + (-6288)/31790. Which is greater: -1 or u?
u
Let c(z) = 2*z - 1. Suppose 0 = 3*s + 8*s - 66. Let r be c(s). Let b be (r + -1)/(56/(-42)). Which is greater: b or -7?
-7
Let p be (-9)/(-5) - ((-36)/(-3))/4. Let h = -124/95 - p. Is -2/5 < h?
True
Let p = 0 + 3. Let w = 5 + p. Suppose -n + 16 = -x, 2*x - w = 4*n - 40. Are -15 and x non-equal?
True
Let g be (-2 + 14)/(9/1968*4). Let v be g/(-246)*(30/(-4))/1. Which is bigger: -3 or v?
v
Let c = 394/23 - 7312/161. Let k = -79 + 50. Which is smaller: c or k?
k
Let o be (353/1)/(-4 + -3). Which is smaller: -49 or o?
o
Suppose j + 30 = 3*j + 2*t, -2*t - 25 = -3*j. Let i be ((-11)/j)/(11/(-6) - -2). Let a(y) = -y + 11. Let m be a(6). Which is smaller: m or i?
i
Suppose 2*s = -4*b + 26, s + 31 = 5*b + 2*s. Suppose 0 = q - f + 2, -b = 2*f - 4*f. Which is smaller: q or -2/247?
-2/247
Suppose d - 2 = -3*o, -5*o = -0*d + d. Suppose x - d*x = -5*t + 40, -5*x + 3*t - 63 = 0. Which is smaller: -14 or x?
x
Let b(a) = 18*a**3 - 4*a - 9. Let o be b(3). Let p = 81 + 385. Is p < o?
False
Let f = 106 - 56. Suppose 0 = -r + 12*y - 8*y + 957, 0 = y. Let t = r + -908. Which is greater: f or t?
f
Let b(u) = 2*u**3 - u**2 - 15*u + 926. Let w be b(0). Which is greater: w or 929?
929
Suppose 4*k = 3*s + 165, 0 = 2*k - 5*s - 8 - 57. Let y be (16/9 - 2) + 1270/k. Suppose -y + 70 = -3*z. Are z and -15 non-equal?
True
Suppose 74*m = 2225 + 11539. Which is greater: m or 193?
193
Let j = -97 - -110. Let n = 425 - 1699/4. Which is greater: j or n?
j
Suppose -j = -w - 5, 2*j - 1 = -2*w + 1. Suppose 0 = -3*b - j*v + 119 + 1, -25 = -5*v. Is b < -7?
False
Let c = -20.01 + 20.074. Is 0.73 smaller than c?
False
Let i = -4 + 3. Suppose 4*a = 51 - 15. Let d = a + i. Which is smaller: d or 9?
d
Suppose -5*r = -5*f - 25, -3*f - 7*r + 3*r + 6 = 0. Let a be (-30)/6 - (f - 2). Let i be 2*2*a + (-476)/(-126). Is i <= -1?
False
Let y = -102.65 - 3.05. Let p = -75 + -31. Let s = y - p. Which is smaller: 1/9 or s?
1/9
Suppose -l = g - 2*g - 17, -5*g - 4*l - 121 = 0. Let n be 0 + -1 + (-3 + 7 - g). Let s be (-3)/2*n/(-36). Is 1/3 at most s?
True
Let k = -24 - 129. Let y = k + 153. Let u be (-6)/(-15) - (-12)/(-10). Which is smaller: y or u?
u
Let j(v) = -v**3 + 10*v**2 - 21*v - 5. Let i(t) = -3*t**3 + 31*t**2 - 64*t - 16. Let f(r) = 3*i(r) - 8*j(r). Let l be f(10). Let p = l - 56. Does p = 13?
False
Let z = 58.3 + -58.58. Is z not equal to -5?
True
Let s be (-5 - (-65)/10)*80. Suppose 18*k - 16*k - s = 0. Which is bigger: -2 or k?
k
Let q be ((-22)/66)/(10/41490). Which is greater: q or -1382?
-1382
Suppose -56*f + 52*f = -4*s - 2252, 5*s = -2*f + 1105. Does 559 = f?
False
Let p = 182/267 + -31/89. Which is smaller: -25.8 or p?
-25.8
Let p be ((2 - 17)/5)/((-6)/32). Let m be p/(-130)*(-178)/(-4). Let j = m + 66/13. Which is smaller: j or -1?
-1
Let c = -11650 - -11786. Which is bigger: 121 or c?
c
Let k = 2593 - 2566.62. Let y = k - 2.38. Which is smaller: y or 0.06?
0.06
Let g be 21/(882/(-8))*6/(-4). Is -2027 > g?
False
Let s = 87 + -85. Suppose -3*z + 2*n = s, -2*z + 3*z + 5 = 5*n. Are 2/27 and z non-equal?
True
Suppose 4*o + 93 = o. Let v = 10334 + -10365. Is v >= o?
True
Let p(y) be the first derivative of -4*y**3/3 + 2*y**2 - 4*y + 9. Let x be p(2). Let l(k) = k**3 - 8*k**2 - 36*k + 22. Let r be l(11). Which is greater: x or r?
r
Let r = 1.0929 + -0.9229. Which is smaller: r or 0.37?
r
Let r be 8*4/40 + 419/(-5). Let l be (-4)/32*-4*r. Is l at least -43?
True
Suppose -957 = 33*z - 165. Which is greater: z or -1008/43?
-1008/43
Let w(s) = -s + 8. Let n be w(-5). Let f be -7 + n + 2 + -9. Which is greater: f or 2/103?
2/103
Let x = -3562 - -3654. Suppose 0*c + 3 = 3*c. Are x and c equal?
False
Let u(q) = -27*q - 3. Let a be u(-7). Let r = 37720 - 37536. Do r and a have the same value?
False
Let b = -23.83 - 5.27. Let i = b + 29.6. Is 12 != i?
True
Suppose 8 = 2*a - d - d, -2*d = 4*a - 10. Suppose -s - a*k + 598 = -2*k, 6 = -2*k. Let u = -3019/5 + s. Which is bigger: -4 or u?
u
Let l be (4/28)/(420/(-17150)). Let h(t) = 7*t**2 - 8*t - 19. Let n(s) = 4*s**2 - 4*s - 10. Let k(w) = -3*h(w) + 5*n(w). Let b be k(6). Which is bigger: b or l?
b
Suppose 353*n - 360*n - 476 = 0. Let z be 136/207 + n/102. Which is greater: z or 0?
0
Let b be ((-2)/(-4))/(27/240). Suppose -13*g + 430 = 73*g. Let d be 3/(0 + g + -4). Is b at least as big as d?
True
Suppose -31*o - 42*o - 828897 = -4*o. Which is bigger: o or -1/3?
-1/3
Let s(u) = -2*u**3 + 32*u + 57. Let x be s(-3). Are 52 and x nonequal?
True
Let k(r) = r**3 - 7*r**2 + r - 9. Let s be k(7). Let m be 630/(-3102) - s/11. Let z(q) = q**2 - 1. Let w be z(0). Which is greater: w or m?
m
Let m be -1*(17 + -15) + (-2599 - -4). Is -2598 smaller than m?
True
Let i = 6380/189 - 59/27. Is i smaller than 31?
False
Let c = 95 + -98. Let l be ((-15)/5 + 4)/(c - -1). Is -1 greater than l?
False
Let w = 19/24 - 9/8. Let k = 1005.3 - 810.3. Is w >= k?
False
Let m = -431.9119 + 431.9. Is 6/7 bigger than m?
True
Let j be 8/2*99/(-308). Let w = -10/7 - j. Is w <= 0?
True
Let d = 0.7468 - 0.0528. Let i = d - 0.194. Is i at most -1/17?
False
Let l be ((-9)/(-12))/((-6)/2846). Suppose 0 = 42*v - 93*v - 18411. Let y = l - v. Which is greater: 5 or y?
y
Let q(u) be the first derivative of 2*u**2 - 56*u + 16. Let b be q(11). Which is bigger: -82/7 or b?
-82/7
Suppose 5*w + 2*r - 470 = 0, 4*w - 4*r = 3*w + 72. Suppose 2*j - v - 4 = -72, -3*j + 4*v - w = 0. Let d = j - -36. Which is bigger: d or -3?
d
Let o be ((-6)/56)/((-492)/546) + (-2)/(-16). Do 1 and o have the same value?
False
Let s = -1399 + 2797/2. Which is greater: -1370 or s?
s
Suppose 3*d + 5*a - 23 = 8, 26 = 2*d - 2*a. Let s be (498/d)/((-2)/4). Let i be 9/((-18)/(-4)) - s. Is i at most as big as 85?
True
Let a(x) = -298 + 298 - x**3 + 6*x**2 + x - 6*x. Let f be a(1). Which is smaller: f or -2/37?
-2/37
Let n be (-4)/14 - (-2)/7. Suppose 0 = -3*c - 0*c + 3. Let j be -4 + 6/c - (-2)/(-2). Which is greater: j or n?
j
Let k = 919889256/13049 + -70495. Which is smaller: 0 or k?
0
Let v = -345 - -467. Suppose -4*n = 2*t - v, 5*n = -t + 146 + 8. Suppose i - 118 = -4*u, -43 = 4*u + 2*i - 163. Is u not equal to 