se
Let l = -13 - -115. Let r = 100.51 - l. Let u = r + 1.59. Which is greater: -0.023 or u?
u
Suppose -634*y = -580*y + 8064 + 29628. Which is greater: 4 or y?
4
Let j = 5967.8 + -908.8. Which is bigger: 0 or j?
j
Let a be (3/9)/(65/(-195)). Which is greater: 1443 or a?
1443
Let o = -14527/2996 - -194/107. Are o and -3 unequal?
True
Let g be 2/(-30) + 83500/(-97500). Let z = 27/2 - 13. Is g <= z?
True
Let u = 1140 - 1127.91. Let p = u - 12.4. Are p and 1 equal?
False
Suppose 0 = 189*f - 180*f + 36684. Is 0 <= f?
False
Let h be -102*(-42)/9 + 0/4. Let m be ((-10)/(-25))/(h/520 - 1). Is -6 < m?
True
Let r(z) = -139*z + 3982. Let x be r(28). Which is smaller: x or 1097/12?
x
Let w = 8935 + -9028. Which is smaller: w or 8?
w
Let r(y) = -y**3 + y**2 + 3. Suppose 0 = -k + 4*k. Let c be r(k). Let n(x) = 5*x**2 - 3*x - 2. Let q be n(-1). Which is bigger: c or q?
q
Let i = 12 + 8. Let j(h) = 2*h - 26. Let u be j(i). Is 16 greater than u?
True
Let k be -4*(3/(-30)*2 - 27210/200). Which is smaller: k or 543?
543
Let s = -0.98 - 0.02. Let t be (4/3)/(1010/30 + -29). Does s = t?
False
Let x(c) = -21*c - 31. Let g be x(-4). Suppose -5*l = -3*o + 51, -6 = l + o + 9. Let m = l - -64. Do g and m have different values?
True
Let v be 84/17 + ((-11500)/50)/46. Which is bigger: 221 or v?
221
Let h = 92 - 101. Let b be 7 - (-11)/(-1) - (-70)/18. Which is greater: h or b?
b
Let w be (-22 - -26) + 103778/(-44). Let b = -4755/2 - w. Which is smaller: -23 or b?
-23
Let r = -0.013 - -9.413. Let p = -0.096 + -9.304. Let k = r + p. Is k smaller than 26?
True
Let u = -1.573 + -13.047. Let s = u + 15. Let i = s - 1.38. Which is greater: i or 0.3?
0.3
Let y = 838.64 - -0.36. Let t = -837.5 + y. Let g = 3 + -4. Which is bigger: t or g?
t
Let y(n) = 18*n. Let f be y(-2). Suppose 0 = 4*b - 409 - 63. Let o = 83 - b. Is o bigger than f?
True
Let w(f) = 3*f + 1. Let m be w(1). Let l be (3/(9/m))/((-4)/22). Let t = -10 + 2. Which is smaller: l or t?
t
Let f be -3 + 264/96 + (-5334)/8. Which is greater: -3329/5 or f?
-3329/5
Let i = 15 - 15. Suppose -2*h = -4*j - 174, -3*j - 128 = -i*j - 4*h. Let d = 37 + j. Is d <= -1/4?
True
Suppose 2*m - 6*f - 28 = 0, 14*f = 4*m + 16*f + 14. Are -1/2535 and m equal?
False
Suppose 2*j + 164 - 92 = 0. Let n = -33 - j. Suppose 62 = -v + n*u, 0 = -2*v - 3*u + 6*u - 115. Which is smaller: -52 or v?
v
Let v(i) = -4*i + 17. Let s be v(4). Let f be (4/8)/(-1)*s*1. Are -4.6 and f equal?
False
Let f = 0.43 - 21.43. Let z = -7.15 + 7.793. Let o = z + -0.843. Is f > o?
False
Suppose 71*k - 258280 = 291*k. Which is bigger: k or -1176?
k
Let p = -39.5 + 39.3. Let u = 0.5 + p. Which is greater: u or 2/7?
u
Let i = -3342 + 3341. Is i at least as big as -1107?
True
Suppose -9*w + 164 = -691. Suppose 7*a - 4 = -w. Suppose 39 = o - 4*o. Does a = o?
True
Let p be ((-8)/(-208))/((-1)/2). Let j = p + -34/65. Which is smaller: -2 or j?
-2
Suppose -4*b + 3*n - 31 = 0, b - 2*b - n = -1. Let w be 160/(-88) - b/(-22). Let l(h) = h**3 - 4*h**2 - 2*h + 4. Let u be l(4). Which is greater: u or w?
w
Let t = 240 - 210. Which is greater: 94 or t?
94
Let v(q) = -q**2 - q - 1. Let a be v(2). Let m = a + 11. Suppose m*b + 3 - 31 = 0. Is 6 < b?
True
Let j be (38/1 + 1)/((-72)/2208). Let z be (-323)/j - 2/((-80)/(-10)). Which is smaller: z or -1?
-1
Let x = -3103 + 2978. Which is bigger: x or -72?
-72
Let i be (-516)/(-731)*17*((-14)/8)/7. Let o(u) = u**2 - 3*u + 1. Let r be o(2). Let a be (r/(-2))/((-2)/7). Does a = i?
False
Let j(i) = -2*i - 45. Let h(u) = 1. Let g(x) = -6*h(x) + j(x). Suppose -2*w = z + 41, 74 = 4*w - 7*w + z. Let s be g(w). Is -8 equal to s?
False
Let y be (2/(-26))/(-3*(-2)/978). Which is smaller: -14 or y?
-14
Let o = 2074 - 1284. Suppose -o*a = -787*a + 81. Is a not equal to -29?
True
Let w = 8 - 10. Let z be w/(-16) - 780/(-160). Suppose 7*r - z*r + 40 = 0. Which is smaller: -18 or r?
r
Let g(b) be the third derivative of -b**6/120 - b**5/10 + b**4/12 - 2*b**3/3 - 25*b**2. Let n be g(-6). Let d = 4.8 + -4.8. Which is bigger: d or n?
d
Let b = 29/50 - 2/25. Let d = -228 + 45. Let n = 177 + d. Is n smaller than b?
True
Suppose -1160 = 115*h + 30*h. Which is greater: h or -218/31?
-218/31
Suppose 31 + 9 = 8*x. Suppose x*r + 2*m - 66 = 6*m, -46 = -5*r - m. Suppose 24 - r = 2*g. Which is greater: g or 13?
13
Suppose 12*b = -4*l + 16*b + 8, 4*l = -5*b + 17. Let s = 41 - 18. Which is smaller: s or l?
l
Suppose g = -g - 5*d + 16, 5*g = -3*d + 21. Suppose 0*t + 4*m = 3*t - 367, 0 = -5*t + g*m + 619. Let n = t - 177. Which is bigger: n or -53?
n
Let n = -418 + 463. Suppose n + 30 = -3*d. Is -30 bigger than d?
False
Let j = 37.2 + 9.7. Let l = -8.1 - j. Let f = -377.9 + 378. Which is bigger: f or l?
f
Let b = -20147/5 + 4033. Suppose r - 4 = -0*r. Is b bigger than r?
False
Let n(u) = u**3 - u**2 - u. Let t be n(2). Suppose 0 = t*f + 4 - 10. Let d be 80/(-640) - 26/(-16). Is d not equal to f?
True
Let n = -7544 - -8197. Which is bigger: 654 or n?
654
Let q be (-14)/4*42/(-9). Is -0.1 smaller than q?
True
Let c = 40 + -26. Let g be (-9 - (-133)/c)*(-1 + 3). Is g equal to 1?
True
Let f(i) be the first derivative of -1/4*i**4 + 9*i - 7*i**2 - 5*i**3 + 18. Let l be f(-14). Is l less than 12?
True
Let u be ((-4)/30*-3)/(316484/(-6456680)) + 8. Which is greater: u or 1?
1
Let h(b) = 3*b**3 + 7*b**2 + 7*b + 4. Let r be h(6). Suppose 6 = -14*p - r. Let x be (3 + -7)*(-3)/(12/p). Is x < -68?
False
Let t(q) = q + 27. Let x be t(-27). Is -20/4517 at least as big as x?
False
Let x = -12078 - -12077.97. Is 0.0401 greater than x?
True
Let t = 2743.6 - -230.4. Let d = 2971.943 - t. Let k = d + 0.057. Which is greater: -2.6 or k?
k
Suppose 0 = -3*g + 5*q - 1361, -878 = 2*g + 339*q - 335*q. Is g at least -454?
True
Suppose 0 = 5*w + f + 276, 102 = -2*w - 3*f + 2. Let h be 2/6 + 172/(-3). Do h and w have different values?
True
Let m = -8369.89 + 8397. Which is smaller: m or -1?
-1
Let o(u) = 4*u + 3. Suppose -4*i + v + 39 = -43, -2*i + 46 = -3*v. Let a = i + -22. Let x be o(a). Which is smaller: x or -8?
-8
Let w = -289754/38168459 - -44/5581. Is 0 at most as big as w?
True
Suppose -3*n = -19*o - 7220, o - 760 = 3*o - 2*n. Which is greater: o or 2/3?
2/3
Let f = 0.29 + 0.71. Let s be (-24)/(-639)*(-216)/96. Which is smaller: s or f?
s
Suppose -2*l + g - 2*g = 0, -5*l + 10*g - 25 = 0. Which is smaller: l or -18/149?
l
Let i be ((-4)/(-3) + -2)/((-18)/27). Let s = 4515 + -4569. Is s less than i?
True
Let o = 1 - -7. Let f(h) = -171*h + 21 + 156*h - 8*h**2 - 3170*h**3 + 3171*h**3. Let a be f(o). Which is smaller: 1 or a?
a
Let c = -9602 + 9701. Let m = -23009.21 + 22910. Let k = m + c. Which is smaller: -1 or k?
-1
Let c be -34 - ((-39)/(-36) - 1 - 70/120). Let k be (10/(-8))/((-1)/(-28)). Is c != k?
True
Let c(u) be the first derivative of -u**4/4 + 8*u**3/3 + 6*u**2 - 11*u - 67. Let s be c(8). Which is smaller: s or 86?
s
Let p = -1092 - -1147. Let b(m) = 8*m**2 + 5*m - 2. Let u be b(-3). Is u > p?
False
Let l = 3653 + -40235/11. Suppose -6 = p - 1. Which is smaller: p or l?
p
Let h(w) = 16*w**3 + 1309*w**2 - 245*w + 86. Let u be h(-82). Let q = 23/190 - -7301/2470. Does q = u?
False
Let c be (59 - -135)/(4/(-22) - 0). Let b = 506 + c. Do b and -560 have the same value?
False
Let r(f) = 3*f**3 + 54*f**2 - 40*f - 39. Let g be r(-19). Which is smaller: -366 or g?
-366
Suppose 5788 = 11*u + 19945. Which is greater: -1288 or u?
u
Suppose -5*d - 137872 = -74*d + 82652. Is 3198 bigger than d?
True
Suppose 3*u = -4*z - 19, -2*z = 4*u - 0*z + 12. Let s be (u/3)/(68/24 + -3). Suppose -5*v - s = -22. Is v less than -5?
False
Let j be (0 + 1)/((-957)/(-111186)). Are j and 115 equal?
False
Let r be 3/(-2) - (13 - 428491/29554). Are r and -1 nonequal?
True
Suppose -23058 = -1098*a + 1140*a. Which is smaller: a or -546?
a
Let x be 4/(-60)*9*-1*5. Let l be ((-28)/(1 - x))/(65/130). Which is smaller: l or 137/5?
137/5
Let i = -1304 - -2438. Let w = i - 1131. Let u = 2.8 + -3. Is u != w?
True
Let t = -1.096 - 592.904. Let o = -567 - t. Are -3 and o nonequal?
True
Let m = -4297 + 4297.05. Is -0.0536 at least as big as m?
False
Let o = -251 + 263. Let c be 8/o*6*(-5)/(-20). Let u be (1 - -3)*(-1)/(-74). Which is smaller: u or c?
u
Let o(x) = 2*x**3 + 3*x**2 + 2. Let z be o(-5). Let r = -175 - z. Is -14/