77629)/9191 - -52). Which is bigger: r or s?
s
Let c be (-60)/(-5) - 8 - -18. Let h = 65 + -62. Let z be ((-22)/(-6) - h) + 8/6. Which is greater: z or c?
c
Let r = 4.9325 - -0.0675. Does 231/13 = r?
False
Let z = 0.05 - -0.016. Let b = -6617 + 6617.1. Which is smaller: b or z?
z
Let u = -1.04 + 48.04. Let i = 46.67 - u. Let n = 32.67 - i. Which is smaller: 0 or n?
0
Let i = 291177 - 291177. Let u = -3/692 - -1007/72660. Which is smaller: u or i?
i
Let p(g) = g**2 + 6*g - 9. Let t be p(-6). Let j be (t/45)/((-51)/(-15)). Which is smaller: 0.7 or j?
j
Let l = -31/11 - -4849/1705. Let c be ((2 - 3)/2)/((-182)/(-52))*-2. Is c != l?
True
Let m = -3406 + 3443. Let x = 8 + 27. Which is smaller: x or m?
x
Let z be (-39)/2*(-24)/54. Let m(h) = -h**3 + 11*h**2 + 2*h**3 - 13 + 4*h + 10*h - 16*h. Let k be m(-11). Which is bigger: z or k?
k
Suppose -4*x - 2*x = 2*x. Suppose -10*w + 8*w - 18 = x. Which is smaller: w or -6?
w
Let u(h) = 16*h + 49. Let b(j) = j. Let o(n) = 4*b(n) - u(n). Let l be o(11). Is -1 at least l?
True
Suppose -i - 2062 = -2003. Which is smaller: 2/5 or i?
i
Let w = -1040.1 - -1041.1. Are -3432 and w nonequal?
True
Let i = -0.57 + -1.37. Let n = i + 1.64. Is n greater than -10/3?
True
Let s be (-3 - 10/(-545)) + 3. Let n(v) = 3*v - 12. Let j be n(4). Are s and j nonequal?
True
Let z = -729 + 1170. Let l = z - 441.2. Which is greater: -54/11 or l?
l
Let v = 135 + -134.903. Let u = v - -0.013. Is u <= 3?
True
Let d be -3 + (-38990)/(-4333) + -6. Is d <= 1?
True
Let t be (-18)/7*-182 + 2. Is t at least as big as 481?
False
Let m = 186 + -133. Suppose -4*q - 33 = -2*i + m, -4*q - 68 = 4*i. Let t be (-3 - -155)*55/(-440). Which is smaller: q or t?
q
Suppose -2*x + t - 2336 = 0, 0 = 3*x + 3*t - 723 + 4200. Which is smaller: x or -1167?
-1167
Suppose 0 = -5*w + 25, 0 = 40*x - 43*x - w - 760. Suppose -5*n + 14*n = -2304. Is n greater than x?
False
Suppose -5*k + g = -20, 0 = 4*k + 4*g - 0*g - 16. Which is smaller: k or 93/22?
k
Let l = 170 + -513. Let i = 437 + l. Is i smaller than 1?
False
Suppose 10*l - 883 + 43 = 0. Suppose -217*b + 224*b = l. Which is smaller: b or 92/7?
b
Suppose 0 = -6*a - 23 - 43. Suppose 2*i + 4 = -4*g, -18 + 8 = -g + 5*i. Let w be 8 + -8 - (a + g + -3). Which is smaller: w or 16?
w
Let n = 917 + -476. Let v = -441.9 + n. Is v at most as big as 1/3?
True
Let p = -0.1 - -0.06. Let r(y) = y**3 + 26*y**2 - 28*y - 24. Let j be r(-27). Suppose -8 = 2*o + 2*l, 0 = -j*o + l + 2*l + 18. Which is smaller: p or o?
p
Let d(k) = -2*k**2 + 10*k + 57. Let p be d(-8). Which is smaller: p or -148?
p
Let r = 80176 + -80293. Suppose b + 3 = 0, -m + 132 = -2*m - 4*b. Which is greater: r or m?
r
Let n(k) = -2*k**2 + 6194*k - 3113*k - 11 - 3110*k - 2. Let i be n(-14). Is -1/941 greater than i?
False
Let y be (17/2801)/((-47)/(-61946)) + -8. Which is greater: y or 0?
0
Suppose 0 = h + 413 + 201 + 427. Which is bigger: -1043 or h?
h
Let n(r) = 233*r + 684. Let a be n(-4). Which is smaller: -251 or a?
-251
Let p = 10127 - 8712. Is p smaller than 1?
False
Suppose 34*h - 37*h = -2*z + 93, -h - 3*z = 31. Which is smaller: h or -1091/36?
h
Let u = 233.09 + -7.09. Let n = 225 - u. Which is greater: 20.2 or n?
20.2
Let j(h) = h**3 + 7*h**2 + h + 8. Let o be j(-7). Let b be ((-8)/o + 3)*47/(-5). Suppose -b*z + 198 = -50*z. Is z bigger than -65?
False
Let p be 6 + 285271/497 + -2. Let v = -578 + p. Is v smaller than -1?
False
Let x be (-6)/(-4) + (-72)/16. Let c = x - -4. Let t be c/42*-2 - 8/28. Is t at most as big as 3?
True
Let u = 5.941 - 8.941. Is -73.1 < u?
True
Let p(j) = -j**3 - 17*j**2 - 12*j - 1. Let f be p(-17). Let x = f - 208. Do 4 and x have different values?
True
Let p = 0.05139 - -0.00701. Is -5 != p?
True
Suppose 2*u - 18 = -2*g, 2*g - 42 = 1090*u - 1095*u. Does -1/8250 = g?
False
Suppose 2*d = -4*r - 2, 2*r - 4*r = 3*d + 3. Let h = r + 1. Suppose -h = 8*z - 1. Is -2/45 greater than z?
False
Let s = -1159 - -52147/45. Is -43 at least as big as s?
False
Let c = -830 - 83. Is c > 2?
False
Suppose -80*c + 160 = -160*c. Which is greater: c or -24?
c
Suppose -4*m + 0 - 2 = -5*f, 8 = 5*f - m. Let c be (9/(-330))/(f/5). Which is smaller: c or 0?
c
Suppose f + z + 0*z = 6, f - 4*z + 9 = 0. Suppose -f*q = 2*p + 189 + 1340, -q + 5*p = 487. Which is greater: q or -508?
q
Let z = -703/340 + 36/17. Is z smaller than -0.08?
False
Suppose 19*r + 1322 + 122 = 0. Let f = 166 + r. Which is greater: f or 91?
91
Suppose -29*g + 44860 = 30*g - 32961. Which is smaller: -4 or g?
-4
Let m = 701 - 704. Let j be 7 - (m + 3)/9. Does j = -45?
False
Suppose j + 5*x + 106 = -0*j, -5*j = 5*x + 510. Let h = j + 508/5. Is h != 1/11?
True
Let f(j) = -9*j - 24. Suppose -g + 5*p + 14 = 0, -4*g - 18*p = -16*p + 32. Let r be f(g). Which is greater: 31 or r?
31
Let t = 195751.1753 + -195765. Let k = -0.1453 + t. Let c = -14 - k. Which is smaller: c or 1?
c
Let c be -2*(-3)/6 + 190. Suppose 5*v = -5*p - 59 - c, 2*p + 75 = 3*v. Let g = p - -44. Is g != 1/41?
True
Suppose -52*p = 122397 - 11949. Is -2124 at least p?
True
Let l = 449 + -13023/29. Let s(f) = -f + 13. Let w be s(6). Suppose -4*h - w = 3*h. Is l at most h?
False
Let j = -3296 - -3278. Suppose -3*v = 0, 3*v - 2*v + 3 = -3*m. Which is smaller: m or j?
j
Let v(y) = -6*y**3 + 3*y**2 + 5*y + 7. Suppose -5*o - 29 + 19 = 0. Let z be v(o). Let l = z - 56. Which is smaller: -3 or l?
-3
Let k = 2/829309 - -846720655/1589785353. Let p = -14/27 + k. Is p > 1?
False
Suppose -124*u + 122*u = 5*g + 54, g + 4 = 3*u. Is -223/21 greater than g?
False
Let j = -57 - -41. Let h be (7 - j/(-4))*1. Suppose -26 = -h*x + 4*f - 11, 5*x - 3*f = 25. Which is smaller: 2 or x?
2
Let r be 3 + 0/2 + (-23)/(-1). Let o = r + -26. Suppose o = 3*t - 7 + 4. Which is greater: -1/33 or t?
t
Let u(k) = -k**3 + 6*k**2 + 6*k + 8. Let o be u(7). Let g = 3678683/10956 - -22029/332. Let p = -402 + g. Is p at least as big as o?
False
Let r = 6.805 - 6.7. Let i = -53.895 - r. Let z = -98 - i. Is z at least as big as 0.1?
False
Let o(y) = 14*y**2 + 14*y - 310. Let x be o(-28). Which is bigger: x or 10273?
x
Let y = 1081/10 - 543/5. Which is smaller: y or -59/11?
-59/11
Let d be 3 + (-13 - -2) + 2 + 1. Let m be ((-664)/40 - -1)/((-2)/d). Is m bigger than -37?
False
Let y = 5307786899/27084 + -195975. Which is smaller: -1 or y?
-1
Let c = -7493/3 + 2482. Which is smaller: -17 or c?
-17
Let a(d) = -d**3 - 17*d**2 + 39*d + 377. Let u be a(-18). Which is bigger: u or -10/761?
-10/761
Let u = -74 + 75. Let j be 3/(-6)*(-18)/3. Suppose -j*g = -5*g. Which is bigger: g or u?
u
Suppose -m = 3*u - 3, -11 = m + u - 20. Let i be (m/24)/(1/32). Is i <= 10?
False
Let a = -0.4 + 3.4. Let p = 4.759 - -0.141. Let b = p - -4.1. Are a and b non-equal?
True
Let i = -0.00409 + 1.00409. Let c be ((-1)/2)/((-2)/(-272)). Which is smaller: c or i?
c
Suppose -4*q + 8*w = 6*w + 10, 4*q + 6 = -2*w. Let b be ((-10)/6)/(q/6). Suppose 46*g - 41*g = b. Is 10/21 at least as big as g?
False
Let r be 356604/50 + (-47 - (-55131)/1175). Does 7132 = r?
True
Let n = 41535 - 36643. Which is greater: n or 4891?
n
Let g(d) = d**3 + 5*d**2 - 3*d - 6. Let z be g(-5). Suppose z*m = -6*m. Which is bigger: m or -5/53?
m
Let s = 12281 + -12281.1. Which is bigger: 14996 or s?
14996
Let o(q) be the first derivative of -q**4/4 + 16*q**3/3 + 21*q**2/2 - 16*q + 13. Let c be o(17). Let j = 118 - 66. Is c != j?
False
Suppose 0 = l - 2*v + 4052, 1389 = -l + v - 2660. Let i = -76843/19 - l. Which is smaller: i or 1?
1
Suppose 6517 = 37*l + 23*l - 11*l. Which is smaller: 132 or l?
132
Let v be 526/(-900) - 34/612. Let r be (2/(-8))/(-3 - (-52)/16). Do v and r have the same value?
False
Let w = 3 + -2. Let s = -285253/12 - -23771. Is s bigger than w?
False
Let k = -1864 + 3560. Which is greater: 1695 or k?
k
Let u be (2/(-6))/((-8)/(-24)). Let o be (3 - u)/4 + 4. Suppose -3*t = o*m - 6*m + 1, 4*t - 6 = 5*m. Is m equal to -2?
True
Let w = 8516 + -8516. Is w at most 27487?
True
Let c = 2 - 3. Let t = -67.028 - -0.628. Let a = -64.5 - t. Is c > a?
False
Let z = -107832 - -332661717/3085. Which is smaller: z or -1?
-1
Let r be 38/(-5)*(-90)/234. Suppose -y = 4*g - 35, 2*y + 3*g = -455 + 485. Which is greater: r or y?
y
Let s be (5 - 4)/(1/2) - 86. Let y be (57/s)/((-6)/(-136)). Let m = y + 47/3. Which is bigger: m o