-3742/2261 + j. Which is smaller: u or -2?
-2
Suppose 0 = -7*x + 67 + 458. Let m(g) = -g**3 + 9*g**2 - 2*g + 3. Let j be m(4). Is j > x?
False
Suppose -1169 = -16*y - 0*y + 287. Are y and 77 equal?
False
Let z = -228.98 - -225. Let a = 23.02 - z. Let l = 11 - 13. Which is bigger: a or l?
a
Let k = -28178 + 24180. Is -3997 >= k?
True
Suppose 4*g + 23 = -17. Let r be (-3)/35*g/15. Suppose 32*z = 59*z. Is z at most as big as r?
True
Let l be (-47)/1410*(39 + 5). Is l not equal to 4/9?
True
Let x be (29/(-29))/(5/35) - -8. Let c be 266/(-480) + (-8)/(-12). Which is smaller: c or x?
c
Let b(a) = -17*a**3 - 7*a**2 + 3*a - 26. Let r be b(-6). Is r less than or equal to 3374?
False
Let c = 34151 + -34148. Let m = 0.41 + -0.01. Let b = m + 5.6. Which is smaller: c or b?
c
Let j(a) = 27*a - 133. Let t be j(-5). Let s = -275 - t. Which is greater: s or -132/17?
s
Suppose 0 = -k - 2*l + 13, 19*l - 12 = 16*l. Suppose -j - 17 - 6 = k*w, 3*w + 5 = -5*j. Is 24/17 smaller than j?
True
Let y(x) = -33*x - 295. Let c be y(-9). Let u be (552/20)/(c/(-10)*2). Is -71 greater than or equal to u?
False
Let c = -84209/5 - -16789. Is c smaller than 2?
True
Let i(u) = -u**2 + 78*u - 329. Let s be i(52). Is 1022 equal to s?
False
Suppose -126*j - 254 = -9280 - 31546. Which is greater: -2/7 or j?
j
Let c be (-14)/(-10) - 3/3. Let i = -92.9 + 24.9. Let a = -52 - i. Is a at least c?
True
Let s = -7374.9 + 7375. Suppose -5*y - 100 = -0*y. Let n be (-2)/(-4) - y/(-24). Which is smaller: s or n?
n
Let a be (0 - (-171)/(-6))/((90/12)/15). Let r(w) = 2*w**2 + w - 2. Let d be r(-4). Suppose 5*n - d + 306 = 0. Which is bigger: n or a?
n
Let s = 15195 - 15028. Which is smaller: 158 or s?
158
Let v(z) = -z**3 + 12*z**2 + 78*z + 68. Let r be v(27). Is r greater than or equal to -8761?
True
Suppose -10 = -2*l, y - l + 113 = 112. Which is greater: y or 67/22?
y
Let l = 720 - 1009. Let u = -289.1 - l. Which is smaller: u or -5/27?
-5/27
Let w = 100/287 + -32050/50799. Which is bigger: -2 or w?
w
Suppose -4*p - v = -213, 3*v = -5*p - 0*p + 275. Let z = 52 - p. Let k be (40/(-4650))/((-4)/(-10) + 0). Which is greater: k or z?
z
Suppose 3*k + 4 = 19. Let o(x) = x**3 - 4*x**2 - 6*x + 6. Let u be o(k). Let m = -3001 - -879295/293. Which is smaller: u or m?
m
Let w(a) = 858*a + 640. Let o be w(4). Is 4075 < o?
False
Let o(a) = -133*a + 2. Let d be o(-1). Let i be 238 - 96 - (-7)/(-1). Is i < d?
False
Let b = 11810.1 - 11810. Which is smaller: b or -0.1?
-0.1
Suppose 0 = 3*b + s, 3*b - 2*s = -31 + 40. Which is bigger: b or 8/1987?
b
Let m be (-7172)/(-3808) - 2 - (-4)/14. Let b = m - -7/34. Which is bigger: -6 or b?
b
Let b(j) = -j**3 + 2*j**2 + 4*j - 4. Let g be b(3). Suppose u = 4, x - 3*u = 2 - 9. Suppose 2*h = x*c + 14, -c - 3*h = -0 - 4. Are c and g equal?
False
Let v be (-4)/22 + (-1454)/(-11). Let f = v + -133. Is -1/110 >= f?
True
Let c = -12 + 17. Let v = -27 - -27. Suppose v = -5*z, -4*a - 3 = -z + c. Is -18/11 smaller than a?
False
Let z be (3 - 0) + (5860/(-295))/(1 - 5). Which is greater: 7 or z?
z
Let m be -1*(-5)/(35/2). Let s = 2 + 6. Let z(v) = -v**2 + 5*v + 6. Let l be z(s). Do l and m have the same value?
False
Let s = 0.37 + -0.04. Let p = s - -23.67. Let u = p + -25.2. Is -0.4 >= u?
True
Let r = -73 + 81. Suppose r*h = 12*h - 12. Suppose h*v - 7*v = 3*v. Which is smaller: -4 or v?
-4
Suppose 2*x + 128 = -5*j, -5*j - 134 = -6*x + 2*x. Let p = -327977/12715 - 14/2543. Which is greater: p or j?
p
Suppose -4*k = 5*k - 3996. Let t = k - 1333/3. Which is bigger: t or -78?
t
Let c(t) = 2*t**2 + 11*t - 16. Let l(w) = 646*w**2 + 9 - 323*w**2 - 321*w**2 - 6*w. Let r be l(2). Let i be c(r). Is 1 less than or equal to i?
True
Let u(t) = 2*t**2 - 13*t + 24. Let r be u(6). Suppose -51*m + r = -49*m. Which is smaller: 21 or m?
m
Let i be ((-4)/7)/(56/196). Let c be 6/(-72)*-20*33/i. Is c at least -27?
False
Let i = 237.9822 + 0.0178. Let d = 237.94 - i. Are d and 19 nonequal?
True
Let k(m) be the third derivative of m**5/60 + 7*m**4/24 + 73*m**3/6 - 18*m**2. Let r be k(-13). Is 152 less than r?
False
Let n be (0 - -453)*1/3. Let v = 162 - 12. Is v smaller than n?
True
Let k = -2.33 + -1.67. Let w = k + 2.3. Is w greater than or equal to -2/9?
False
Let y = -953/2 - -490. Let u(h) = -4*h + 6. Let q be u(-2). Let s = q - y. Is s bigger than -116?
True
Suppose 6*h - 22 = 14. Let z be (-8)/80*1*h. Suppose -5*i + 3 = 13. Which is greater: i or z?
z
Let j = 3.797 + -1.797. Is 1494 not equal to j?
True
Let c(n) = n**3 + 12*n**2 + 7*n + 56. Suppose x + 9 = -3*t, -3*x + 5*t - 22 - 19 = 0. Let u be c(x). Are u and -29 nonequal?
True
Suppose -32*p + 10*p - 532 = -2116. Which is smaller: 0.004 or p?
0.004
Let x = -0.6464 + 0.7464. Is x bigger than 901?
False
Let j be 0 - (6 - (-6 + 13)). Let f be 6*(84/(-18) + j). Which is bigger: f or -17?
-17
Let q = -58254 + 58231. Let z = 0.1 - -0.9. Let k = z - 2. Which is smaller: q or k?
q
Let f be (3/(-269))/((-138165)/8130 - -17) + 2. Which is greater: 1 or f?
1
Let m be 2*(-4 + -4 + 9). Suppose x = -m*g - 3, 2*g + 0*g - 9 = 3*x. Let l be (-3)/(-5) - (-190)/(-275). Is l >= g?
False
Suppose 36*y - 39*y = 2*b + 84, 58 = -2*y - 2*b. Let s be y/(-3) + (7 - 11) - -5. Which is smaller: s or 0.1?
0.1
Suppose 2696 = -23*r - 6306 + 2654. Which is smaller: r or -1?
r
Suppose 29*w + 11658 = -65*w + 1224. Which is greater: w or -0.14?
-0.14
Let t(q) = 304*q - 477. Let d be t(2). Are 134 and d nonequal?
True
Let m be 27234/192*(-100)/(-45). Let b = m - 315. Which is smaller: b or 1?
b
Let u(v) be the second derivative of v**4/12 + 2*v**3/3 - 7*v**2 + 2*v + 42. Let n be u(0). Which is bigger: -138/11 or n?
-138/11
Let z = -10227 - -10235. Is 432/47 greater than z?
True
Let f(h) = -4*h**2 - 61*h - 11. Let d be f(-15). Let i be d*(-6)/168*-217. Is i at most 125/4?
True
Let m(f) = -3*f**2 - f**3 + 173*f - 171*f - 4 + 12. Let w be m(-4). Suppose -40 = -5*a - 4*o + 3*o, -5*o = -2*a + w. Is a equal to 11?
False
Let y(a) = 7*a**2 - 72*a + 180. Let z be y(6). Is z >= -4/399?
True
Let j = -48 - -29. Let n = j + -3. Let i = -0.311042 + 0.011042. Is n bigger than i?
False
Let j be 1/(2/(4 - 2)). Let l be (-3)/((-141)/(-142)) + -16 + 285/15. Do l and j have the same value?
False
Suppose 3*w - 9*w + 12 = 0. Suppose w*n + 167 = 169. Is -1/120 greater than n?
False
Let y(c) = 18*c + 143. Let j be y(-8). Which is bigger: -7/36 or j?
-7/36
Suppose 9*b + 25952 = -2*c, -90*b + 95*b - 51904 = 4*c. Which is smaller: c or -12974?
c
Let b(y) = -y**3 - 18*y**2 + 28*y - 218. Let o be b(-20). Which is smaller: 358 or o?
o
Let u = -44 + 44. Let b be (5 - u) + (-7 - 12/(-4)). Which is bigger: -10/27 or b?
b
Let a(b) = b**3 - b**2 - 24*b + 18. Let c be a(5). Which is smaller: c or 1.377?
c
Let m(f) = f + 17. Let k = -35 - -14. Let q be m(k). Let h be q/20 + (-156)/20. Which is bigger: -7 or h?
-7
Let v(d) = -144*d**2 + 14*d - 4. Let c be v(2). Is -2211/4 less than or equal to c?
True
Suppose 3 = -3*m, 2*m - 112 = -n + 207. Which is smaller: n or 2246/7?
2246/7
Let j = -68887 + 49598587/720. Let w = -1/40 - j. Which is smaller: 1 or w?
w
Let r = -1855 - -1854.9. Is -1137 greater than r?
False
Let k(v) = 96*v + 3896. Let h be k(-57). Is -1574 at most as big as h?
False
Suppose -1870 = -20*j - 16*j - 49*j. Let n(q) = 2*q**3 + 7*q**2 + 6*q + 5. Let x be n(-5). Let m be x/(-78) + j/(-33). Which is smaller: 1 or m?
m
Suppose -25*m + 30*m = -4*g + 261, 0 = -3*m - 9. Let a = -68 + g. Is a less than 7/40?
False
Suppose 5*p - 6 = 7*p, 2*p + 12 = 2*w. Let o be (w + (-35)/14)*0. Which is smaller: o or 5/44?
o
Let v = -9113/521826 - -2/8997. Suppose -3*r - 3*c = -9, -2*r + 2*c = 3*c - 2. Which is smaller: r or v?
r
Let p(g) = -g**2 - 7*g + 4. Let l be p(-7). Suppose 3*o + l*x + 7 = -6, -x = 4. Let q be o - 4*(-5)/(-16). Is 4 at most as big as q?
False
Let x(u) = -5*u**2 + 16*u + 19. Let b be x(8). Let o = 160 + b. Is o != -12?
True
Let s be 58 - 56 - (0 + 31). Let x = 2 - -4. Let c be -2 + x + (6 - s) - 1. Which is bigger: c or 37?
c
Let y = -48 - -246. Let x = 194 - y. Which is smaller: 4/11 or x?
x
Let y(x) = x**3 + 19*x**2 - 47*x - 342. Let c be y(-21). Which is greater: c or -236?
-236
Let t = 2712 - 2730. Let o = 29 + -54. Is t smaller than o?
False
Suppose -2*t + 19*i = 22*i + 211, -t = -5*i + 60. Is -