8.97 + 169.01. Which is greater: -1377 or z?
z
Let h(t) = t**3 + 8*t**2 + 7*t + 2. Suppose -4*k - 17 = 11. Let c be h(k). Let p be (0 - -10)*(-8)/(-32). Which is bigger: c or p?
p
Let n = -356 - 2201. Is n smaller than -2556?
True
Let b(x) = -30*x + 680. Let c be b(-5). Are 830 and c nonequal?
False
Suppose 75 - 3 = 3*d. Let a(k) = -k**3 + 25*k**2 - 20*k - 33. Let t be a(d). Which is smaller: t or 65?
t
Let z be -4 - 646/5 - (-2)/10. Let f = -265 - z. Let o = f + 131. Which is smaller: -10/11 or o?
o
Suppose -5*r + 3*n = -1123, -2*n - 663 - 11 = -3*r. Which is smaller: r or 673/3?
r
Suppose 21*i - 16*i = 0. Suppose i*b = -4*b + 2*l + 24, -5*b + 4*l + 36 = 0. Suppose -2*y = -3*h + b, -2*y - 7 + 3 = 3*h. Which is smaller: h or -5/16?
-5/16
Let h(g) = 232*g + 3705. Let o be h(-16). Which is greater: o or 97?
97
Let f(c) = c - 2. Let g be f(2). Suppose g*b + 1080 = -9*b. Which is bigger: -119 or b?
-119
Let l = 0.00145 - -0.06855. Which is bigger: 8 or l?
8
Let c = -226.8 + 226. Which is smaller: 132/7 or c?
c
Let k = 3/14741 + -2782/86102181. Are 1 and k nonequal?
True
Let z = -3107 + 21659/7. Let p = 6527653/512890 + 53/4310. Let o = p + z. Is o bigger than 2/13?
False
Let d = 9/173 + -3323/692. Let s be (5/6)/(6/36). Suppose c - 2*c = m + 10, -3*c + s = -4*m. Is m >= d?
False
Suppose -35*l + 30 = -4*k - 40*l, -2*k - 24 = 4*l. Let o be (-89)/(-372) - (-1)/(-4). Which is smaller: k or o?
o
Suppose -25*b - 2*s = -29*b + 12, -b - s = 0. Which is greater: b or 115/78?
b
Suppose -11 = 119*g - 111*g - 11. Is g < -25/249?
False
Let d = 353 - 379.4. Let b = d + 26.5. Are -72 and b equal?
False
Suppose -3*o + 417 = -2*d + d, 3*o - 1275 = 3*d. Let v be 260/d*(-24)/(-5). Which is bigger: v or 2?
2
Let y = 76822379 + -84120529439/1095. Let t be ((-1744)/(-876) - 2)*-42*5/(-100). Let v = t + y. Is -23 at most as big as v?
True
Let z = -97.51 - -97.41. Which is bigger: z or -79/16?
z
Let m be -5 + 2138/8 + 9/12. Let j be (1/((-18)/6))/m. Which is greater: j or 0?
0
Let d = 0.43 - 0.13. Let i = -185 - -113. Which is smaller: i or d?
i
Let k be -2 - ((-7365)/135 + 3). Which is greater: k or 50?
50
Suppose 0 = 76*l - 280*l + 204. Which is greater: -1387 or l?
l
Suppose 3*o + 4*g = -324, 0 = -4*g + 26 - 14. Is o at least 2?
False
Let p be 6/(-132)*-40 - (-4)/22. Let t be (-208)/(-6) - 2 - 3/(-9). Which is greater: t or p?
t
Let a = -244/1239 - -6/59. Let c = 10/7 + a. Let m = -47 + 41. Which is smaller: m or c?
m
Let j(i) = -20*i - 1857. Let o be j(-100). Which is smaller: o or -0.07?
-0.07
Let o be ((-18)/(-324))/(-3 - (-44)/(-6)). Which is bigger: o or 6?
6
Let k(c) = c**2 - 9*c + 15. Let b be k(5). Let l(x) = -2*x**3 - 11*x**2 - 6*x - 9. Let u be l(b). Is u >= -17?
True
Let d = 22817 + -23226. Which is bigger: -408 or d?
-408
Let v(z) = -2837*z**3 + 5*z**2 + 24*z + 20. Let b be v(-1). Is 2838 < b?
False
Let t = -1527.01 + 1527. Which is smaller: t or 25?
t
Let m be ((-11)/(2046/(-228)))/(-8). Let l = m - -1759/9052. Is 0 > l?
False
Let o = -2.465 - -2.565. Which is greater: o or -0.0285?
o
Let y = 351 + -350. Let q be (2 - y/1)/(2 + -5). Which is bigger: q or 1.37?
1.37
Let l be (5*(-24)/(-176))/(117/(-60))*1. Which is bigger: 0 or l?
0
Suppose -54*h + 990 = -120*h. Suppose -92 = 4*r - 5*b, 5*r + 2*b = -15 - 67. Which is smaller: r or h?
r
Let d = -14998 - -14998. Is -13232 bigger than d?
False
Suppose 41*k + 34225 + 19740 = 2920. Which is greater: k or -1250?
k
Let x be (-14)/2 - (-50 + 43). Suppose x = -16*n + 13*n - 28*n. Is 8/113 smaller than n?
False
Suppose 14*n + 105 = 21*n. Let s be (1*1/3)/((-5)/n). Which is greater: s or -2/7?
-2/7
Let r = -154.45 - -3.45. Let t = r - -150.9. Let a = 11.03 + -0.03. Which is bigger: a or t?
a
Let u be ((-5)/(-1) - 6) + (38 - 3). Suppose u*j = 44*j - 20. Which is smaller: -0.006 or j?
-0.006
Let m be 84/(-8)*((-965)/(-195) - 5)*20. Which is smaller: -0.2 or m?
-0.2
Let o be (-50 - 0)/(152/(-20) - -8). Let f = -122 - o. Which is smaller: f or 37?
f
Let b(m) = -m**2 + m + 7. Let v be b(3). Suppose -4*f + 44 = -2*u, 6*f - 4 = 5*f - 3*u. Do v and f have the same value?
False
Let y be 0/(120/(-24) - -3). Which is bigger: y or -2/72045?
y
Let t = -442 - -435.28. Let l = t - -5.82. Which is smaller: l or -1/4?
l
Let m = 7159 - 7155. Let j(r) = 11*r + 10. Let b be j(-6). Is b greater than or equal to m?
False
Let b be (-29)/(-580) + (-24004)/80. Which is smaller: -3290/11 or b?
b
Let k(f) = f - 6. Let a be k(7). Let j be (-15)/(-18) - (a + -1). Let g = -0.3065 + 0.6065. Are j and g non-equal?
True
Let f = -35 - -41. Suppose -2 = -f*x - 14. Let b be x/(-7) + (-27)/21. Is b <= 1?
True
Let s be ((-4)/(-3))/(52/30). Let q be (0*(-2)/(-4)*-1)/(-1). Suppose q = 114*k - 121*k + 7. Is s not equal to k?
True
Let n be (136 - -8)*(-399)/(-84). Which is smaller: 680 or n?
680
Let d(k) = -k**3 + 10*k - 7. Let l be d(-7). Let s be ((-2)/6)/(3/(-9)). Let w be s/1 - l/98. Which is smaller: 2/7 or w?
w
Suppose 0 = -6*k - 0*k + 66. Suppose 26*n - k*n = -90. Let z be -1 + (2 + 0)*-2. Do z and n have different values?
True
Let y = -2646 + 6175/2. Let c = -442 + y. Is c at least -1/3?
False
Let r be 414/(-49 + 31) - -22. Let s = 37 + -122. Let h be (-2)/8 - s/308. Which is smaller: r or h?
r
Suppose -3*b = -2*b - r - 149, 3*b - 5*r = 441. Let p = -1521/10 + b. Which is bigger: -1/15 or p?
-1/15
Let p(b) = 26*b**2 - 1. Let g be p(1). Let a be 20/g + 27402/(-34215). Is a not equal to 0?
True
Suppose -n - 3 = 0, -5*r - 2*n - 73 = 293. Is r != -62?
True
Suppose -242112 = 58*h + 46*h. Is -2328 at least as big as h?
True
Let r = 3/317702 + 497067469/317702. Which is greater: 1565 or r?
1565
Let p = 179.6 - 179.7. Is p <= -3333?
False
Let l = 59 - 57. Let p be (-150)/(-25) - (-16)/l. Is p at least as big as 3?
True
Let f be -1*(0 - -1)*(-55 - (-16711)/323). Are 2 and f nonequal?
True
Let i = 81 - 79. Let m(p) = -p**3 + 4*p**2 - 2*p - 5. Let s be m(4). Let b = i + s. Is b less than -11?
False
Suppose 2*x + 2*r = 620, 5*x - 3*r - 1379 - 179 = 0. Let b = -415 + x. Do b and -104 have the same value?
True
Suppose t + 8 = 5*j, -10*t + 2*j = -8*t. Let x = 6077/30 - 1291/6. Let p = x + 909/65. Is p at most t?
True
Let u(h) = 12*h + h**3 - 3*h - 7*h - 6*h**2. Let c be u(2). Let s be 2/c + 1*7/26. Does 1 = s?
False
Let m = 498981/11 - 45262. Let b = m - 1199031/12001. Are 0 and b equal?
False
Let g = -4062/5 + 812. Let j = -2115.06 + 2142. Let y = j + 0.06. Is g smaller than y?
True
Let d = 5.0029 - 0.0229. Let l = d + 0.02. Let p be (-114)/60*1752/4161. Which is greater: l or p?
l
Let t(n) = 3*n - 85. Let m be t(-13). Let z be m/(-20) + -4 + -2. Which is greater: -27 or z?
z
Let u(s) = -4*s**3 - 3*s**2 + 4*s + 41. Let l be u(-5). Let j = l + -445. Which is greater: 12/13 or j?
j
Let l = 6175 - 6172. Let i(c) = c**3 + 5*c**2 + 3*c - 4. Suppose 2*k - t + 2 = k, 2*k + 9 = -3*t. Let w be i(k). Is w smaller than l?
False
Let c = -6690 + 6414. Is c >= -283?
True
Let b(i) = -i**3 + 5*i**2 - 6*i + 13. Suppose -j = -2*t - 3*j + 12, t - 3*j = -2. Let g be b(t). Let a be 19*(g - 4 - (5 - 3)). Is a bigger than -17?
False
Let n = 1238 - 1157.9. Let w = 80.068 - n. Which is smaller: 0.6 or w?
w
Let h be 1*4157/2 - (-210)/140. Which is smaller: h or 2081?
h
Suppose 3*d - 16 = 5*o, 4*d - 2*o - 16 = 2*o. Suppose 4*z + d*m = 6*m, 3*z - 5*m - 2 = 0. Let b = -0.007485 - 28.992515. Are z and b non-equal?
True
Let n = 7233 + -7220. Which is smaller: 6 or n?
6
Suppose 6*p - 15*p + 37*p = 0. Suppose 76*g - 81*g - 5*s + 20 = p, -4*g - 3*s = -11. Which is smaller: 1/1065 or g?
g
Let y = 7093 + -7084. Which is bigger: 450/53 or y?
y
Let w = -0.0488 + -41.9672. Let o = w - 0.984. Do -2/7 and o have the same value?
False
Let o = -7560 + 6792. Which is smaller: o or -769?
-769
Let h(u) be the second derivative of -u**4/6 - 5*u**3/6 - 5*u**2/2 - 17*u - 2. Let a be h(6). Which is smaller: 0.1 or a?
a
Let f = 51 + -210. Let x = f + 155. Is -0.048 < x?
False
Suppose -5*v + 3*x - 2*x = -84, 64 = 5*v + 4*x. Let j be ((-38)/12*1)/((-2)/v). Which is smaller: 26 or j?
j
Let b = 6634 + -7060. Which is bigger: -432 or b?
b
Let y be (-187384)/19824 - ((-10)/(-14) + -1). Are y and -8 equal?
False
Let x(a) = -a + 8. Let t be x(7). Let s be (46/(-69))/(t/(-54)). Suppose -s = 7*c + 2*c. Which is smaller