 -122 != y?
True
Let p(z) = -17 + 419*z**2 - 15*z - 32 - 421*z**2. Let x be p(11). Which is greater: x or -457?
x
Suppose 86*u - 21 = 83*u. Suppose u*b = 332 + 81. Do b and 62 have the same value?
False
Let x = 0.024 + -0.069. Let s = -8.755 + x. Let q = 7.8 + s. Which is smaller: 6/25 or q?
q
Let h be -16*(-550)/56160 - (-3)/(-13). Which is greater: -0.0258 or h?
-0.0258
Suppose 0*v + 2206 = 5*v - 4*c, 4*v - c = 1767. Let x be 193/2*28/(-6). Let z = v + x. Is -9 equal to z?
False
Let q be (-2 - 22)*(-16)/(-24). Suppose -2*d - 20 = 2*d + 4*c, 15 = 5*c. Which is greater: d or q?
d
Let l(o) = -19*o**3 - 12*o**2 - 35*o + 356. Let u be l(7). Which is smaller: -6996 or u?
-6996
Suppose 69 = -3*y - 4*t, y + 5 = 3*t - 5. Suppose -5*d - 155 = -2*m, -2*m - 4*d = 3*m - 470. Let l = -110 + m. Is y less than l?
False
Let q = 15 + -3. Let c(n) = -2*n**3 + 25*n**2 - 10*n - 26. Let t be c(q). Is 13 at least as big as t?
True
Suppose -5*p + 764 = 1224. Let o = p + 58. Which is smaller: o or -27?
o
Let q = 0.184 + 43.316. Let l = 4.5 - q. Which is smaller: l or 0?
l
Let a = 23 - 22. Let h be (-462)/(-9)*(-27)/(-6). Let w = h + -3005/13. Which is greater: w or a?
a
Let b be ((-1015)/150 - -4) + (-534)/(-445). Do 5 and b have different values?
True
Let z be 6/(-207)*(-9)/6. Let q(d) = -d**3 - 4*d**2 + 8*d + 18. Let x be q(-5). Suppose 0 = 2*j + 2*l, -4*j = -x*j - 4*l. Which is smaller: z or j?
j
Let t = -842 - -796. Let n(z) = z**3 + 45*z**2 - 46*z - 37. Let m be n(t). Which is smaller: -46 or m?
-46
Let d(b) be the first derivative of -2*b**4/3 - b**3/2 + 2*b**2 - 4*b - 9. Let x(l) be the first derivative of d(l). Let z be x(1). Is z not equal to -2?
True
Let r(d) = -3*d**2 + 134*d - 816. Let z be r(6). Is z greater than -64?
False
Let q be (-2 - 52/(-42))/(13/(-3471)). Which is bigger: q or 204?
204
Let o be (-20)/5*2 - 3528/(-420). Which is greater: 6903 or o?
6903
Let m(c) = -7*c**2 - 52*c - 30. Let y be m(-7). Suppose 5*q - k + 16 = 0, -7 = 2*q + 2*k + 9. Let f(b) = -b**3 - 4*b**2 - b - 2. Let h be f(q). Is y < h?
True
Let x = 298532/9 + -33161. Which is smaller: 8 or x?
8
Let k be (5320/42*2)/(9/3). Which is smaller: 85 or k?
k
Suppose 3*y = 2*s + 923, 3*y - y - 3*s - 622 = 0. Suppose -4*x + y = -3*p, 6*p - 3*p - 95 = -x. Let j = -36 + x. Are 45 and j unequal?
True
Let w(l) = -3*l**2 + 8*l + 415. Let i be w(-16). Which is bigger: -484 or i?
i
Let f(u) be the second derivative of u**3 + 33*u - 31/2*u**2 + 1/12*u**4 + 0. Let x be f(-7). Is x equal to -24?
True
Let j = 3597 + 535. Which is bigger: 4129 or j?
j
Suppose 2*a = 9*x - 4*x - 12, -3*a - x = 1. Is -1/2459 at most as big as a?
False
Let u be (0/1)/((-20)/20). Is -43/34 less than u?
True
Let x = -4522 + 4089.2. Which is bigger: 0.1 or x?
0.1
Suppose -18*y + 649 = -863. Let d = 146 - y. Suppose 2*g = 4*u - 2*u + d, 2*u - 3*g = -57. Which is smaller: u or -37?
-37
Let m = 21763 - 21764. Let i(k) = 13*k**2 + k - 1. Let b be i(1). Is b != m?
True
Let n = 12940 + -12940.1. Which is smaller: -1225.4 or n?
-1225.4
Let j be 11 - 538/54*848/636. Which is greater: -3 or j?
j
Let u = 3718 - 3718. Is u at least as big as 6/47?
False
Suppose -2*x + 2*q + 710 = 0, 21 = 2*q + 11. Do x and 1/3 have different values?
True
Let u = -31 + 327. Suppose -m + 1089 = 9*l - 5*l, -l = 5*m - u. Which is bigger: l or 272?
272
Let z(y) = -2*y**2 - 53*y + 9. Let c be z(-8). Is c bigger than 305?
False
Suppose 0 = 3*m - 2*r - 339, -4*r + 6 = -2*r. Let a = m - 258. Is a less than or equal to -143?
True
Suppose 5*y = -4*z + 12, 3*z + 2*y + y = 9. Let m be (-138)/(-33) - 2/(-22)*-2. Suppose -p + z = -m*p. Which is greater: 1/9 or p?
1/9
Let f = -96 - -38. Let k = 50 + f. Let l = -37 - -36. Is l > k?
True
Suppose 34*g + 46*g = 51*g. Are g and 8/159 nonequal?
True
Suppose -3*x - 1413 = -4*p, -4*p + 0*x = -4*x - 1412. Let g be (-138)/23 + (-2138)/(-6) - (2 - 2). Let b = g - p. Which is bigger: -5 or b?
b
Suppose -6732 = -80*r + 1108. Is 99 > r?
True
Let d be (-6 - 132/(-16))/(-2). Let j = d - -107/24. Suppose 0 = 2*q + 3 - 11. Which is smaller: q or j?
j
Let s = -6391 + 83125/13. Suppose 4*y = -6*q + 9*q + 11, 5*y - q = 0. Let m be (-3)/(y*(5 + -4)). Do m and s have different values?
True
Let r(c) = c - 1. Let s be r(3). Suppose -33 = -9*j + 4*j - x, -2*j + s*x = -6. Let z = -130 - -135. Which is smaller: z or j?
z
Let k = -7 - -5. Let q be (-2)/k*(1 + 2). Let b(u) = u**2 + 2*u. Let x be b(1). Is x > q?
False
Let m = 46.6 - 47.684. Let t = m - -681.084. Do 1 and t have different values?
True
Let r be (2/2 - 0) + (-102 - -105). Is r greater than 73/20?
True
Let f be (637687/666 + 1)*(-96)/(-5184). Let w = -2/8991 - f. Let k = 217/12 + w. Is -4/15 greater than or equal to k?
False
Suppose 2*f + 0 + 26 = -4*j, 30 = -2*f - 5*j. Let q be (f - -1) + 2992/744. Which is greater: 1 or q?
1
Let l = 105 - 105.09. Let z = 0.043 + 0.027. Which is greater: z or l?
z
Let a = -111 - -116. Suppose a*h - 240 = -h. Suppose 11*l + 25 = 454. Is l smaller than h?
True
Let r = 711.1 - 662. Let a = -45.664 - 3.336. Let j = a + r. Is -54 greater than or equal to j?
False
Let o be (0 - (-336)/10)/(13 - 5012/385). Is o smaller than -1847?
True
Let l be (-174 + 174)*2/(-4). Which is smaller: -1/431 or l?
-1/431
Let d = -2460 + 2461. Are d and -1/433 nonequal?
True
Let f(m) = m**2 + 391*m + 391. Let a be f(-1). Which is smaller: a or -605?
-605
Let k be (-8)/(-36) - 86/(-18). Let m be 3/12 + 23/4 + -1. Suppose a + m*a = 18. Is a != k?
True
Let c be -25*263 + -1 + -10 + 0 + 15. Is c at least -6571?
True
Let g = -253 - -495. Let y = g - 237. Which is smaller: -4 or y?
-4
Let n(f) = -30*f + 45. Let p be n(5). Let i = -351 - p. Does i = -247?
False
Let f = 29953 + -29953. Which is smaller: f or 19/455?
f
Let x = -27.7 - -24.7. Let s = x + 8. Is s at least as big as -1?
True
Let u(i) = -i**3 + 23*i**2 + 5*i - 13. Let c be u(24). Let z = c - -413. Is z equal to -55?
False
Let g be (-3)/(-33) - (-5 + 568078/111496). Is g bigger than 1?
False
Let j = -4/407 + 20773/1628. Let l be 1/(4 - 735/185). Suppose 45*y - 104 = l*y. Which is bigger: j or y?
y
Let k = -690.7 + 726.27. Let j = -35.6 + k. Which is smaller: -13 or j?
-13
Suppose -c + 4*y - 2 = 6, -4*y + 8 = 4*c. Suppose 2*m - 4*w + 12 = -c, -20 = -4*w. Let z be ((-11)/(-3) - m)*-3. Which is smaller: 6 or z?
z
Suppose -11*q - 285 = -q - 29*q. Is q less than -3?
False
Let c = 1.895 + -1.995. Is -0.0226 at least as big as c?
True
Let s be (-46)/(-115)*1 - (-494)/(-335). Which is smaller: -1 or s?
s
Let v = 0.4 + 103.6. Let w = 101 - -6. Let r = v - w. Is r < 9?
True
Suppose -5*a + 0*a = 305. Let n = 118 + a. Let y be 4 + (n + 5 - 0). Are 66 and y nonequal?
False
Let j be (-1)/6*16/4. Let r = 107 - 22. Let w = 79 - r. Is j greater than w?
True
Suppose -2*c = -0*c + 2*d + 8, d + 5 = 0. Let s = 0 - c. Let r be ((-550)/137 - -4) + (3 - 4 - -1). Is s at least r?
False
Let m = -432 - -433.3. Let p = -29 + 32.3. Let g = p - m. Which is smaller: -2/19 or g?
-2/19
Let y be (1 + -1)/(2 - 3). Let w = 4.717 - 0.217. Let d = -4.62 + w. Which is bigger: d or y?
y
Let g = 44 - 41. Let b be (g/63)/((-2)/6). Let z be (20/35)/1 + 45/(-42). Which is bigger: z or b?
b
Let l = 14 + -23. Let g = -37/4 - l. Let i = 726.1 + -725. Does i = g?
False
Let x = 34182157141/779269606460 - 1/56770491. Let w = x + 3/1420. Which is smaller: 1 or w?
w
Let m(n) = 3*n**2 - 99*n - 697. Let j be m(32). Is -792 equal to j?
False
Let k = 3032 + -4068. Which is greater: -1034 or k?
-1034
Let s(l) = l - 1. Let o be s(-4). Let z(r) = r**3 + 7*r**2 + 7*r + 6. Let j be z(o). Let d(y) = -39268*y + 235628. Let t be d(6). Which is greater: t or j?
j
Let v = -172 - -173. Let n be 100/36*(1 + v). Which is greater: n or 7?
7
Let c(p) = -20*p**2 + 40*p. Let n be c(2). Let h = 69.5 + -64. Let w = h - 5.3. Is w at least as big as n?
True
Suppose 3*p + 3*c + 228 = 0, 3*p + 5*c + 160 = -74. Suppose 2*d - 136 = 2*l, 6*l = -2*d + 92 - 524. Which is bigger: p or l?
l
Let i be (15/7146)/((-185)/(-1221)). Which is smaller: 1 or i?
i
Let t = -4772 + 2329. Is -2442 at most as big as t?
False
Suppose -i - 2*i - y = 6, 4*i + 8 = y. Let z be (-4 - i) + (-6)/(-1). Is 2 at most z?
True
Let j be 2/(-4) + (-17)/(-2). Let d = 2218 + -2210. Suppose -4*p + j*p = d. Which is smaller: p or 4?
p
