407/319 + -201/29. Which is greater: -58 or s?
-58
Suppose 8*k = 14*k - 24. Let s be k/(-6)*(4 + 5/(-2)). Do s and -4 have the same value?
False
Suppose 0*q = -6*q. Let v be (-2)/(-16)*-2*q. Suppose v = -5*x - 0*h - 4*h + 38, -4 = -x + h. Which is smaller: x or 7?
x
Let g = -566672728/1834089 + -1266/26581. Let x = g + 309. Let t(c) = -c**2 - 7*c - 5. Let u be t(-6). Which is smaller: u or x?
x
Let r = -6843.0226 + 6843. Which is bigger: 0.04 or r?
0.04
Suppose 0 = 6*i + 7*i - 476 - 551. Is i at most 87?
True
Let a = 45651/10 + -24332463/5330. Which is greater: a or 0?
0
Let s be (-52)/(-130) + 122/(-5). Suppose -3*k + 4*k = 34. Let o = k + s. Is o at least as big as 9?
True
Suppose 0 = 4*l - 7*l. Suppose -2*h + 13 = 3*i + 2*i, -4*h - i + 17 = l. Let p(d) = 3*d**2 + 54*d - 258. Let j be p(-22). Which is smaller: h or j?
h
Let r be (2 - -3) + 11/(-132)*67. Let y be 2/3 - 1/3. Let j = y + r. Which is bigger: 0.14 or j?
0.14
Let q(x) = 292*x + 554. Let v be q(-6). Let c = 960 + v. Is -236 equal to c?
False
Suppose -2*f - 984 = 4*m, -569*f = -574*f + 3*m - 2395. Do -485 and f have the same value?
False
Let u = -70 + 89. Let v = u + -19. Let k be -4 - v*3/15. Which is smaller: 3 or k?
k
Suppose -f = -6, 7*s - 5*s + 60 = 2*f. Do 1 and s have the same value?
False
Let r = -1320.5 - -1651. Let m = 349 - r. Is 0.2 not equal to m?
True
Let m be 1/(-7)*1 + (-27)/(-189). Let g be (-10)/(-30) + 1244/(-6). Which is smaller: g or m?
g
Let u(d) = -58*d + 293. Let g be u(5). Is 41.2 greater than g?
True
Suppose -26130 = -18*s + 5*s. Let t be 5*(2 - 4014/s). Which is greater: 1 or t?
1
Let q = 274.941 - -0.059. Let u = 274.7 - q. Is u at least 12?
False
Let t = -7154 - -7155. Do t and 1/7736 have the same value?
False
Let g = 546319/3 - 185318. Which is smaller: -3212 or g?
-3212
Let l = -18247/5 - -3710. Is l less than or equal to 61?
True
Let a = -0.17 + 100.56. Let d = a - 101. Let r = -0.41 - d. Which is smaller: -4 or r?
-4
Let x be (853/(-404) - -2)*264/(-440). Which is smaller: -1 or x?
-1
Let c = -1934417/926 + 2089. Is c != 1?
True
Let n be -2 - (0 + 95/(-9))*987/5311. Which is greater: n or 1?
1
Let u be (110/(-8))/(180/(-144)) - (-79)/(-3). Let q = -15 - -9. Let n = -21 - q. Is u less than n?
True
Let g be 30/(-4) - (-3)/(-6). Let y = g - -2. Let r be (2 + 52/y)*(-48)/20. Is 16 <= r?
True
Let x = 1.4524 + -1656.4524. Is x greater than 3/2?
False
Let q = 14696859/115381834 - 329/2582. Is 1 <= q?
False
Suppose -5*m + 503 = -r, -m - 14*r = -19*r - 91. Suppose 100*v - m*v = 14. Are -20 and v non-equal?
True
Let q(t) be the second derivative of t**4/12 - 13*t**3/6 + 25*t**2/2 + 7*t. Let c be q(11). Let h be (0/(-2))/(-4 - (-2 + -1)). Which is bigger: c or h?
c
Let b = -198 + 196.27. Let j = b + 1.65. Suppose t - 6 = 3*t. Which is smaller: t or j?
t
Let j be (-232)/(-760) - (0 - (-14)/133). Which is bigger: -19.8 or j?
j
Let m = -4049 - -4701.1. Let u = -652 + m. Which is greater: u or 0.08?
u
Let y be 53 + (-1 - 0 - -4). Suppose -33 = 2*r - 13*r. Suppose -4*h + 9*h + 88 = -r*b, -b - y = 3*h. Is h > -19?
False
Suppose -5*o = -225 + 930. Let b = o - -107. Which is smaller: -33 or b?
b
Let c be -3 - 906/12*(-16)/392. Which is smaller: 0 or c?
0
Let m be (-1498)/1008 - (-1)/5. Let z = m - -7/40. Which is smaller: z or 0.5?
z
Let a be ((-12)/(-14))/((-26)/(-56)). Suppose -3*i + 10 = t, -4*t - i + 14 = -t. Let d be (4/10)/(1/(-5)) + t. Which is greater: d or a?
d
Let s = -19121 + 19342. Which is smaller: 13 or s?
13
Let s be (-66)/(-93) + 2/(-3). Suppose -38*l + 5*l = 14*l + 47. Which is greater: s or l?
s
Let d be (-4)/15*-3 - 1. Suppose 0 = -5*m, 4*b - 7*m = -6*m. Let x(y) = 3*y**2 - y - 1. Let g be x(b). Is d less than g?
False
Let z(l) = -l**2 + 10*l - 10. Let m = -47 + 55. Let w be z(m). Suppose -w = -3*s, -4*h - 5*s = 8 + 10. Which is smaller: -51/7 or h?
-51/7
Let m = 4.298 + -3.898. Is 0.18 greater than m?
False
Let o = 1285 + -1251. Let n(d) = -7*d + 10. Let f be n(7). Let y = o + f. Which is smaller: y or -1.5?
y
Let h(m) = 2*m**3 - 9*m**2 + 2*m + 7. Let t be h(4). Let x(y) = 19*y + 4. Let o be x(t). Which is smaller: o or -20?
-20
Let g be 1395/(-310) - 141/(-2). Let p = -76.9 - -85. Let h = p + -8. Which is smaller: h or g?
h
Let z = -4.07 + 1106.47. Let y = z + -1002. Let l = y - 102. Is 1/2 not equal to l?
True
Suppose -3 = -3*p, 43*n - 41*n + 4*p = 4. Which is smaller: 25/79 or n?
n
Let p = 633.98 + -644. Let w = p - -0.02. Let f be 9/(-7) - (-1)/1. Which is greater: f or w?
f
Suppose -2*g + d = -0*d - 3, 3 = 4*g - 3*d. Let i be 2459/g - -4*6/(-36). Let m be (8/(-6))/((-52)/i). Do 19 and m have different values?
True
Suppose -2*o + 1338 = -759 + 29. Which is greater: o or 1033?
o
Suppose -2*d + 28 = 5*d. Suppose d*g = 6*g + 12. Suppose 0 = 6*j - 6 - 0. Which is greater: j or g?
j
Let c = 45.42 + -45. Let r = 1094.9525 + -1095. Let h = r + -0.9525. Is c at most h?
False
Let m(y) = -y**2 + 3*y - 5. Let u be m(-5). Let x be ((-160)/u + -3)*-15. Let v be (-2)/((-33)/12 + 3). Is v greater than x?
True
Suppose 5*q - 335 = -5*i, -2*q + 33 = -2*i - 81. Let o = 62 - q. Let k be (0/4)/(o - -1). Is -0.4 at most k?
True
Let l be 3/(-2) - 21/(-14). Let m(a) = -a**3 - 9*a**2 + a + 21. Let f be m(-10). Let q = -104 + f. Is l less than q?
True
Let v = -0.08 + 0. Let m = -0.08 - v. Let b = -1390 - -1389.5. Which is smaller: b or m?
b
Let f = -211 + 261.5. Let c = -52 + f. Let l = c + 2.5. Which is smaller: -8/5 or l?
-8/5
Suppose -65*k = -46*k + 133. Let t = -3.2 - -1.1. Let l = t - -2. Which is bigger: l or k?
l
Suppose q + 3*q - 1078 + 1074 = 0. Is q smaller than 701?
True
Suppose 4*k + 12047 = -g, -5*k - 13334 = 4*g + 1733. Which is greater: -15057/5 or k?
k
Let p = -10464 - -10483.3. Is 4.4 greater than or equal to p?
False
Let q(g) = -6*g + 76. Let w be q(6). Let t be (7 + (-370)/w)*-28. Is 56 < t?
True
Let w(b) be the second derivative of b**4/12 - 2*b**3/3 + 3*b**2 + 2*b. Let v = 870 + -865. Let u be w(v). Which is bigger: u or 9?
u
Suppose 0 = -15*x + 116 - 26. Suppose 0 = 2*t + x*t. Is t at least as big as -4/23?
True
Let q = 0.1473 + 1.8527. Suppose -4 = 2*o + 3*i - i, -3*o - 2*i = 1. Which is greater: q or o?
o
Let n = -0.21615 - -0.31615. Is 17001 less than or equal to n?
False
Suppose -2*h - 3 = 1. Let y = 2 + h. Let r be (-3)/(-4)*(-79)/(345546/216). Is y less than r?
False
Let k be (-27404)/(-68460) - 3*(-18)/(-135). Is k <= -1?
False
Suppose -2*q - 3*q - 2*v = -66, -3*q + v = -33. Let o be ((-18)/(-6) + 4)*q. Is 85 > o?
True
Suppose -33*s + 4415 = -28*s + 5*z, 0 = -4*s + 5*z + 3523. Suppose 0 = 43*j - 2988 - s. Do 93 and j have different values?
True
Let f = 0.122 - -0.068. Let a = 879 - 878. Is a smaller than f?
False
Let q = 266109/128 - 2079. Let n(p) = p - 6. Let w be n(4). Let u be 12/72 - w/(-12). Is q smaller than u?
True
Let g = -10 - -9. Let q be (-13)/(351/(-15108))*(-2)/294. Let w = 186/49 + q. Is g at most w?
True
Let a(b) = 13*b**2 + 47*b - 616. Let k be a(13). Which is greater: 2193 or k?
2193
Suppose -2*y + 2*k = -4, 2*k + 26 = 3*y + 4*k. Let o(d) = 129*d - 630. Let j be o(5). Let g be j/30 - y/8. Which is smaller: g or -25?
-25
Let h be (1 + ((-201)/(-33) - 7))*-12. Are -106 and h equal?
False
Let y(m) = 5*m**3 - 21*m**2 - 2*m + 25. Let j be y(6). Are j and 339 nonequal?
True
Let o = -17 + 45. Let w = -627 + 616. Let k = w - -38. Is o equal to k?
False
Let k = 14.8 + -9.4. Let a = k - 9.4. Let c = 3.94 + a. Which is bigger: -4 or c?
c
Let s(u) = -3*u + 24. Let a = 2 + 8. Let q be s(a). Let x be ((-3)/q)/((-6)/4). Which is bigger: 0.008 or x?
0.008
Let o = -121 + 149. Suppose 3*b - o = 2*u, -5*u - b - 15 = 21. Let s be 14/u*(-2)/(-7). Which is smaller: 0 or s?
s
Let u be ((-12)/(-10))/(210/225). Let n = 55 + -55. Which is smaller: u or n?
n
Suppose -2*z - 3*b + 3 = -2*b, -5*z = 3*b - 9. Suppose 5*r + 5*d = 515, -47 + 251 = 2*r + 3*d. Let o be ((-1)/6)/(r/(-441)). Is o > z?
True
Let q(v) = -v**2 + 2*v - 5. Let y be q(-5). Let l be y/100 + 24/10. Suppose 2 = l*c + 4. Which is smaller: -1/14 or c?
c
Let n = 1.8892 - -0.1108. Which is bigger: n or 2001.1?
2001.1
Let f = -712 + 51977/73. Suppose 0*c - 5*c + 20 = 0. Suppose -4*p + 0 + c = 0. Which is greater: p or f?
p
Let v = -0.095 - -0.162. Let l = -1.067 + v. Let k = 0.8 + l. Is 