bigger: q or g?
g
Let z = 56 + -57. Let o be 9/(-3)*z - (10 - 6). Which is greater: -0.6 or o?
-0.6
Let t = 20384 - 19019. Which is smaller: 1368 or t?
t
Let s(d) = -d**2 + 61. Let m be s(8). Which is smaller: m or -150/71?
m
Suppose 2*q - 4*s + 106 - 8 = 0, 4*s = 8. Let p(g) = -171*g + 128. Let v be p(1). Which is smaller: v or q?
q
Let c = 98 + -343. Let b = c - -246. Do -183 and b have different values?
True
Suppose 4*c = 3*c - c. Let d(z) = -8*z**2 - 1 + 0*z + 0*z - 1 + 7*z. Let o be d(3). Is c not equal to o?
True
Let h be (-8304)/(-2944) + -19 + 16. Is h less than 1?
True
Let f = 0.982 + -1. Suppose 5*k = 5*j + 10, 2*j = -3*k + 3 - 12. Do f and j have different values?
True
Let a = 397 + -397.5. Let l = -1.5 + a. Which is greater: l or 50?
50
Suppose -2*c = 5*u + 30, -190*c + 5*u = -186*c - 30. Which is greater: c or 2/33249?
2/33249
Let x = 756/331 - -928647/1655. Which is smaller: x or 562?
562
Let d = -16202 + 16201. Which is bigger: -331 or d?
d
Let m be (-1 - (-1)/(-2))*(1 + -3). Suppose 5*q - 174 = -r, 0 = -2*q + 4*r + 49 + m. Is 34 less than q?
False
Let r(u) = 169*u - 2422. Let g be r(15). Which is smaller: 116 or g?
g
Let v = -46 - -60. Let p be 23/(1259181/15796) - 4/v. Which is bigger: p or 1?
1
Suppose -q = -2*i - 4, -2*q - 9998*i = -9996*i + 4. Let c be -1 + 2/((-1428)/(-718)). Is q greater than or equal to c?
False
Let g be 3 + 1 + -2 - 2. Let z be -6*4075/61200 - 3/72. Is g < z?
False
Let o be (-4 - (-2731)/(-8)) + 13 + -9. Let b = -801 + 459. Let a = o - b. Is a at most as big as 2?
True
Suppose -2*d + 514 = -2*z, -5*d + 2 = -2*z - 500. Let a be 2*4/4 + z/131. Is 1 greater than or equal to a?
True
Let c = -819 - -1858. Which is smaller: 0 or c?
0
Let o = -4519 - -4519. Which is smaller: -5/557 or o?
-5/557
Let s = -177 + 6. Let p = -144.8 - s. Let v = p - 26. Is -17 <= v?
True
Let p be (0 - -2)/((13/(-26))/(33/24)). Is p equal to 0.05?
False
Let v be (-109 - -108)/(1/35). Which is smaller: -5 or v?
v
Let l = -293.27 + 0.27. Let v = -278 - l. Is v < -3?
False
Let m = -1893.1 - -1895.1. Is m at least as big as 0.00856?
True
Suppose -19 = -5*o + 6. Suppose -2*i = 2*j - 498 - 6, -2*i - o*j = -501. Do i and 252 have the same value?
False
Suppose 50*g - 14218 - 232732 = 0. Is g equal to 4939?
True
Let q = -632.5 + 676.5. Which is smaller: q or 15/2?
15/2
Let r = -35 + 51. Suppose a = l + 2*l + 110, 3*a - 182 = 5*l. Let k = l - -51. Is r less than k?
False
Let o(c) = c**3 + 5*c**2 + 2. Let h be o(-5). Let v(p) = 8*p - 13. Let r be v(h). Suppose -r*z = -2*z - 1. Are 10/11 and z unequal?
True
Let k = -1.80285 - -0.00285. Which is greater: 81 or k?
81
Suppose -8*l = 2*l - 24*l. Let t = 7246/9 + -806. Is l smaller than t?
False
Suppose -b + 108 = v, 4*v + 59 = -2*b + 263. Let i be (9/(-21))/(3/2). Which is bigger: i or b?
b
Let k(p) = 11*p - 31. Let j be k(-1). Which is bigger: j or -58?
j
Let v be 0 - (-1 + (-298)/(-286)). Let c be (-5)/(-19*195/(-741)). Is v less than or equal to c?
False
Suppose -10 - 2 = 2*q. Let r be 3/(27/6366) - 2. Let k = -712 + r. Are q and k equal?
False
Let z = 5683423/53 + -107241. Is -6 at least as big as z?
True
Let a = 179713/438340 + -9/2020. Is 0 at least as big as a?
False
Let d(m) = 3*m**2 + 7*m + 6. Let c = -12 - -10. Let w be d(c). Suppose -20 = w*o, 0 = -3*q - 2*q + o. Which is greater: q or -5/14?
-5/14
Let r(z) = -4*z**2 - 4 + 8*z**2 + 4*z + z**3 - 2*z**2 + z. Let l be r(-4). Let c be 16/l - (-2)/7. Do 1/9 and c have different values?
True
Let n be 2 - (-2)/48*(-97)/2. Let v = 97 + -139. Let y be 12/v + (-18)/(-14). Is n at most as big as y?
True
Let w = -14152 + 25980. Which is smaller: 11830 or w?
w
Let w(d) = 28*d + 59. Let o = 617 - 620. Let b be w(o). Which is greater: b or -77/3?
b
Suppose -31 = -5*i + 89. Suppose 2*r + 2*r = -2*t - 2, -t + 3*r = -i. Suppose 3*z - 12 = z. Are z and t nonequal?
True
Suppose -5*n - 11 = -3*d + 6, 4 = -n. Let p = 21 + -21. Let o be 24/8 + (0 - p). Do o and d have the same value?
False
Suppose -437 = -2*b + f, 13*b + 650 = 16*b + 4*f. Let y = b - 187. Are y and 33 unequal?
True
Suppose 0 = 4*c - 2*p - 16832, 3*p - 10960 = -5*c + 10058. Which is greater: c or 4207?
4207
Suppose 4*p - 1000 = 5*w, 3*p = -0*w + 3*w + 747. Let g = -846 + 1091. Are p and g non-equal?
False
Let l = 5366 - 5365. Does l = -7/379?
False
Let p = 243 - 241. Let f = 22 - 18. Let m = 3.86 - f. Is m greater than p?
False
Suppose -u + 4*l - 12 = 0, 4*u - 4*l = -0*u - 24. Let s(m) = -13*m + 7. Let c be s(u). Let q = -58 + c. Which is greater: q or -2/13?
q
Let g = 0.302 - 0.262. Let t = 31 + -16. Let q = t + -15.2. Which is greater: g or q?
g
Let g = -184 - -197.7. Let y = -1.07 - -14.77. Let c = y - g. Is c less than -7?
False
Suppose -2*t = 2*i, 0 = -2*i + 5*t - t + 24. Let w be (-2 + (-3)/(-3))/(-1). Let h be w*i - 92/16. Which is greater: -0.2 or h?
-0.2
Let i = -7771 - -7770. Which is bigger: -31.45 or i?
i
Let p be 1451/4 - (-121)/(-1452). Which is smaller: 363 or p?
p
Let u = -202 + 205. Suppose 10*b = 7*b - 3*h - 546, 546 = -u*b - h. Is b bigger than -182?
False
Let k = 6104 - 3264. Is k at most 2841?
True
Let r = 5817/10 - 581. Let v(t) = t**2 - 7*t + 1. Let k be v(0). Which is greater: k or r?
k
Let d = 1 - -10. Suppose -d*c = -5*c. Suppose o - 14 = -2*g, c = -5*g + 3*o + 6 + 7. Is g at least as big as 4?
True
Let h = 0.058 + -38.058. Let y = h - -48. Let b = y - 10.1. Which is bigger: 0.08 or b?
0.08
Suppose 1017 = 3*t + j + 194, 3*t - 835 = 5*j. Suppose 4*r = t - 59. Do r and 49 have different values?
True
Let y = 5712 + -274165/48. Suppose 0 = 1987*d - 1427*d + 560. Is d bigger than y?
False
Let n be 34/51 - (6 + 16/(-3)). Which is smaller: n or 96/109?
n
Suppose -2*z - 5*n + 148 = 0, -5*z = -n - 358 + 15. Let h = -266489/2 + 133313. Is z at least h?
True
Let q(i) = i**3 + 7*i**2 + 3*i + 8. Let d be q(-7). Let o be 6/(-21) - (-102)/14. Let v be (o + 0)*(-36)/21. Do d and v have different values?
True
Let b(s) = 6*s. Let m be b(-8). Let l be (m/(-1456))/(9/(-4)). Is 1 at most as big as l?
False
Let u be -1 + 4 - (-47 + -8). Let h be ((-6)/u)/((-66)/44). Do -16 and h have the same value?
False
Let l = 147.4 + -53.9. Do l and -1 have the same value?
False
Suppose -2*b + 49 + 53 = -36*b. Which is greater: 0.37 or b?
0.37
Let u = 26597447/624 + -255743/6. Let p be (-60)/256*4/(-9). Let n = u + p. Is n < 0?
False
Let z(b) = -73*b - 1163. Let w be z(-15). Which is smaller: w or -70?
-70
Let u = -99344885/829 - -119837. Which is smaller: u or 0?
u
Suppose -3*r = -5*a + 37, -2*r - 4*a = -r + 35. Let o = r - -20. Which is smaller: o or -1/161?
-1/161
Let y(l) = l**3 + 26*l**2 - 5*l + 116. Let u be y(-27). Is u smaller than -474?
True
Let s = -22161 - -22135. Let q(b) = 2*b**3 + 4*b**2 + 5*b + 4. Let g be q(-3). Is s not equal to g?
True
Let x(z) = z**3 - 16*z**2 - 4*z - 33. Suppose 11 + 4 = 5*b, 5*b - 47 = -2*l. Let j be x(l). Let p = -83 - j. Is p equal to -0.1?
False
Let t be ((-1891)/(-93))/(1 - (-2)/(-3)). Let x = 0 - t. Which is smaller: -62 or x?
-62
Let s = -8.2 - -8.1. Let r = 0.061 - 0.241. Let b = r - 0.32. Is b at most s?
True
Let x = 69/395 + 2/79. Let p be (-7)/(35/(-20)) + 59 - (-2 + 5). Is p greater than or equal to x?
True
Let g(c) = -c**3 + 6*c**2 - 2*c - 6. Let w be g(4). Suppose 4*y = -w - 10. Let m be -2*6/(-42) - (-2)/y. Does 1.1 = m?
False
Let d = -0.03144 - -1264.13144. Let o = 1264 - d. Let u = 45 - 136/3. Which is bigger: u or o?
o
Let x be (6/16)/((-4)/(-32)). Suppose x*k - f + 4 - 6 = 0, -5*f - 28 = 3*k. Which is smaller: 1/217 or k?
k
Suppose -3*z - 40 = -145. Do z and 12 have different values?
True
Let u = 79.9 - 633.9. Let j = u + 551.19. Let o = 2.9 + j. Which is smaller: 0 or o?
0
Let y(i) = 71*i + 6890. Let b be y(-40). Is b > 16199/4?
True
Let d = -37366 - -37366.01582. Is d >= -2?
True
Let d = -926 + 927. Is d at least 2/8305?
True
Suppose 130415 + 79725 = -143*w + 57416. Are w and -1068 equal?
True
Let l = 31641 + -31625.37. Which is smaller: 3 or l?
3
Let y be -992*(-2)/(-6)*(-105)/70. Let w = y + -423. Which is bigger: 71 or w?
w
Suppose 4 = 2*a - 5*h, -3*a = 3*h - 21 + 57. Let c(p) = p**2 - 2*p - 24. Let m be c(a). Let o be ((-18)/m)/((-6)/16)*14. Is 12 <= o?
True
Let w be 2 + (15405824/7159691 - 4). Let p = -2/12947 - w. Which is greater: 1 or