 -17.967. Let p = 13.4 - m. Let j = p - -4.54. Is j equal to -1?
False
Suppose 2*w + 12 = -0*h - 3*h, h + 4 = 3*w. Suppose -2*d + 480 = 4*j, 120 = 2*j - j + 2*d. Let o be 1/2*j/(-10 - 0). Which is bigger: o or w?
w
Let v be (6/4)/((-10843)/2884 + 4). Which is greater: v or 6?
v
Let d be 2717/95 + -28 + (-46)/70. Which is bigger: 10.9 or d?
10.9
Let g = -877 + 1230. Are g and 344 non-equal?
True
Let a be (-22)/30 + (-466)/(-3495). Is -2/45 not equal to a?
True
Suppose -12*n - 84 = 0, -6728 - 2671 = 5*d - 3*n. Which is smaller: d or -7?
d
Let n = 502 + -503. Let p = 25 + -32. Let i be 30/38 - (p + 8). Is i bigger than n?
True
Let t = -371 - -376. Let k be ((-1)/4)/(249*t/60). Is -1 greater than or equal to k?
False
Let y = 2721 + -2721.56. Let q(a) = a**2 - 9*a + 6. Let w be q(9). Let m be (-4)/6 + (-2)/w. Is y >= m?
True
Suppose 35*f = 33*f + 634. Suppose -f*b + 311*b = -378. Is 66 at most b?
False
Let h(i) = -i**3 - 7*i**2 - 7*i - 2. Let q be h(-7). Suppose 3*y - q = 2*b, 2*y - 66 = 4*b - 24. Let f be (12/(-5))/(9/(-60)). Which is greater: f or y?
f
Let b = -255 - -266. Suppose -13*a + 216 = -b*a. Does a = 108?
True
Suppose 4*k - 203 - 93 = 0. Let u = -74 + k. Let y be 6 + (u - 0) + -2. Which is smaller: y or 5?
y
Let b = 28772 + -28770. Which is greater: -6134 or b?
b
Let i(t) = -3*t**2 + 97*t + 190. Let m be i(43). Are -1185 and m unequal?
True
Let l = -112183 - -112182.954. Let y be -1*1 + 1 + -1. Is y greater than l?
False
Suppose 4*b - 5*z - 1244 = 45, -3*z = -2*b + 645. Let v be b/(-1455) - (9/15)/(-3). Is v < -1?
False
Suppose 0 = -2*m + 39 + 83. Let w = 100 - m. Let c be (w/(-36) + (-6)/(-8))*3. Which is smaller: c or -2?
-2
Suppose 3*n - 4*h = 182 - 42, 3*h = n - 40. Which is bigger: 53 or n?
53
Let o = -35235 + 3065486/87. Which is bigger: o or 1?
1
Let j(u) = u**3 - 11*u**2 - 45*u + 395. Let s be j(12). Is s != -4/849?
True
Suppose 3*a + 84 = -2*h + 30, 54 = -3*a + 2*h. Suppose -5*x + 15 = 0, 7*w - 2*w - 5*x = -130. Is w not equal to a?
True
Let v(b) = 3*b - 51. Let x be v(17). Let o = 20096042 - 582885398/29. Let z = -3454 - o. Which is bigger: z or x?
z
Let q(l) = 11*l**2 + 5*l - 16. Let v be q(1). Suppose 0 = -t - 3*t - 2*o - 8, -16 = -2*t + 4*o. Let j be t + -2*9/174. Is j less than v?
True
Let m be -55*((-54)/(-30) - 2). Which is greater: -186 or m?
m
Suppose 165 = -14*p + 669. Suppose p - 53 = -a + 4*i, -4*i - 32 = -4*a. Is -0.09 smaller than a?
True
Let y = 2397 + -2637. Is -238 >= y?
True
Let f(k) = -k - 14. Let c be f(-20). Suppose d + c = -d. Are d and -32/13 non-equal?
True
Let h = -55/233742 + -286895845/2578875486. Let f = 5/187 + h. Which is bigger: 1 or f?
1
Let x be (-10)/1114*18/855. Let j = -148196/179911 - x. Which is bigger: 0 or j?
0
Let x = -9 - -15. Let h be 4/x*72/15. Suppose 195 = 25*a + 21*a + 19*a. Do h and a have the same value?
False
Let z be 7520/(-30) - 2/6. Let h = 250 + z. Is -1/3 != h?
True
Let z = -266 + 268. Let u be z/(-4) - 999/1026. Which is smaller: 0.1 or u?
u
Suppose 0 = 4*l - v + 3622, -119 - 3513 = 4*l + 4*v. Let o be l/10 + 24/(-60). Is -92 >= o?
False
Suppose 5*o = -3*i - 60, 7*i + 63 = 4*i - 4*o. Let p = 6 - i. Is 27 smaller than p?
True
Let q be (-16)/(-156)*(-54)/34956. Is q less than or equal to 0?
True
Let n be ((-319)/(-33) + -9)*(-25703)/(-38). Let c = n + -451. Let i be (2 - -1) + (-1 - 1). Which is bigger: i or c?
i
Suppose -2*u - 8 = 0, -3*b - 8 = -u - 3. Let n(z) be the first derivative of 2*z**3/3 - 13*z - 301. Let r be n(b). Is 5 smaller than r?
False
Let q be ((-6552)/(-11070) - 6/10)/((-25)/(-1530)). Is q smaller than -1?
False
Suppose 2 = -6*v + 8*v + 3*f, 0 = 4*f + 8. Suppose 4*a - 1267 = 9*r - 12*r, 959 = 3*a + v*r. Which is greater: 312 or a?
a
Let p = 29568 + -88709/3. Are 526 and p nonequal?
True
Let q be (-1)/(-3 + (-26)/(-9)). Let m = 7013 - 7020. Are m and q unequal?
True
Let g = -164 + 161.28. Let d = g + 0.92. Are d and -3 unequal?
True
Let g(b) = -2*b**2 + b + 86. Let l be g(0). Suppose 80*u - 654 = l*u. Which is smaller: u or -110?
-110
Let h(u) = u**3 + 4*u**2 - 4*u + 5. Let j be h(-5). Suppose b - 27*b + 234 = 0. Let i be (7 - (-5 - -13))/(b + 0). Is i at least as big as j?
False
Let a(x) = -x**3 + 8*x**2 - 23*x + 63. Let z be a(5). Is z smaller than -16?
False
Let k be ((-30)/(-14070))/((-26)/7). Which is smaller: k or 0?
k
Suppose -4*o + 13 = h, -5*o - 6*h + 3*h + 18 = 0. Let n be 14/(-3)*(0 - 24/28). Let l be 60/(-14) + n + 372/126. Which is bigger: l or o?
o
Suppose 49*a - 359601 = -2*a. Is 7051 less than a?
False
Suppose -1468 = -37*r - 699 - 8539. Which is smaller: 11 or r?
r
Let g be 12*-1*(-60)/(-48)*-14. Let f = g + -207. Which is smaller: f or -0.14?
-0.14
Let p = -4/35754345 - -2810610055714/35754345. Let u = 78467 - p. Let o = 142 + u. Which is greater: -1 or o?
o
Let n = 18124 + -18232. Is n != -169?
True
Let r = 3148 + -3214. Which is bigger: r or -44?
-44
Let s = 337.44 + -73.44. Is -3 greater than or equal to s?
False
Let d(q) = -q**3 - 10*q**2 - 5*q + 2. Suppose -5*z - 32 = -a, a - 34 = -0*a + 3*z. Let i = 28 - a. Let k be d(i). Which is greater: k or -35?
k
Let j be -180 + -2 + 3 + 10. Is j != -162?
True
Suppose -2*o + 40 = a, -a + 2*o - 5 = -53. Let p = -40 + a. Let i be (-2)/p*10/(-5). Do -1 and i have the same value?
False
Suppose -7289*f = -7285*f - 1456. Is 367 smaller than f?
False
Suppose -y = 4*t - 4*y + 41, -4*t = y + 29. Let u(c) = c**3 + 2 + 2*c - 1 + c**2 - 2. Let m be u(-2). Is m bigger than t?
False
Suppose 4*f + 1959 + 1137 = 0. Let y be 5 + (f/30 - -5). Which is bigger: -17 or y?
y
Let p be 36/(-16)*384/(-18) + 6*1. Let c be (-2 + 168)*2/6. Is p greater than or equal to c?
False
Let g = 2939/22 + 1961/22. Is g bigger than 223?
False
Suppose 3*u = 5*u - 4*h + 16, 0 = -4*h + 8. Let r be (-4 - u)/((-10)/(-5)). Let p be (-3)/120*-5 - r. Which is smaller: -1 or p?
-1
Let h be (8/5)/(8/20). Let d be 74/(-15) + 1*h/6. Let k = d - -14/3. Is k at least -2?
True
Let o be -2 - (-50)/15 - (-3)/(-9). Let l = 167 - 251. Let v = l - -88.6. Which is smaller: o or v?
o
Suppose -33*g = -28*g - 5*h + 665, 0 = -2*g - 5*h - 294. Which is greater: g or -139?
g
Let m = 592/15 - 7039/180. Let g = m - -191/36. Which is greater: g or 7?
7
Let r(p) = p**2 - 6*p - 5. Let i be r(5). Let l be (-28)/3*4254/4963. Which is greater: i or l?
l
Let b = 0.1 - 0.3. Let m = -49983/47447 - 15/2791. Which is bigger: m or b?
b
Suppose 14*n - 80*n = 91*n + 121204. Is -779 smaller than n?
True
Let b = -4 + 10. Let p be 2/1*3*1345/(-6). Let j = -9375/7 - p. Is b at least as big as j?
True
Let o be 6 - (1 + 7332/(-54)). Let u = o + -141. Does u = -90?
False
Let t(y) = 2*y + 19. Let m be t(-15). Let x(n) = n**3 + 14*n**2 + 2*n + 32. Let g be x(-14). Let j be (3 - (-21)/6)*g/(-2). Which is greater: j or m?
m
Let q(p) = -2*p**2 + 18*p - 15. Let w be q(8). Let g be (w - (-47)/(-22))*-2. Which is greater: 1 or g?
g
Let o be 2*-1 - ((-12)/10)/(288/480). Which is greater: o or -1/1776?
o
Let u = -376 + 398.1. Let w = u - 6. Let l = -16 + w. Which is smaller: l or -2/19?
-2/19
Let u = 779 + -1106. Let r = -276 - u. Which is smaller: r or 49?
49
Let h = -182 + 102. Let k(v) = 2*v**2 - 251*v + 3880. Let b be k(107). Is b > h?
True
Let b be (50559/1176 - 43)/((-5)/4). Suppose -5*d = 8 - 3. Which is greater: b or d?
b
Let u = 219 - 103. Suppose -2*l + u = -4*f, -3*f - 13 + 1 = 0. Let i = l - 50. Is i at most 3/10?
True
Suppose 2*w = -b - 0*b + 10, -25 = 5*w. Suppose -b*f - 2812 = 17*f. Does 0 = f?
False
Let o = -4933 - -4975. Is o less than 31?
False
Suppose b = -3*q + 23, 5*q - 50 = -5*b + b. Let l(u) = u. Let x(p) = -5*p + 59. Let s(v) = -5*l(v) + x(v). Let a be s(q). Is -2 > a?
False
Let b = 133.62 - 132. Let i = -397 - -399. Let a = i - b. Is 0 greater than or equal to a?
False
Suppose y + 5*o - 467 = 0, 0 = 5*o - 6*o - 2. Suppose 2*h - 259 + 22 = -3*t, -4*h = 5*t - y. Which is greater: 120 or h?
h
Let u be (1/2)/(2/92). Let z = 310 - 3099/10. Let y = z - 7/20. Which is greater: u or y?
u
Let a(b) = b**2 - 7*b - 2. Let s be a(7). Let m be s/7 + (-108)/(-525). Let q = -58457 + 58458. Is q smaller than m?
False
Let h = -29.5 - 47.5. Let p = h + 60. Which is greater: p or -2?
-2
Let h(u) = -u**3 + 32*u**2 - 4*u + 134. Let n be h(32). Let j be (-696)/(-261) + 74/n. Is 109/8 at