ual?
False
Let d = 1079.511 + -1079. Let h = d - 0.411. Let c = 103 + -179. Is c >= h?
False
Let n = 13.032 - 13.06. Let s = 11.1 - 10.1. Is s != n?
True
Suppose 5*n = -n + 41713 + 14819. Are n and 9421 nonequal?
True
Let s be (30/9)/((-8)/12). Let u be (2 + 18/3)/s. Let x = 0.26 - 0.46. Which is greater: x or u?
x
Let a = -46 - -230. Let o = 182 - a. Let v = -0.11 + -0.19. Is v < o?
False
Let g be (3 + 6/(-4))*10/3. Let q be (-1326)/(-120) + 1/g. Let f = q - 1747/156. Is f less than or equal to -1?
False
Suppose -116*d - 111*d - 4136 = -216*d. Which is smaller: -383 or d?
-383
Suppose -v - 7 = -0*v + 2*j, -3*v + j - 7 = 0. Let d = -5873/19 + 309. Which is greater: v or d?
d
Let s(d) = 4*d**3 + 8*d**2 + 22*d + 22. Let n be s(-2). Suppose 47 - 1 = m. Let j = m + -66. Which is smaller: j or n?
n
Let n = 7 - -2. Let y be n/(-27) + 3/7. Let h = -4/7 - y. Is h less than or equal to -2/19?
True
Let a(y) = 4*y**3 - 3*y**2 + 5*y - 2. Let m be a(1). Let i be (3 - 16)/(m + -3). Is -12 less than or equal to i?
False
Let u = 6145 - 6210. Which is greater: u or -71?
u
Let s = -2384275/3140969 + 63/83. Do s and 0 have different values?
True
Let y be -179 - ((-1170)/99 - 14/77). Are y and -160 equal?
False
Let g(q) be the first derivative of q**3/3 - 9*q**2 - 46*q - 97. Let c be g(20). Which is greater: c or -1?
-1
Suppose 45 = 10*k + 5*k. Suppose 5*x - 65 = -2*t + 149, 107 = t - k*x. Is t greater than or equal to 106?
True
Let m = 413.92 - 413. Which is smaller: -5 or m?
-5
Let s = -74 - -74. Let x be 10*(0 + 1)*1. Let n be x/(-5) + 4 - 2. Is s greater than or equal to n?
True
Let d be (120/(-24) - (-135)/21)/26. Is -1 < d?
True
Let m = 211 + -1697/8. Suppose 5*j = h + 12, -5*h + h = -2*j - 42. Let p = 13 - h. Which is smaller: m or p?
m
Let s = -24 - -22. Let x be (24/90)/(s/(-6)). Let c be (-65)/75 - (-2 + 0 + 1). Is x >= c?
True
Let z be ((-3)/2)/(282/119004). Which is smaller: z or -634?
-634
Let h be 7406861/2697*4/14. Which is smaller: h or 786?
h
Let y be 4 - (-1 - (0 + -3)). Suppose y*d = -g + 3, 2*g = -4*d + 7*g + 27. Suppose -4*c = -16, z + z - 4*c = -20. Is z greater than d?
False
Let u = -4802 + 4801.9. Which is smaller: u or 1795?
u
Let b(u) be the second derivative of -u**3/6 - 15*u**2/2 - 11*u. Let t be b(-8). Let h be t/6 - 1/(-6). Does -3/7 = h?
False
Let z be 192/(-60)*30*12/(-5472). Suppose 0 = 4*f - 5*c - 25, -14 - 1 = 2*f + 3*c. Suppose f = 4*j - j + 3. Is j bigger than z?
False
Let b = -4002 + 4003. Let z(d) = -d**2 + 8*d - 4. Let n be z(6). Let u be n/8 + (-34)/37. Is b >= u?
True
Suppose 110*h = 115*h - 55. Suppose -h + 23 = -3*t. Which is smaller: -2.4 or t?
t
Suppose 1 = z - 4. Let o = -7 + -119. Let f = o - -135. Which is greater: f or z?
f
Let w be -1 - (17274/7539 - 3). Let z = 278/11 - 99780/3949. Let p = z + w. Which is smaller: p or -1?
-1
Let m(t) = -t**3 + 5*t**2 - 24*t - 5. Let o be m(-13). Let d = 50203/15 - o. Which is smaller: -1 or d?
d
Suppose -5805 + 630 = 75*v. Is v equal to -0.08?
False
Let u(c) = 2*c**3 + 34*c**2 + 20*c + 49. Let k be u(-17). Is -2319/8 greater than k?
True
Let w(b) = -b + 65. Let o be w(5). Suppose 30*g = -27*g + o*g. Which is smaller: 2/649 or g?
g
Let w = 0 + 8. Suppose 3*p = w*p. Suppose -688*o + 685*o + 12 = 3*f, 0 = f - o - 10. Is p less than or equal to f?
True
Let h = 19765 - 19794. Does h = -243?
False
Let r = 241 - 257. Let u = r - -163. Is u less than 145?
False
Let v = -29983/3 + 9991. Are v and -9/5 equal?
False
Let u = -0.1 + -0.1. Let w = 52167.4 + -52162. Which is smaller: w or u?
u
Let q be (-2)/4*(-8 - -18). Let d(b) = 2*b**3 + 10*b**2 - 6. Let m be d(q). Let w be 2*(m/(-4))/(-1 - 2). Is w at least -2/191?
False
Suppose -546 = -21*k - 0*k. Suppose -21*n + k + 625 = 0. Which is bigger: n or 28?
n
Let f(p) = -p**3 - 31*p**2 + 67*p + 2736. Let j be f(-33). Which is smaller: 2708 or j?
j
Let c = -25643 + 23514634/917. Which is smaller: c or -0.3?
-0.3
Let s be 42/(-33)*(-4)/(-8). Suppose -4*g = p - 18, 45 - 18 = -p + 5*g. Which is bigger: s or p?
s
Let j = -105 - -108. Suppose j*z + 4*k = -35086 + 4128, 4*z + 41236 = 5*k. Let w = z + 4342196/421. Do 1 and w have the same value?
False
Let r = -3547 - -1982766/559. Which is greater: 0 or r?
0
Let m(r) = 11*r + 67. Let w be m(14). Let z = w - 1551/7. Are z and 3 equal?
False
Let w(x) = -x**3 + x**2 + x - 6. Let t be ((-140)/(-8))/(2/4). Let n = -35 + t. Let a be w(n). Which is bigger: a or -9?
a
Let d be (-1474)/(-2211)*(-1 - 77). Let x = -133 + 79. Is d >= x?
True
Let t(d) = -d**2 - 46*d + 185. Let o be t(-50). Which is greater: -0.12 or o?
-0.12
Let l be 1184880/(-1224) + 2/51. Which is greater: -969 or l?
l
Let d(r) = -r**3 - 10*r**2 + 3*r + 26. Let i be d(-9). Is i at least as big as -109?
True
Let t be (-120)/(-30)*(-1)/2. Let u be -9 - 7 - (3 - t). Suppose 84 = -5*n + n. Is u less than n?
False
Suppose -o - 4*o + 60 = 0. Let a be 1*8/4 + 57. Let y = 72 - a. Which is smaller: y or o?
o
Suppose 18*v - 315 = 13*v. Suppose -720 + 162 = -9*r. Which is smaller: r or v?
r
Let h(u) = -2*u**2 - 38*u - 35. Let l be h(-18). Suppose -4 = -g + l. Suppose 0 = 2*v + 4*z - 14, -7 = -v - 4*z + 6*z. Is g at least as big as v?
False
Let y be ((-8)/14)/((3813/285565)/(-31)). Which is greater: y or 1328?
1328
Suppose 3*c = 5*b + 34, 14*c - 18*c - 3 = 3*b. Suppose 0 = -2*l - 1 + c. Which is smaller: l or 0?
0
Let i = -4387 - -6292. Is i smaller than 1907?
True
Let h be (5 - 1)/(5/5). Let g(q) = q - 13. Let d be g(h). Let v = d - -4. Is -2 >= v?
True
Suppose -5*x - 5*j + 23 = -8*x, -12 = -4*x - 4*j. Let o be ((-5)/(-3575))/(1*-1). Let v = o + 1741/222365. Is v at most x?
False
Let b be ((-9)/45)/((-3)/(-10 - -1)). Do -116 and b have the same value?
False
Suppose -60*f + 86*f + 9568 = 0. Let k = 11773/32 + f. Which is smaller: 1 or k?
k
Suppose -59*w - 14 = -61*w, 68866 = -5*s - 2*w. Is s bigger than -13777?
True
Suppose v - 5 = 0, -5*v = -b - 6*v + 246. Let o = b + -262. Which is smaller: -18 or o?
o
Let x be ((-220)/7)/(-4) - 1. Let c(w) = -2*w**2 + 13*w + 12. Let a be c(7). Suppose -3*l + 18 = -v, 0 = 6*v - a*v - 3. Which is smaller: l or x?
x
Let j be (3 - 9)*-1 - (6 + -3). Suppose -2*m - j*m + l - 1050 = 0, 0 = 4*m + l + 840. Which is bigger: -211 or m?
m
Suppose -37*g + 1293 - 9093 = 2*g. Which is smaller: g or -207?
-207
Suppose -4*r - 2*v = 62, 0 = 5*r - 3*v + 6*v + 79. Let x be (1 + 4)/(r/(-28)). Let c be (4/x)/(7/(-20)). Which is greater: c or -2?
c
Let j be 8/(-6)*9/(-6). Let t = 472 - 469. Suppose 16 = t*u - l, 6*u - u - 10 = 5*l. Is u greater than j?
True
Let z = -3 + -1. Let t be (-2 - -6)*(-1 + z). Let j = -164 - -491/3. Which is smaller: j or t?
t
Let h be (-925)/10*84/(-10). Let o be 4/22 - h/99. Let b = -15 + 8. Are b and o non-equal?
True
Let n be (214 + 8 + -13)*(-6)/(-3). Which is smaller: 420 or n?
n
Let p = -893.818 + 894. Let w = 1.818 + p. Which is bigger: 2/167 or w?
w
Let a(f) = f**2 - 2*f + 2. Let x be a(0). Let i(g) = g**2 + 18*g + 5*g**2 + 6*g**x + 35 - 11*g**2. Let u be i(-15). Is u > -10?
False
Let f(b) = -b**3 - b**2 - 15*b + 75. Let s be f(0). Suppose -3*z + 73 = h, 0*h + s = 3*z + 3*h. Which is bigger: -1 or z?
z
Let a be (-1)/(-2) - 762/(-12). Let s(u) = 4*u + 37. Let c be s(7). Let o = c - a. Does o = -2/137?
False
Let p = 0 + 0. Let g = 1 + p. Suppose -52*b = -38*b - 13*b + 26. Which is bigger: g or b?
g
Let t be (1*66)/(18/81). Suppose -9*p = -12*p + t. Suppose -10*d + 7*d + p = 0. Which is greater: 32 or d?
d
Suppose 421 = -282*q + 287*q + 2*b, 3 = b. Which is greater: 109 or q?
109
Let o(f) = 35*f**2 + 3*f + 4. Let s be o(-1). Let d be (-64)/s + (-3 - -5)/1. Is 37 <= d?
False
Let y be ((-1)/7)/(6/7). Let g = 31307 + -31294. Is y not equal to g?
True
Suppose -5*k = 2*y + 8, -3*y + 4*k + 29 = 18. Which is smaller: y or 16/259?
16/259
Let l = 19751 + -20087. Is l at least as big as -353?
True
Let x = -10381 - -10380. Is x at least 0.023?
False
Let b(f) = 2*f**3 - 4*f**2 + 12*f - 7. Let a be b(1). Let d(n) = -n**3 - 6*n**2 + 11*n + 7. Let v be d(-7). Which is smaller: v or a?
v
Suppose -2818 = 11*w + 4233. Which is bigger: w or -637?
-637
Let f(a) = 2*a + 40. Let q be f(-9). Suppose -118 - q = -10*u. Is u != -1/3?
True
Let u(d) = -2*d**3 + 13*d**2 - 6*d - 5. Let c be u(6). Let i(v) = -v**2 + 5*v - 2. Let b be i(0