alse
Let m = 234.52 + -332.52. Is -19/6 bigger than m?
True
Suppose -56 = -6*l + 28. Let v be (0 - (-62)/l) + -4. Which is greater: v or 1?
1
Let p be ((-1881)/144 - -18) + (9 + 1)/(-2). Let k be 4 + -5 + 0 + 1. Is k greater than or equal to p?
True
Let t(w) = w**2 + 9*w + 11. Let f be t(-5). Let s(n) = 4*n - 3. Let a be s(-3). Let c be ((-15)/25)/(a/(-230)). Which is greater: c or f?
f
Let c(g) = g**2 + 15*g - 40. Suppose 3*m + 58 = 7. Let x be c(m). Let s be x/2 + 4 + (-30)/48. Is s > 1?
False
Suppose 5*k = k - k. Suppose k = b - 4*b + 153. Suppose r + 9 = b. Which is smaller: 43 or r?
r
Let i = -11508 + 11473. Is i at most -47?
False
Let w = 8937 - 8937.09. Which is smaller: w or 20?
w
Let r(y) = -y**3 + 12*y**2 - 2*y + 29. Let h be r(12). Suppose -2*g = 3*f - h, -f - f = 2*g - 6. Let m be 37/(-6) + 2/g. Is -6 bigger than m?
False
Let n be (4 - (3 - -4)) + -5 + (-142988)/(-17874). Is 0 equal to n?
False
Let p(a) = 12*a**2 + 19*a + 9. Let b be p(-8). Suppose 1893 = 3*s + 3*h, 2*s - 3*h - 1407 = -170. Is s smaller than b?
False
Let f(u) = 21 + 18 - 28 - 3*u. Let c be f(5). Suppose -5*m = -3*l + 14, 4*m + 24 = 2*l - 6*l. Which is smaller: l or c?
c
Let h(k) be the second derivative of 3*k**5/20 + 11*k**4/4 + 19*k**3/2 + 3*k**2 - k - 17. Let n be h(-9). Let s be (0 + -1)/(1/21). Is s at most n?
True
Suppose 114 - 116 + 107 = -3*u. Which is bigger: -4 or u?
-4
Let x be 42/(-70) + (-43)/(-5). Let l be 1 + (-3 - 1)/x. Is l at most as big as -0.1?
False
Suppose 0 = -j - 3*t + 3, -5*j = -3*t + 4 - 1. Suppose -75 = -8*d - 83. Let c be (-5 + d)*(-105)/29295. Is c less than j?
False
Let x = 0.01 - 2.01. Suppose -86*l - 5*z + 280 = -91*l, 4*l + 5*z = -224. Is l at most x?
True
Suppose -3*q + v + 42751 = -3*v, -2*v + 28524 = 2*q. Which is smaller: 14258 or q?
q
Let r(q) = -q**2 + 229*q + 10041. Let o be r(-59). Is -3 less than o?
False
Suppose -278*a - 300667 - 2690871 = 676672. Which is smaller: -13196 or a?
-13196
Suppose 0 = 2*m + m + 2*j - 158, 214 = 4*m + j. Let d be 93/(-2) - ((-24)/16)/(-1). Let a = d - -102. Is m >= a?
True
Let l = 1/5902 - -41039/1623050. Is 1 less than or equal to l?
False
Suppose j - 2*l = 846 + 491, -4*j - 4*l + 5312 = 0. Do 1331 and j have the same value?
True
Suppose 2 = 3*y - 4, -5*y = -5*m + 50. Let q = -1037 + 370. Let k = -656 - q. Which is bigger: k or m?
m
Suppose -1206 = 2*z + 2*i, -2*i + 3*i = z + 603. Let g be z + -2*(-4)/8. Let b be (14/g)/(1/1). Which is greater: b or -1?
b
Let k = 2197.68 + -2197. Which is smaller: k or 62?
k
Let h(l) = 3*l**3 - 14*l**2 - 64*l + 296. Let q be h(5). Are q and 1/1711 non-equal?
True
Let f(t) = -3*t**3 + 24*t**2 - 3. Let h be f(8). Suppose j + 3 = 4*j, 0 = -2*k + 2*j - 14. Let i be h/k*0 + 1 + -1. Which is smaller: 8/15 or i?
i
Suppose 0 = 4*v - 5*u + 14418, -4*v - u + 7218 = -6*v. Do v and -3614 have the same value?
False
Let o = 13 + -11. Suppose o*i - 7*i = -5. Let g = -3525/68 + 207/4. Is i greater than g?
True
Let w = -49 - -47. Suppose -94 = -2*b + 1168. Let x = -6953/11 + b. Which is bigger: w or x?
x
Let s(p) = 3*p**2 - 29*p + 12. Let l be s(11). Suppose -11*b = -7*b - l. Suppose -19*h = -b*h - 130. Is 25 less than h?
True
Let f = 0.09 + 6.91. Suppose -2*d = 361 - 15. Let q = d + 174. Do q and f have the same value?
False
Let w = -11835 + 12235. Does w = 391?
False
Let w = -1.212 - -1. Let j = 1.712 + w. Which is greater: j or 0?
j
Let v = 6242 - 6183. Let r = -131 + 71. Let a = r + v. Is -3 smaller than a?
True
Let v = 3722 + -3721. Which is smaller: -20/253 or v?
-20/253
Let l = 228.36308 - -0.33692. Is l != -2/3?
True
Let w be 2 + (-3 - 7)/5. Suppose r = t + t + 67, w = r + 4*t - 67. Is 68 smaller than r?
False
Suppose 504 = t + 7*t. Suppose -2*r = t + 5. Let n = -89 + 54. Which is greater: n or r?
r
Let q = 0.0681 + -0.1181. Which is bigger: 2081 or q?
2081
Suppose 2*f - 33304 = -6*s, 4*s - 22192 = -46*f + 42*f. Which is bigger: 5551 or s?
s
Let n = 14488/1112991 + 4/957. Does 0 = n?
False
Let m = 5249 - 5250. Let o be (-2)/(-4) + 243/(-402). Which is smaller: o or m?
m
Suppose 13*n = 3*n - 50. Let d(s) = -7*s**3 - 35*s**2 - 12*s - 5. Let r be d(n). Do 55 and r have different values?
False
Let c = 2.752 + -2.692. Is c bigger than -0.0503?
True
Let v = 12377/5 + -2488. Which is greater: 0.2 or v?
0.2
Suppose -a + 892 = -2*v - 1958, -4*a = -2*v - 2838. Are v and -1430 unequal?
True
Let i = -2 - 43. Let q be (-10)/(-2*4/4). Suppose -q*t + 138 = -3*c, -c - 3*t + t = 46. Is c greater than or equal to i?
False
Let w be -9 - (-906 - -3)/7. Let g be (w/50)/(-12) - 6/(-5). Which is smaller: g or 120?
g
Let c(y) = -y**2 - 8*y - 13. Let s be (-5)/(((-6)/(-9))/2). Let g be (18/s)/((-1)/(-5)). Let q be c(g). Which is greater: q or -5/9?
-5/9
Suppose 64 = 5*l - l. Let w = 119 - 88. Suppose 3*g - 3*t - t - w = 0, -5*g = t - 90. Which is smaller: g or l?
l
Let u = -11722 + 11815. Which is greater: u or 84?
u
Let b(r) = 4*r**2 + 20*r - 90. Let v be b(7). Suppose -192 = 262*p - v*p. Let x be (4/3)/(5/(-30)). Is x bigger than p?
True
Let n = -843.9 - -888. Let t = 0.198 + -44.198. Let c = n + t. Which is bigger: 0.27 or c?
0.27
Suppose 0 = -3*h + 2*z - 14, 0*h = -3*h + z - 13. Let i = 2 - -3. Suppose -i*r - 21 = -2*r. Is h less than or equal to r?
False
Let s = 47852 - 47675. Suppose 3*q - 531 = -3*k, 4*k - 895 = -k + 5*q. Which is smaller: s or k?
s
Let z(n) = 8*n - 14. Let y be z(4). Suppose -y = -10*f + f. Is 1 greater than f?
False
Let m be (0 - (-8)/(-130))/2. Let s = 25 - 22. Suppose -2*v = -3*g + 6*g - 13, s*g + 7 = 2*v. Which is smaller: m or g?
m
Suppose 5*s = y - 26, 321*y + s = 317*y - 1. Which is bigger: y or -2/6651?
y
Let i = 638 - 423. Suppose 9*s - i = 406. Which is greater: 68 or s?
s
Let q(t) = -t**2 - 23*t - 70. Let k be q(-25). Let x be ((-11620)/k - 1/3)*-2. Do -193 and x have different values?
False
Let m = 499 + 969. Is 1466 bigger than m?
False
Let i be (1/2 - -1)*(-696)/261. Let c be (i/42*-7)/(10/(-1275)). Which is greater: c or -86?
c
Let d be (9/6 - 2)*(-2 - 8). Let p(h) = 297*h - 1782. Let m be p(6). Which is smaller: m or d?
m
Let g = -338.059 - 6.441. Which is bigger: -2 or g?
-2
Let d = -7.4 - 1.1. Let x = -17.6 - d. Let p = x + 9. Do p and -1.5 have the same value?
False
Let g(s) = -s**3 - 5*s**2 - 7532*s - 13 + 7532*s. Let d be g(-6). Which is smaller: d or 145/6?
d
Suppose -5*w + 2*w = 9. Let g = 405 - 671. Let a = g - -263. Is a greater than w?
False
Suppose 4*f + 4*g = 16, -2*f + 10 - 2 = 5*g. Let o be 1076/22 + f/(-4 + 6). Let t = o + -51. Is t >= 0?
False
Suppose 3*x = 4*x. Let r = 472 - 736. Let y be 384/r + 3 + -1. Is y at most as big as x?
False
Suppose 12*b = 14*b - 2. Let r = -10.1 - -10.8. Let s = -19.7 + r. Which is bigger: s or b?
b
Let x be (-30575)/(-3200) - 40/4. Which is bigger: x or 1?
1
Suppose v - 835 = 3*p, 2*p - 3*v - 1387 = 7*p. Is 13/3 > p?
True
Let o = 3116 + -2998. Which is greater: 822/7 or o?
o
Suppose i + 9 = 21. Let o(x) = -2*x + i + 6 + 4*x. Let r be o(-9). Is 2/21 equal to r?
False
Let d = -66 - -66.97. Let f = d - 1.1. Let x = f + 0.03. Is -34 bigger than x?
False
Let n = -251098/59 + 4256. Suppose 0 = 13*x - 23*x - 10. Does x = n?
False
Let l(u) = u - 11. Let y be l(12). Let c be ((-32)/128)/((-2)/8). Suppose c + y = -n. Is n >= -0.9?
False
Let w(z) = -4*z**2 - 76*z. Let p be w(-19). Which is bigger: -0.0386 or p?
p
Let i be 1/(-2) + (-7 - 72/16). Let s(z) = 2*z**2 + 24*z + 4. Let l be s(i). Let v be (-12)/((-9)/(-3)) + l + 1. Which is greater: v or -3/7?
v
Let k = 8 + -5. Suppose -320*r - 173 = -246*r - 469. Which is bigger: r or k?
r
Let w be ((-76)/(-8))/((-2510)/(-2854)). Let k = w + -1/502. Which is smaller: 11 or k?
k
Let m(r) = 4*r + 43. Let b be m(-11). Let o be b/((-3)/(-12)) - (-91)/21. Let d = 29/12 + -7/4. Is o bigger than d?
False
Let d = -17.17 - -18.17. Which is greater: -4488 or d?
d
Let s = 278 + -103. Let c = s - 99. Is c >= 74?
True
Let l(m) = 7*m**2 - 19*m - 31. Let w(q) = -q**2 + 2*q - 1. Let c(j) = -l(j) - 6*w(j). Let a be c(12). Which is greater: a or -24?
a
Let x be (17 + 1)/(((-42735)/(-140))/(-37)). Is x at most as big as -24/11?
True
Let r be -1 + (-1)/(-3) + (-53)/(-30). Let y be -5 + 2 + (-14)/(-10). Let j = y + r. Is j less than -0.7?
False
Let n = -169 + 169.93. Let z = -0.08 - n. Is 1/