 z or v?
v
Let f = -172.51 - -179. Let l = 5.49 - f. Are 111 and l equal?
False
Let i be ((-158)/(-42))/((-96)/64 - (-29)/18). Let q be ((-35)/(-4))/(52/16 - 3). Are q and i equal?
False
Let w be (1 - -3)/4 + 7. Suppose -4*n + 36 = -12. Suppose -4*h + w = -0*h + 2*b, 3*b = -2*h + n. Do 1 and h have the same value?
False
Let p = 9840 + -6972. Let n be (-8)/6 - p/36. Is n <= 0.1?
True
Let y = -28.63 - -24.23. Is y less than 8?
True
Let c = -4444 - -2020. Are c and -2418 unequal?
True
Let w = 68 + -64. Suppose 4*c + 0*x - 4*x = -32, w = 2*c + 3*x. Let z be 0*(-3 - 10/c). Is z less than or equal to -6?
False
Let k = 226 - -10. Let z(l) = 5*l**3 - 3*l**2 + 5*l - 56. Let a be z(4). Is a greater than k?
False
Let k = 4 - 10. Let s be (2*9/(-36))/(2/1468). Let m = s + 358. Which is greater: k or m?
k
Let s = 4.5 - 4.79. Let p = 0.49 + s. Let m = 10.8 - 7.8. Do p and m have the same value?
False
Let n = 2097236/45119 + -249293320879/5311047728. Let v = n + 51/112. Let u = v + 4227/24173. Which is smaller: -1 or u?
-1
Let z = 1604 + -1608. Which is greater: -8/53 or z?
-8/53
Let x = -2091 + -3689. Which is smaller: -5779 or x?
x
Let i = 23321 - 23321.1. Which is greater: -3080 or i?
i
Let o(d) = 34*d**2 - d + 3. Let t(z) = -23*z**2 + z - 2. Let p(j) = -5*o(j) - 7*t(j). Let f be p(-1). Let w = f + 9. Which is smaller: w or -3/10?
-3/10
Suppose w + r - 12 = 0, 10*r - 11*r = 5. Let d be ((-66)/(-9))/(-11) - w/(-12). Let j = 8 + -8. Which is greater: j or d?
d
Let a = -75769 + 75772. Let z be 2/(-1) + 9 - 2. Suppose z*n - n = 28. Which is smaller: a or n?
a
Suppose 0 = -3*u - 3*r + 2023 + 398, -6*u + 3*r = -4914. Is u greater than or equal to 818?
False
Suppose 5*v + 29 + 1 = 0. Let p = 41 - -399. Let c = p - 443. Do v and c have the same value?
False
Suppose -3*d + 75 = r - 4, -87 = -4*d - 5*r. Let o(f) = -8*f**3 - 203*f**2 - 77*f - 18. Let c be o(-25). Which is greater: c or d?
c
Let i(h) = -2*h**2 - 57*h + 12. Let u be i(-27). Suppose f = 7*y - 11*y + 26, -3*y = -3*f + u. Do f and 28 have different values?
True
Let z be 62 + -56 - (808/26 - 2). Let q be (23/(-92))/(2/8). Which is smaller: z or q?
z
Let h = 108 - 104. Suppose 0 = -2*b - 3*b + 30. Suppose h*s + 14 = 4*p + b*s, 15 = -3*s. Is p less than or equal to 9?
True
Let i = 81 - 89. Which is bigger: -205 or i?
i
Let i = 0.4945 + -5893.4945. Which is smaller: i or 1?
i
Let z(g) = -4*g - 95. Let j be z(-22). Let n(r) = 2*r**3 + 18*r**2 + 34*r - 8. Let x be n(j). Let b be (-1)/((2/(-102))/(-1)). Which is greater: x or b?
x
Let d = -3119 + 2157. Let m = 963 + d. Let c = -2 - -2.01. Is m at most as big as c?
False
Suppose 2*k = -i - 5, -3*i = 4*k - 0*i + 9. Let j be (-92)/(-69)*(-6)/2 - k. Which is smaller: j or -28/13?
-28/13
Let c(o) = -4 + 4*o - 15 - o**3 - 41 + 22*o**2. Let z be c(22). Suppose s = 4*h + 37, 6*h - 79 = -3*s + 2*h. Which is greater: s or z?
s
Let x(c) = c**3 + 39*c**2 - 84*c - 71. Let t be x(-41). Let u = -7 - -33. Let k be (0 - 1)/((-2)/u). Which is smaller: k or t?
t
Suppose 2*w + 5*n - 20 = 0, 0 = 2*w + 6*n - 9*n + 12. Do w and 1/3049 have the same value?
False
Let g be (-71823)/21 + (102/(-21) - -5). Are g and -3420 equal?
True
Let g = 17814.9881 + -0.9881. Which is greater: -1 or g?
g
Let o = 70971 + -782069/11. Is o < -126?
True
Suppose 0 = 656*x - 1332*x + 661*x + 87195. Are -0.2 and x non-equal?
True
Suppose -39 = 4*z + 21. Let u be 2/5 - 69/z. Suppose -74 + 289 = u*g. Which is smaller: g or 44?
g
Let z(n) = -n**3 + 5*n**2 - n + 5. Let m(x) = -14*x - 1. Let d be m(-2). Suppose -w = -2*k + 6, 3*k - 2*w + 5*w = d. Let l be z(k). Are 3/14 and l unequal?
True
Suppose 0 = -y - 3*p + 3, 92*y - 11 = 91*y - p. Which is greater: y or 427/2?
427/2
Suppose 0 = -60*n + 50*n + 44*n + 34. Is -119/58 less than n?
True
Suppose 0 = -27*g - 27*g - 75*g - 129. Let o be (-30)/(-99) + 2/(-3). Let n = 6/77 + o. Is n smaller than g?
False
Let f = -1874 - -72. Which is smaller: f or 0.4?
f
Let n = -0.0272 - -190.0272. Let v = n + -179.8. Are v and 1 unequal?
True
Let p(k) = -3*k**3 - 25*k**2 - 141*k - 53. Let b be p(-11). Which is smaller: b or 2468?
b
Suppose 2*x - 272 - 346 = -u, 3*u - 3*x - 1899 = 0. Which is smaller: u or 625?
625
Suppose -69*w = -240*w - 496071. Does -2901 = w?
True
Let y = 694 + -693.7. Let k = 25.1 - 25. Which is smaller: k or y?
k
Let x be (-1170)/(-546)*132/(-10). Which is bigger: -29 or x?
x
Suppose -56 = 57*t - 53*t. Let v be ((-3)/6)/((-7)/t). Is -2/149 at most as big as v?
False
Let d(k) = k**2 + 8*k - 20. Let x be d(-10). Let q(o) = -2*o**3 + 2*o**2 - 7. Let g be q(x). Is g > -23/3?
True
Let q be 5*193*6/(-45). Let c(f) = 127*f**3 - f**2 - 2*f - 2. Let s be c(-1). Let b = s - q. Is b greater than -9?
True
Let n(i) = -i**3 - i**2 - i + 1. Let x(k) = -2*k**3 + 2*k**2 + 23*k - 9. Let y(a) = n(a) - x(a). Let u be y(7). Let v be 111/3 + (-1)/(-1). Are v and u equal?
True
Let v(s) = 37*s + 65. Let k be v(-6). Let a = -171 - k. Which is smaller: a or -1?
a
Suppose 33*s - 35*s + 2 = 0. Are -2/17577 and s non-equal?
True
Let z(m) = 2*m**2 + 3*m - 29. Let q be z(-7). Suppose 6*o + 36 + q = 0. Let x(y) = -4*y**2 + y. Let i be x(2). Is o < i?
False
Suppose 0 = q - 4*q - 3*a + 255, -4*q + a + 345 = 0. Let d = q - 71. Let o(f) = f**3 - 15*f**2 + 2*f - 14. Let m be o(d). Is m >= 19?
False
Suppose -3*w - 4 - 5 = 0, 4*a - 2 = -2*w. Suppose -5*o - 245 = -4*b, -a*o - 182 = -3*b - 0*o. Are b and 54 nonequal?
True
Let g = -15330 - -15222. Are -117 and g equal?
False
Let v = -7507/19240 + 41/104. Which is smaller: 0 or v?
0
Suppose -5*t - 380 = -0*t. Suppose g = 4*x + 306, 5*g + 382 - 37 = -5*x. Is x != t?
True
Let y = 8411/4 - 2111. Let z(c) be the second derivative of c**4/12 - c**3 - 2*c**2 + 2*c. Let f be z(5). Is y at most f?
False
Let h = 1147437 - 1153509.97. Let r = -6115 - h. Let f = -42 - r. Which is bigger: f or -0.2?
f
Let o(n) = -39*n**2 - 402*n + 27. Let r be o(-9). Is 486 at most r?
True
Let v = -5995 - -5997. Is -185/7 smaller than v?
True
Let k = -999 + 1063. Which is smaller: k or 6?
6
Suppose f = v + 3 - 7, f + v = -2. Is -4562 <= f?
True
Let b = 504 + -172. Let g = -436 + b. Is -104 < g?
False
Let h be ((-2961)/371 + 8)/(-1). Which is greater: -8 or h?
h
Let z = 176.1295 - -0.0705. Let j = -176 + z. Which is smaller: j or 0.28?
j
Let k(v) = -2*v**2 + 7*v - 427. Let r be k(-24). Is -1748 at most as big as r?
True
Let r(c) be the second derivative of c**3/6 - 4*c**2 + 29*c. Let n be r(13). Let a be 6*(-78)/(-99) - n. Which is bigger: a or 0?
0
Let p = 101 + 23. Suppose -3130 = -18*b - p. Is 167 greater than b?
False
Let u(q) = q**3 - 35*q**2 + 39*q - 160. Let s be u(34). Is s not equal to 144/13?
True
Let w be 1 + -1 + -6 - (-14)/(-7). Let m(a) = a**3 + 9*a**2 + 6*a - 2. Let i be m(w). Which is smaller: 15 or i?
i
Let v = -21.38 - -6.38. Is 2.96 at least as big as v?
True
Let m(n) = 11*n + 3*n - 1853*n**2 + 1 + 1854*n**2. Let o be m(-14). Is o equal to -2/867?
False
Let d = -2 - 4. Let c = 2.58 + -4.18. Let t = -2.1 - c. Which is smaller: d or t?
d
Let g be 18 + 1270/(-70) + 4800/35. Which is smaller: g or 182?
g
Let g(w) = 3*w**2 + 79*w - 19. Let i be g(-21). Which is smaller: -4620/13 or i?
-4620/13
Suppose 54*t - 50*t - 24 = 0. Suppose 9*o - 6*o = t. Let u be 102/34 - (o + 2/(-2)). Do u and 7/13 have the same value?
False
Let b be 3 + -2 - (-10)/(-8). Let s = 16.67921 - 0.06421. Let f = 1.385 + s. Is b equal to f?
False
Let d be -1813 - 2 - -6*1*-1. Let j = 1278 + d. Is -542 > j?
True
Suppose 4*f + 3*d + d = -12, -d = -f - 5. Let g(w) = w**2 + 8*w + 12. Let a be g(f). Let m = a + -4. Are -7 and m nonequal?
True
Let o = 10791768/52613 + -120/4783. Does 205 = o?
False
Let y be (12/10)/((-2)/(-15))*8/(-26328). Which is bigger: y or 0?
0
Let k(j) = -94*j - 1335. Let d be k(-14). Which is smaller: 3 or d?
d
Let c(a) = a**3 + 15*a**2 - 16*a + 27. Let n be c(-16). Let y be (-3 - (1 + -2))*n/189. Is 23 != y?
True
Let m = -0.03 + -2.97. Let r = m - -4. Let y = -383754/5 + 76751. Which is bigger: r or y?
r
Let l = 3078.18 + -3073. Which is smaller: -2/7 or l?
-2/7
Let n = 3148 - 3213.58. Let q = -66 - n. Let g = 4.22 + q. Which is bigger: -2/5 or g?
g
Let b be (-6700)/10005 + (-2)/(-3). Let c be (-2 + 4 + -6)*(-9)/36. Do b and c have different values?
True
Suppose -441*u = 19*u