30*z + 52. Let a be y(-32). Let u be 4/(64/a) + (-279)/12. Is u < -25?
False
Suppose 1658 = 1223*c + 16556 - 222. Let d be 6/(-4)*(-26)/3. Let o be (d*-1 + 2)*1. Are c and o nonequal?
True
Let w be ((-1)/(-3))/(2/(-3 + 45)). Let p(l) = 4*l - 30. Let s be p(w). Let d(z) = -z**3 - z**2 - z - 6. Let h be d(s). Which is smaller: h or -1/65?
-1/65
Let a be (99/(-6))/((6/4)/((-513)/54)). Which is smaller: a or 105?
a
Suppose 0 = -5*g + q + 54, 2*g - 5*q - 23 = 17. Suppose 0 = 12*p - g*p + 38. Let y be ((-1)/(-2))/(62/(-2294)). Which is bigger: p or y?
y
Let h = -16357 - -7762. Is -8595 > h?
False
Let w be (60/(-8))/((-3)/2). Suppose 2*c + 0*c - 49 = -w*n, c - 17 = 5*n. Let l be 46/11 + (-4)/c. Is -4/9 smaller than l?
True
Let d be -7 + (-38830)/2772 + 21. Which is smaller: -38 or d?
-38
Let k = -4559 + 4559.011. Which is smaller: k or -86?
-86
Suppose q - 6*q + 20 = j, -q - 7 = -2*j. Let h be (-3)/45*q*-15 + -8. Is h bigger than 17?
False
Suppose -110*j + 125*j + 630 = 0. Let u(a) = -a + 4. Let v be u(0). Suppose 34 = -v*q - 130. Are q and j nonequal?
True
Suppose -2*t - 4*h - 16 = 0, -3*h - 8 = -3*t - h. Suppose 0 = -2*c - 3*c - o - 17, t = -2*c + 2*o - 14. Let p be c/(-2*4/(-8) - 0). Which is smaller: -2 or p?
p
Let h be 3/((-36)/(-48543)) - (-2 - (-55)/44). Is h greater than 4046?
False
Let o = -5 + 5. Suppose 0*t = 5*n + t - 25, o = -n - 2*t + 14. Let b be 42/n + (-75)/10 + 9. Which is smaller: 21/2 or b?
21/2
Let n = 180598/1079 - 2148/13. Which is smaller: n or 3?
n
Let d(l) = 0*l**2 + 2*l**2 + 10*l - 2*l**2 - 4*l - l**2. Let k be d(6). Which is smaller: 7/8 or k?
k
Suppose -94*h - 122*h = 65*h - 72*h. Do h and -1/11511 have different values?
True
Let l be (-9018)/81*6/(-4) + -8. Suppose 2*t - t + 792 = 5*x, -5*t - 462 = -3*x. Is x at least as big as l?
True
Let f be 20476/(-3)*(-190)/(-760). Is f at most -1705?
True
Let c be (-175)/(-21) + -6 + 48/(-32). Is c smaller than -199?
False
Suppose -20*o - 16514 = 24*o + 2*o. Which is smaller: -351 or o?
o
Let g = 613/5952 + 5/192. Let m = g + 19/93. Which is smaller: m or -1?
-1
Let h be -56*3*-1*-20*5157/(-8100). Which is smaller: 2138 or h?
2138
Suppose -25*r - 161 = 39*r - 1185. Does r = -0.2?
False
Let o be 3/(12/2 + -5). Let g be -3*(-15)/18 + o/6. Is g greater than 27/14?
True
Let d = 0.0356 - -69.8644. Let q = -68.8546 - 1.1454. Let m = d + q. Are -16 and m non-equal?
True
Let x = 2901.9 + -2787. Let w = 148 - x. Is w less than or equal to -1?
False
Let h be 1/2 + 27/(-6). Let m be h - (-96)/28 - (-2)/7. Which is bigger: 23 or m?
23
Let n be (-11 - -16) + -3*164/26 - -5. Is -1 equal to n?
False
Let u = -346 + 346. Suppose 51*t - 58*t + 1589 = u. Is t not equal to 226?
True
Let p be 229 + (6 - -10) - 7. Is 713/3 != p?
True
Let q(c) = -65*c - 74. Let t be q(-6). Let f = -317 + t. Is -2/99 less than or equal to f?
False
Let k(i) = 1022*i + 2304. Let n be k(-5). Which is greater: -2807 or n?
n
Let o(p) = p. Let m(l) = -l**2 + 25*l + 30. Let k(b) = m(b) + o(b). Let s be k(27). Is 3 not equal to s?
False
Let g(l) = 4*l**2 - 12*l + 3. Let u be g(3). Suppose -103 = -4*h - z, 2*h - 47 = -8*z + u*z. Which is greater: 27 or h?
27
Suppose 5*g + 6 + 4 = 0. Let j = -0.13821 - 6.86179. Is g > j?
True
Suppose -13*k - 4*j = -17*k - 16, 0 = -5*j + 5. Suppose 6*n - 4*n - 14 = 0. Let o be -2*(-3)/k*n/1344. Which is smaller: -1 or o?
-1
Let z(j) = -4*j**3 - 104*j**2 - 2*j - 52. Let r be z(-26). Which is smaller: 2/6231 or r?
r
Let a(v) = -v - 6. Suppose 10 = -4*z - 6. Let p be a(z). Let c be (6 - 8) + (-12)/p. Is 4 smaller than c?
False
Let v = -408 - -259. Let o = v - -152. Is 4 at least as big as o?
True
Let z be (-5 - 5)/(-30)*9/12*-2. Is z not equal to 0.1484?
True
Let h = -86174/53 + 1626. Let q be 3 - (2 - 32/14)*-14. Which is bigger: h or q?
h
Let p = 311777/34 - 9170. Suppose -3*x = 2*k - 10, 0 = 3*x - 3*k + 21 - 6. Which is smaller: p or x?
p
Let a(d) = d**3 - 9*d**2 - 9*d + 13. Let f be a(9). Let h = -23 - f. Let n be h/55 + (3 - (-31)/(-11)). Is -1/33 greater than n?
False
Suppose -5*b = 5*z - 60, 0 = 5*z - 3*b - 9 - 27. Suppose -6*q + z = -3*j - 2*q, 0 = j - 3*q + 3. Let n(u) = u + 2. Let f be n(-4). Which is smaller: f or j?
j
Let w = -0.972 - -1.334. Let u = w + 0.038. Let m = 2 + -3. Do m and u have the same value?
False
Let y be ((-668148)/(-37118))/(-6) + 4 + -1. Which is smaller: -1 or y?
-1
Let n = 3239 - 2644. Does n = 594?
False
Let p = 1825 - -883. Which is bigger: p or 2707?
p
Let g(c) = 170*c - 1. Let n be g(-1). Let d be (37/74)/(2/(-692)). Do d and n have different values?
True
Let b(s) = s**2 + 37*s + 147. Let c be b(-30). Let m be (-3)/4*(-42)/c. Is m <= 0.11?
True
Let q = -98 + 48.9. Let v = q - -44. Let f = v + 5.2. Is -0.8 smaller than f?
True
Let g be 6/(2 - 16/4). Let l be ((g/(-4))/((-75)/40))/(-2). Which is greater: 79 or l?
79
Let n = 73 - 64. Let s be (1/(-14))/(n/6). Suppose -2*t = 2*t - h, h = t. Is s greater than t?
False
Let o = 2203 - 2203.3. Let z = 59/330 - 7/33. Is z less than or equal to o?
False
Suppose 36*u - 34*u + 14 = 0. Let q = -82 + 91. Suppose -25 = 4*d - q. Is d < u?
False
Let x = 2 + -3. Let r = 19171.03 - 19386. Let p = r + 215. Does p = x?
False
Let q be (0 - 174/4)*14. Let n be q/15*(-120)/140. Do n and 35 have the same value?
False
Let h(c) = -2*c**3 + 22*c**2 + 12*c + 67. Let p be h(12). Which is smaller: p or -79?
-79
Let p(u) = -u**3 - 16*u**2 - 20*u + 13. Let a be p(-21). Suppose -5*h = 3*v - 343 - a, -12 = 4*v. Is h <= 598?
True
Let n = 0.3729 - 0.3629. Which is bigger: n or 0?
n
Let g = 19 - 53. Let a = g - -104/3. Let u = -4876 - -4896. Which is smaller: a or u?
a
Let x(h) = -24*h**2 + 5*h. Let z be x(4). Let b be -6*-65*224/(-240). Is b less than z?
False
Let f be 105/14*8/10. Suppose f*u + 90 = -4*u. Let h be (-6)/u + (588/(-153))/7. Which is bigger: 0 or h?
h
Let l = 7.431 + -0.391. Let z = 3.74 - l. Which is greater: -0.1 or z?
-0.1
Suppose r + 58 = 63. Suppose 0 = 2*x - 4*d + 26, -5*x = r*d - 2 - 8. Which is greater: x or -5?
x
Suppose f = 2, -12 - 16 = -4*c - 4*f. Suppose q - 4*g = -16, -5*g + 22 - c = -2*q. Let z be (3 + (-1)/2)/1. Are q and z non-equal?
True
Let y = 1312/1365 + -48/35. Let p = y - 10/39. Which is smaller: -1.93 or p?
-1.93
Suppose -70*z + 460 = 63*z - 143*z. Which is greater: z or -25?
-25
Let t = -244 - -238. Let k(x) = -73*x - 348. Let p be k(t). Which is smaller: p or 91?
p
Suppose -5062 = 19*r - 5081. Which is smaller: 21/221 or r?
21/221
Let i = 0.9 - -18.1. Let b = i - 10. Let v = b - 10. Which is smaller: 0.04 or v?
v
Let c = 20/453 + 46619/906. Is c at most as big as 2?
False
Let d = 144 - 128. Suppose 4*h = j - 96, d*h = 17*h - j + 21. Is -26 > h?
False
Suppose -2*n - 11388 = -q, 5*n + 9899 = 3*q - 18570. Is -5697 smaller than n?
True
Let g = -3466 - -3466.1. Let j = 1/253 - -7075/2277. Are j and g equal?
False
Let r(a) = -a**3 - 4*a**2 + 5*a + 1. Let l be 18/(-4) + 7/(-14). Let c be r(l). Let w be (13 - 5340/408)/(3/(-2)). Is w > c?
False
Let x be 2/44*-4 + (-189)/(-11). Suppose 4*g - 66 = -2*v, 5*g = -3*v + x + 82. Suppose 0 = -7*k + 10*k + v. Are k and -13 unequal?
True
Let x be -141 - -142 - (0 - -1)/1. Which is smaller: x or -4/3687?
-4/3687
Let n = 12 - 11.965. Let a = -25.965 - n. Let v = -1240 - -1240. Which is smaller: a or v?
a
Let n = 1033 + -953. Let y be (2/6)/((n/4695)/16). Are y and 313 unequal?
False
Let w be (250/140 + 6/(-21))/(9/474). Are w and 33 equal?
False
Let o(l) = -l**2 - 8*l + 1. Let y be o(-9). Let v be -1 + 0 + 4/y. Let h = 105/452 - -2/113. Which is smaller: v or h?
v
Let q = 756 - 1080. Let f = 325 + q. Is 80 at most f?
False
Let f = -265 + 298. Let w be (5 - f/3) + 6. Is w less than or equal to -2/1285?
False
Suppose 0*a + 4*a - 7333 = -3*x, 0 = -3*a - 24. Is 2457 less than x?
False
Let b = 2.5266 - -0.4734. Is -3156 greater than or equal to b?
False
Let i be (4 + -3 - -5)/2. Suppose y = i, 14*y = 4*j + 16*y + 498. Which is greater: -125 or j?
-125
Suppose 5*h = -2*z + 11, -10 = -4*z - h + 3. Suppose 0 = -z*g + 5*t + 236, 3*t - 4*t = g - 68. Suppose 8*p + g = 2*p. Is 2 less than p?
False
Suppose 176*p = 174*p - 228. Let k = p + 86. Is k > -28?
False
Suppose -5*y + 97 = -3*a, -73 = 2*a - 6*y + y. Let c be (-1)/11*(-24)/a. Which is greater: c or 1?
1
Let c(b) = 5*b**2 + 4*b**2 +