maller: -137 or o?
-137
Let f be 1565/3 + (-4)/(-12). Suppose -72 + f = 9*z. Let i = -50 + z. Is 3/32 at least i?
True
Let d(z) = -6*z + 105. Let r be d(17). Suppose -15 = r*p - 5*y + 10, -20 = 3*p - 4*y. Which is smaller: p or -1/102?
-1/102
Suppose 4*n = 3*n + 11. Let f = 41 - n. Suppose 4987 = -161*m + 318*m + 277. Do m and f have different values?
False
Suppose -2*k = 5*i - 10*i - 948, -4*i = 0. Let m = -446 + k. Which is greater: m or 109/4?
m
Let w = 0.17 - -11.83. Let v = w + -11. Let i = 0.038 - 0.128. Do v and i have different values?
True
Suppose 0 = -3*f - 2*s + 100, 3*f + 3*s = -f + 135. Let p be 1 - ((-821)/f - (-20)/(-25)). Is p at most as big as 29?
False
Let r = -147.2 - -144. Suppose 5*j + 3*i = -i + 11, -2*i + 8 = 0. Let g be (-24)/9 + 1 - j. Are g and r nonequal?
True
Let u = -29028 + 29147.29. Let o = -118 + u. Let h = o + -0.29. Is 3 < h?
False
Let u be (-1620)/21 + 4 + 2 + -3. Which is smaller: u or -74?
u
Let c be (5408/2212)/(300/21 - -2). Let v = c + 2/79. Which is smaller: -2 or v?
-2
Suppose 3*d - 3*l - 9 = 0, 11 = 3*d - l + 10. Let s(r) = 10*r - 6. Let b be s(-6). Let x be (-4)/18 + b/432. Do x and d have different values?
True
Let n(i) = i**3 - 79*i**2 + 38*i + 177. Let g be n(78). Is -2943 smaller than g?
False
Suppose -551*x = -545*x - 6942. Let b = 31234/27 - x. Which is greater: 1 or b?
1
Let d = 38 - 43. Let l be ((-4)/(-200)*-3)/(d/(-2)). Which is smaller: l or 1?
l
Suppose -5*o + 2*o - 5*w - 87 = 0, 5*w = 5*o + 145. Let z = 34212 + -34242. Which is smaller: z or o?
z
Let a be ((-168)/30)/((-24426)/6105 - -4). Suppose 61*b - 50*b = a. Is b <= 517?
False
Let z(y) = 9*y**2 - 37*y - 99. Let m be z(12). Is m greater than 2257/3?
True
Let b be (-6)/(-27) + (-400)/18. Let y = -31446 - -31422. Is y > b?
False
Suppose 0*y - 55 = -5*y. Suppose 20 = 9*b - y*b. Suppose 40*w + 18 = 38*w. Which is greater: b or w?
w
Let m be (-14)/91 - 2292/(-26). Let w be 18/(-27)*6/m. Let c = w - -25/66. Which is smaller: c or 40?
c
Suppose 87*g - 326 + 413 = 0. Which is smaller: -282 or g?
-282
Let m be 8*1 + -20 + -132. Let c be (-2)/15 + m/(-1080). Which is smaller: c or -6?
-6
Suppose -5*g + 68*t = 73*t - 30480, 0 = 4*t + 4. Do g and 6097 have the same value?
True
Suppose 4*z + 100 = 4*r - 0*z, 5*z + 20 = 0. Suppose -r*o + 27*o + 234 = 0. Do -39 and o have the same value?
True
Let i = 1 + 5. Suppose -71*x = -68*x - 6. Suppose -x*q + m + 16 = 0, 5*q - 2*m - 53 = -15. Is i != q?
False
Let f = 225 + -141. Suppose 2*v + 4*u = -f, 5*v + 0*u = u - 199. Let s(a) = 9*a + 22. Let k be s(-7). Is v less than or equal to k?
False
Let b = 4/4571 + 6374/24057173. Is b >= 1?
False
Let u = 0.166 + -0.066. Let s = -59.124 + 59. Let v = 60.876 - s. Is u smaller than v?
True
Let l = 10.98 + -39.98. Which is smaller: -10/3 or l?
l
Let x = -73.5 - -14.5. Let c = 0.265 + 58.235. Let q = x + c. Which is bigger: q or 0.7?
0.7
Let n = 54 - 282/5. Suppose -29 - 43 = -8*p. Suppose 2*j + 25 = -5*x, 3*x + p*j - 11 = 13*j. Does x = n?
False
Suppose 4*j + u + u = 692, -4*j + 688 = 4*u. Suppose -4*w - 5*d = -172, 4*w - 3*d = j - 34. Suppose -10*q + w = -12. Is 0.4 bigger than q?
False
Let b be (5 - -7)/(-6)*-1*31. Suppose -257 = -5*z - b. Suppose 0 = -50*c + 47*c - z. Do -13 and c have the same value?
True
Let t(i) = 20*i - 108. Let f be t(6). Let z(k) = 2*k + 2. Let g(l) = -2*l - 3. Let w(q) = -3*g(q) - 4*z(q). Let n be w(-5). Is f at most n?
False
Let x = -3/5 + 23/55. Suppose -7*u - 5*p + 30 = -2*u, u + 2*p - 8 = 0. Suppose -u = -5*y + 4*i, -5*y = -10*y - i - 1. Which is greater: x or y?
y
Let q = -67 - -68. Let d be (4/(-22))/(q/(-12)). Which is bigger: d or 2?
d
Suppose 3*i + 36 = -3*j, 66 = -5*i + 5*j - 4*j. Let b be (i/2 - -6)*-2. Are 26/17 and b equal?
False
Let n = 334 - -5681. Which is greater: 0.1 or n?
n
Suppose -41*a + 45*a = -26576. Let r be (-944)/a + (-2)/11. Is r not equal to 1?
True
Let o = -99.42 - -98.42. Is -3421 at least as big as o?
False
Let y = 515 + -276. Let d = y + -245. Is -7 bigger than d?
False
Let n(h) = 29*h**2 - 248*h - 43. Let c be n(-4). Which is bigger: 5 or c?
c
Let r = 9864 - 9709. Is 161 < r?
False
Let m = 152 - 131. Let n = -67 + 75. Is n at most as big as m?
True
Let z be (-7 + 16405/564 - 9) + -13. Which is smaller: -1 or z?
-1
Let n = -3.607 + 0.047. Let w = -4.1 - n. Let s = w + 0.04. Which is smaller: 0.1 or s?
s
Suppose -24*w + 19*w + 30 = 0. Suppose 0*d + 42 = w*d. Let v be 4/(-7) + d + 669/(-91). Which is smaller: v or 0?
v
Let n(o) = -4*o**2 + 1132*o + 3. Let c be n(-10). Are c and -11718 unequal?
True
Let b = -0.41 - -0.01. Let i = -761.4 - -762. Let c = -1.2 - i. Which is greater: c or b?
b
Let i(r) = 8*r - 199. Let d be i(25). Let k be (-286)/33 + 8 + (1 - d). Is k < 3.8?
True
Let u = 0.0561 + -228.0561. Let v = -226 - u. Which is bigger: 55 or v?
55
Suppose 2*z - z - 4*o = 33, 2*o - 96 = -2*z. Let t = 481 + -470. Let n be (4/t)/((-150)/(-18975)). Which is bigger: n or z?
n
Let f = -70236058/3665 - -19164. Is f < -1?
False
Let q = -20 + 11. Let k = 1 + q. Let r = -685 + 681. Is k at least as big as r?
False
Suppose -z + 120 = -6*z. Let q be (22 + z)/(4/118). Is q != -59?
False
Let l be 946/(-55)*((-450)/12)/5. Do l and 16 have different values?
True
Suppose -22 = x + 69. Let y be (-68*(-91)/14)/(0 - -1). Suppose 5*v + y = 2*j, 6 = -v + 5*j - 64. Which is greater: v or x?
v
Let r = -4 - -7. Suppose 5*v - 14 = 3*l + 4*v, 10 = -3*l - v. Let i be (l/(-1))/(r/(-18)). Is i equal to 1?
False
Let m be (198/20)/((-588)/(-14210)). Is m > 239?
True
Suppose -5828 - 667 = 73*m - 947. Which is greater: -7 or m?
-7
Let d be ((-246410)/(-25) - -2)*-5. Let k = d + 89563562/1817. Which is greater: k or 0?
0
Let m = -13.22 + 13.62. Is 1/3045 > m?
False
Suppose 0 = -4*k + 3*u + 36, 3*k = -6*u + 3*u + 6. Let f be k/(36/(-19)) + 1/6. Let d be 4 - 46*(27/(-30))/f. Is d != 1/2?
True
Let a = -11108 - -9972. Is a bigger than -1138?
True
Let k = -437 + 465. Suppose -k*p + 145 - 3813 = 0. Which is greater: 1/3 or p?
1/3
Let x = 5.222 + -4.637. Which is greater: x or -0.1?
x
Let c be -3*10/(-20) + (-546)/340. Let z = c + 38/391. Are z and -1 equal?
False
Let z be (-94)/11 + -8 + 564/66. Let u be (-4 + 0)/((-754)/(-91) + z). Which is bigger: u or 14?
14
Let n be 39 + -40 - (0 + 1686/(-1702)). Is n at least 0?
False
Let n = -281 + 325. Suppose -286 = -33*b + n. Which is bigger: 16 or b?
16
Let c = 109 - 109.3. Suppose 5*p = 4*g - 220, 7 + 3 = -2*g. Is c != p?
True
Let b be (744/(-6))/2*((-1410)/12 - -6). Is 6913 != b?
False
Let r = 6441 - 6429. Is r greater than or equal to 364/27?
False
Suppose 0 = -3*q, -10*q = -2*r - 5*q + 142. Suppose 0 = -r*p + 67*p + 4. Is p at most as big as -3/152?
False
Let k = -285.5 - -206. Let g = 0.0172 - 79.0172. Let v = k - g. Which is smaller: v or 2?
v
Let q(u) = -u**3 - 68*u**2 + 135*u + 115. Let j be q(-70). Which is greater: 462 or j?
j
Let c = -4816 + 4817. Which is bigger: c or -9/524?
c
Suppose -11 = y - 30. Suppose -4*o - 29 - y = 0. Let b be (-1)/(-2) + 78/o. Is b at most -6?
True
Let j = 2726 - 19084/7. Which is smaller: -0.5524 or j?
-0.5524
Let h = 777373/72 + -10795. Which is bigger: h or 3?
3
Let d(h) = -h**2 + 20*h - 19. Let r be d(19). Suppose 0 = -4*x - r*x - 96. Which is smaller: x or -18?
x
Let q(u) = -u**3 - 7*u**2 + 8*u + 11. Let c be q(-8). Suppose c*k - 6*k = -5*m + 325, -5*m + 85 = k. Let f = k + -79. Which is bigger: f or -53/3?
-53/3
Let o = -14718 - -12566. Is o at most as big as -2151?
True
Let u(l) = l**3 + 31*l**2 + 58*l + 6. Let j be u(-29). Let a be (-1 - 2) + (j/1 - 5). Let s = 0.03 + 2.97. Which is smaller: s or a?
a
Suppose 0 = 129*i - 127*i - 2*q - 282, 0 = 2*i - 5*q - 294. Is i greater than 138?
False
Let i be 1148/8715 + 6/45. Which is bigger: 1 or i?
1
Let q be -1 + 9 + (0 - (-2 - -1)). Let p be (3 - 1)*(-21 + 1). Let a = 37 + p. Which is bigger: a or q?
q
Suppose -5*f + 2*h - 4*h = -75, -3*h + 60 = 4*f. Let n be (-4 + -2)*1*(-10)/f. Suppose 0 = n*p - 9 + 5. Is p smaller than 3?
True
Let p(t) = t - 6 + 2*t + 2 - 2*t**3 - 7*t**2. Suppose -z + 3*f = 16, -4*f = 15*z - 19*z - 32. Let c be p(z). Which is greater: 15 or c?
15
Suppose 700*v + 19829 = 449*v. Is -132 at most as big as v?
True
Let d(y) = 181*y**3 - y**2 - 28*y - 26. Let j be d(-1). Is j equal to -1079/6?
False