(-30)*-33. Which is smaller: z or 1?
z
Let w = -153 - -39. Let d be 1/(6/(-18) - 8/w). Which is smaller: -4 or d?
-4
Let p = 63.12 + -62. Let i = 0.12 - p. Suppose -36*l = -7*l + 580. Is l equal to i?
False
Let o = 52 + -57. Let x = 4 - o. Let r be 6/x*(-27)/6. Which is bigger: -1 or r?
-1
Let b(t) = -t**3 + 2*t**2. Let o be b(1). Let r be -2 + -5 - (-2328)/342. Which is smaller: r or o?
r
Let u(j) = -j**3 + 4*j**2 + j + 16. Let f be u(0). Let k be (17 + -2)*(2 - 1). Are k and f nonequal?
True
Let f be (-544)/(-85)*(-5)/(-2). Let a = 186 + -174. Is a at least f?
False
Let o be ((-3996)/(-498) + -8)/(1/(-30)). Let k = 382/1079 - o. Is 0.1 != k?
True
Let o = -11 - -12. Let n = 0.13 - -0.46. Let a = -4.39 + n. Which is smaller: o or a?
a
Let k be -3 + 7 + -8*(-3)/(-6). Which is bigger: -3/122 or k?
k
Let s = 37.7027 + 0.3693. Let r = s - 0.072. Let m = -47 + r. Which is smaller: m or -1?
m
Let p(g) = -4*g**3 - 14*g**2 - 3*g + 20. Let n(c) = c**3 - c**2. Let u(r) = 3*n(r) + p(r). Let a be u(-17). Is 70 less than a?
True
Let g = -10 + 9.77. Let d = 17.7 + -17.27. Let z = g + d. Is 23 bigger than z?
True
Let c = -5247953/14960 + -3/2992. Which is bigger: -352 or c?
c
Let p = 163469/10 + -16346. Which is smaller: p or 0.21?
0.21
Suppose 103*w - 106*w - 904 = -a, 3*a - 2680 = w. Is a >= 2680/3?
False
Let q(i) = -i + 7. Let o be q(6). Suppose 4*s = 4*y + 96, -24*y + 28*y = -s + 9. Is s bigger than o?
True
Let s = -2287 - -2594. Is 0.32 >= s?
False
Suppose 258 + 54 = 13*s. Let c be (1 + -36)*s/40. Let x be c/(-27)*(-2)/3*-12. Which is smaller: 7 or x?
x
Let q(o) = -67*o**2 + 2611*o + 63. Let b be q(39). Let v be (-4)/(-12) + (-58)/4. Which is bigger: v or b?
v
Suppose -4*c + n + 90 = 0, 5*c + 7*n - 123 = 3*n. Let y = c + -15. Let g be (-2)/(-10)*(-110)/(-33). Which is smaller: y or g?
g
Suppose 10754 + 3890 = 15*l - 401. Is l greater than 1004?
False
Suppose 0 = -40*g + 13*g + 945. Suppose -32*s + g*s = 2*u - 103, -2 = -2*s. Which is greater: 54 or u?
54
Suppose -451*m = -449*m. Let x be m - -2 - 2028/585. Are x and 0 nonequal?
True
Let u = 20 + -25. Let o = u + 13. Suppose -12*k = -8*k - 32. Is o at most k?
True
Let m(o) = o**3 - 3*o**2 + o + 6. Let q be m(5). Which is greater: 67 or q?
67
Let n = 100/399 + -45121/1197. Let q = n + 37. Let o = -383 - -3449/9. Is q greater than o?
False
Let u(t) be the third derivative of -2*t**4/3 + 31*t**3/3 - 108*t**2. Let y be u(5). Which is greater: y or -22?
y
Let g = 0.9 + 0.1. Suppose -3*z + 7*o = 793 - 465, 2*o + 211 = -3*z. Which is greater: z or g?
g
Let g be 20/(-14) + 9216/5824. Let v(c) = c**2 + 3*c - 11. Let d be v(-5). Which is bigger: g or d?
g
Suppose 346*c = 337*c - 495. Which is smaller: c or -706/13?
c
Suppose 20*y - 18*y = 24. Suppose 4*z + 4*k + y = 0, -2*z + 6 = -4*k + 3*k. Let b be (2/1*1)/(z - -1). Which is smaller: -2/171 or b?
-2/171
Let w = -51877.12 + 51877. Let j = -7 - -7.8. Which is smaller: w or j?
w
Let c be (26 + (-13 - 13))/((-3)/(-1)). Let m be (-57)/2*140/(-30). Is m > c?
True
Let x = -26 + 46. Suppose -6*c + x = -c. Let u be (3/(-10))/(3/c). Which is smaller: u or -13?
-13
Let m be 1 - 1 - (-942)/6. Suppose -f = -l - 4*f - m, -3*f + 15 = 0. Let g = l - -120. Are g and -52 unequal?
False
Let o = -168362/151 + 1115. Is 1 less than or equal to o?
False
Let n(s) be the second derivative of 8*s**2 - 1/6*s**3 + 17*s + 0. Let q be n(10). Which is greater: 4 or q?
q
Let v = -0.448 + -97.552. Let w = 127 + -29. Let y = w + v. Do -47 and y have different values?
True
Suppose -7*c - 40 - 2 = 0. Let p(f) = f**3 + 8*f**2 + 8*f + 4. Let o be p(c). Let q = -535 + 561. Are q and o non-equal?
True
Let v = 673.697 + -674. Let x = -105.997 - -106. Let b = x + v. Which is bigger: b or -0.7?
b
Suppose 10*x + 4 = 4*o + 12*x, -12 = -6*x. Let y be ((-4)/(-5))/(44/(-350)). Let g = y - -67/11. Which is greater: o or g?
o
Let l = 5.04 + -5. Let w(z) be the first derivative of z**4/4 + z**3 + z**2 - 2*z - 2. Let y be w(-2). Which is greater: y or l?
l
Let x = 1.07 - 0.83. Let h = -0.54 + x. Let r = -67/3 - -22. Which is smaller: r or h?
r
Let a(s) = -2*s**2 + 48*s - 236. Let d be a(-39). Does d = -5149?
False
Suppose -148*d - 9 + 157 = 0. Is d bigger than 3/2137?
True
Let g = -7960.3 - -7955. Which is bigger: 0 or g?
0
Let m be (408564065/(-1869) - 3) + (-2)/2. Let o = -218605 - m. Let g = -2/89 + o. Which is smaller: g or -2?
-2
Let r = 1564.023 - -1.977. Let i = 1565.7 - r. Let c = -0.9 + 1. Is c <= i?
False
Let u = 24057 + -123226/5. Let f = 115 - 701. Let k = u - f. Is -1 not equal to k?
True
Let i = 16.4 - 164.4. Which is greater: 2 or i?
2
Let g be (78/(-5))/((-42)/(-105)). Let m be (30/(-1))/(-3 + (-43)/(-15)). Let d be m/(-6) - (-5 - -7). Which is bigger: d or g?
g
Let v = -13.5 - -13.6. Let u = -50 - -50.033. Which is smaller: v or u?
u
Let f(p) = p**3 + 17*p**2 - 21*p - 9. Let g be (1/((-8)/6))/((-2)/(-48)). Let m be f(g). Let k be ((24/m)/(-4))/((-2)/(-3)). Is k less than -12/11?
False
Let v be 1645/60 - 8 - (-1)/(-4). Suppose 26*l - 21*l - 90 = 0. Which is greater: v or l?
v
Let s be 1/(84/45) + 0 + 14/(-49). Is s greater than 0.902?
False
Let l = -4/25 - 17/50. Let s = -423.25 - -222.24. Let o = s - -201. Which is smaller: l or o?
l
Let y = 119/12 - 26/3. Let a be (-11)/(12*-1 - 0). Let j = a - y. Does -0.29 = j?
False
Let n be 288/(-1008) + (-59)/(-182). Suppose 0 = 2*t + 5*v + 15, -3 - 2 = 2*t + 3*v. Suppose -3*u + 5*p = -1 + 6, -t*p + 5 = 0. Is u > n?
False
Suppose -2*k + 690 = 4*y - 0*k, 3*k + 522 = 3*y. Let x = -1739/10 + y. Which is bigger: x or 0?
0
Let n = 162 - 288. Let t = -124.72 - n. Which is smaller: t or 1/2?
1/2
Let c be 6/(-10) + (-438)/(-755). Let s be (-1 - (-64)/56)*0. Are c and s nonequal?
True
Let n be (-5)/(-4) + (-23427)/(-548). Let w be 5*9 + (-4 - -3). Is n at least w?
True
Let k(d) = d**3 + 13*d**2 + 17*d + 33. Let o = -467 - -456. Let s be k(o). Is s at most as big as 88?
True
Let z = -2.02 + 2.396. Let b = z + -0.476. Which is smaller: b or -0.71?
-0.71
Let m(s) = -3*s**2 + 44*s - 20. Let i be m(18). Let b(o) = o**3 - 17*o**2 + 29*o + 23. Let q be b(6). Which is greater: i or q?
q
Let l be 2/37*-26*(-5)/(-20). Let g = l + 2138/6401. Is g bigger than -1?
True
Let j = 164/3 + -14915/273. Is 1 at least j?
True
Let d = 13882 + -13883. Which is bigger: d or -2/20057?
-2/20057
Let n(x) = x**2 - 2*x - 3. Let t be n(3). Suppose 700*c = 689*c + 29040. Let k be 26770/c + -10 + 4/(-22). Is k >= t?
False
Let p(t) = 104*t**3 + t**2 - 2*t + 2. Let z be p(1). Let r be (-376)/z + 28/15 + -2. Does -4 = r?
False
Let x be (-3824)/(-5727) + (-16)/24. Let c = -9294 + 9295. Is x greater than or equal to c?
False
Let s(d) = -3*d**3 + 15*d**2 - 30*d - 6. Let i be s(10). Do i and -1805 have the same value?
False
Suppose -2*t = 8, 0 = 4*y + 2*t - 8 - 24. Let l(j) = -2*j + j**2 + 88616 - 88602 - 10*j. Let x be l(y). Which is greater: x or -23/4?
-23/4
Let r = 1409 + -751. Let n be (4*(-4)/(-28))/(6/r). Which is smaller: n or 62?
62
Let w be -3 + 3 - 3 - 13. Let y(j) = -17*j**2 + 7*j + 1. Let s(r) = -51*r**2 + 19*r + 3. Let i(b) = 3*s(b) - 8*y(b). Let z be i(1). Which is smaller: z or w?
w
Let j be (-29 + 4901/174)/10. Let m(i) = -i**3 + 5*i**2 - 5*i + 5. Let l be m(4). Let o(f) = -2*f + 1. Let x be o(l). Is j greater than or equal to x?
True
Let j = -25 + 24. Suppose 15 - 24 = -3*o. Let y be (-180)/3 - (-12)/(-9)*o. Is y greater than or equal to j?
False
Let d(h) = h**2 + 131*h + 1932. Let p be d(-27). Which is smaller: p or -877?
-877
Let g be 1/(-16)*(2 + 0 + -17). Let p be (-2)/((-10)/30*3). Which is smaller: g or p?
g
Suppose 5*t - 8*v = -12*v - 3686, 0 = -5*t + 3*v - 3658. Which is smaller: -736 or t?
-736
Let y(g) = -65 - 8*g + 67 + 151. Let j be y(19). Is -47 > j?
False
Let p = -1313 + 1312. Let w be (-5)/((58/4)/((-2)/(-4))). Which is smaller: p or w?
p
Suppose -33 - 3 = -4*c. Let t be (c - 8)/((-1)/(-27)). Let h be t*((-15)/5)/9. Is h greater than or equal to -7?
False
Let t be (1 - (-44)/20)/(2/(-10)). Let z be ((0/4)/(-2))/1. Suppose 0 = -u + 2, -u = 4*c - z*u + 70. Which is greater: c or t?
t
Suppose 3*q = 4*u - 1708, -4*u + 0*q - 4*q = -1680. Let a be (-118)/u + -11*5/(-220). Which is greater: 0 or a?
0
Let y = 0.27 + -0.25. Let h be 1 + (-1)/2 + (-4)/6. Are h and y non-equal?