ich is bigger: g or 1?
1
Let m(g) = 58*g**2 - 15*g - 51. Let v be m(-3). Let i = v - 1784/3. Are i and -78 nonequal?
True
Let f = -482.36 + 491. Let x = f + -0.64. Do -0.02 and x have the same value?
False
Let m be (12/34)/1*143/26. Is 4 < m?
False
Let a = -17174 + 16510. Which is smaller: a or -666?
-666
Let x = 268 - 394. Let a = 126.2 + x. Let q = 8.1 - 1.1. Which is smaller: a or q?
a
Let w = 1 - -3. Suppose -2*b = -5*r + 3*r - 10, w*b = 5*r + 22. Let p be ((-4)/20)/(r/4). Is 46 < p?
False
Let h(z) = -3*z**3 + 29*z**2 + 8*z + 20. Let k be h(10). Is 5/58 less than or equal to k?
False
Let f = -19396 + 19422. Are f and 11 nonequal?
True
Let u be (30/(-36))/(-1*2/531). Let o = 220 - u. Let a = -1 - 0. Is a greater than or equal to o?
True
Let d = 1/124364 - -64171733/11317124. Which is smaller: d or 7?
d
Let o be (-3 - (4 - 1))*4/(-8). Suppose -5*b + o*k = -7 - 1, -b - 3*k = 2. Which is smaller: b or -8/19?
-8/19
Let f = 2/243 - -10160/5589. Let i = 172/69 - f. Which is smaller: -110 or i?
-110
Let p = -0.011 - 8.989. Let o = p + 7.9. Let b = o + 0.7. Which is smaller: 4 or b?
b
Suppose 0 = 2*g - 2*l + 5806, 4*g - 8685 = 7*g + 5*l. Let t be g/125*(-75)/(-6). Is t at least as big as -289?
False
Let q be (-134)/260 + 6/(-60). Let f be 4/2 + 6225/4810*-2. Let x = q - f. Which is bigger: x or 1?
1
Suppose 27*b - 8366 = -67*b. Let v = 198 + -298. Let d = b + v. Is -1/4 smaller than d?
False
Let q be 320/(-384) + 21/(-18) - (2 - -408). Is q >= -4123/10?
True
Let r = 66.961 + -67. Let j = 0.849 + r. Let q = -0.51 + j. Is 0.03 >= q?
False
Let i = 1414 + -759. Let b = -654.58 + i. Is b greater than 1/2?
False
Let v = 2781 + -2781. Which is smaller: 10278 or v?
v
Suppose 0 = -107*z + 104*z - 2*t - 59, 3*t + 21 = 0. Is -31 greater than or equal to z?
False
Let j = 0.598 + 1.402. Is j less than or equal to -158/9?
False
Let w be 7/(-5) - (-3558)/170. Is 19 greater than or equal to w?
False
Let k = -429490/17 - -25264. Which is smaller: k or -1/559?
k
Let r = -605 + 234. Let j = r + 403. Which is smaller: 158/5 or j?
158/5
Let g be ((-3212)/(-584))/(22/(-4)). Let b(i) = 2*i + 12. Let q be b(-8). Let y be (-1)/q - (-62)/8. Which is greater: g or y?
y
Let i(o) = -7*o - 16. Let a be i(5). Let w = a - -55. Let j be (4/(-668))/(6/w - 2). Which is bigger: 1 or j?
1
Let x = -7636/5355 + -2/765. Let s = -18696 - -18697.5. Is s bigger than x?
True
Let n(u) = -u**2 + 5*u - 6. Let g be n(3). Suppose -2*m = -3*z - 81, m - 2*m = -z - 39. Is g smaller than m?
True
Suppose -3050*q = -3052*q - 2*r + 900, 2*q = -5*r + 909. Which is bigger: 448 or q?
448
Let h(n) = -n - 6. Let l be h(-4). Let s = -26 + 10. Let w = 13 + s. Which is smaller: l or w?
w
Let n(z) = 2*z**2 - 6*z - 18. Let u be n(-2). Suppose -4*s + 0*s = -3*i - 80, u*s + 2*i - 40 = 0. Let f be 4*25/s + -3. Are 2 and f unequal?
False
Suppose 2*h + 1622 = 4*c, -5*c + 0*h = 5*h - 2035. Let b = -407 + c. Let s = 1/29 + -137/609. Is b less than or equal to s?
True
Let q be ((-17)/5 + 4)/(2/170). Suppose -q = -y - 3*j - j, -2*j + 47 = y. Is y at least 42?
True
Let f = 203 - 165. Let n = -38 + f. Is n less than 0?
False
Let a = 63 + -63. Let o be (-2152)/(-4)*(a/1 + 2). Let g = -43037/40 + o. Is g less than or equal to 1?
True
Let s be (-8289)/(-172634)*37 - -2. Let w = s - -3046/649. Let x = w - -4/133. Is x at least as big as 10?
False
Let j(z) = z**3 + 10*z**2 - 11*z + 2. Let q be j(-11). Suppose 16 = 5*x - 3*x + c, q*c = 3*x - 10. Which is greater: x or -4?
x
Let k = 25826.4 - 25785. Is -2.1 at most as big as k?
True
Let r = 1315.9438 + 0.0562. Which is bigger: r or 0?
r
Suppose 12*u = -0*u. Suppose a - 2*a + 21 = 4*b, -3*b - 3*a + 18 = u. Suppose -2*j = -b*j - 3. Is j greater than -3?
True
Let r(m) = -9*m + 219. Let d = 143 + -109. Let x be r(d). Is x != -265/3?
True
Let u(z) = -3*z**2 - 10*z + 2. Suppose -5*p + 7*p + 12 = 2*c, -4*c = -5*p - 30. Let l be u(p). Let o be -3*1*1/(3/l). Which is bigger: o or 47?
47
Let v(q) = -q**2 + 20*q - 82. Let g be v(14). Let x = 87 - -36. Let s = 88 - x. Which is bigger: s or g?
g
Let t = -0.12399 + 206.12399. Which is smaller: t or -0.26?
-0.26
Suppose 336 = 37*y - 34*y. Let p = 116 - y. Suppose 3 = -p*i + i. Which is greater: 1/145 or i?
1/145
Suppose -4*o + 22*o + 2370 = 15*o. Is -791 greater than o?
False
Let f = -1040 + 2148. Which is smaller: 1106 or f?
1106
Suppose -6*f = -7*f - 2. Let i be 8/(-2)*(54/(-8) - f). Which is bigger: i or 15?
i
Suppose -h - 4*m - 2 - 8 = 0, 5 = 4*h + m. Let s be 1977/(-566) - (h + -1). Let n = s + -2/283. Which is greater: n or -6?
n
Let w = -40 - -122/3. Let l(n) = n**3 - 16*n**2 + n - 16. Let o be l(16). Let p be 66/44*(o + 8/30). Is p less than or equal to w?
True
Let j = -35 + 35. Suppose -17*o + 9 - 94 = j. Is 3 bigger than o?
True
Suppose -h - 2*v = -3, -4*h - 2*v - 1 + 7 = 0. Let m be -2 + (5 - 1/(h - 0)). Let t be ((-1)/m)/(209/110). Which is smaller: -1 or t?
-1
Let l = -10649043 + 12352889139/1160. Let v = 2/145 + l. Which is bigger: v or -1?
v
Suppose -2*q - 136 = 42. Let g = 56455 + -56544. Is q smaller than g?
False
Suppose 5*q = -4*j + 645, -3 + 2 = -q. Let p = -159 + j. Which is smaller: p or 2/49?
2/49
Let g = -116 - -111. Let r(b) = b**3 + 13*b**2 + 16*b - 7. Let n be r(g). Is 113 smaller than n?
False
Suppose 0 = -2*b - 0*b + 354. Let z be 2/(8/b)*(-2)/3. Does z = -29?
False
Let w = -845 + -155. Which is greater: w or -4?
-4
Let g = -3505 + 3995. Suppose -w + 4*d - 9 = -0*d, 4*w - 2*d = 6. Let o be (-133)/g + w/15. Which is greater: o or -1?
o
Suppose 7*d = 2*d + 4*l - 28, 4*l - 20 = 3*d. Suppose 0 = -2*p + k + 84, 0 = 5*p - 2*k - 13 - 197. Let q be d/(-2) - p/21. Which is greater: 10/7 or q?
10/7
Let g(t) = -4*t**2 - t + 3. Let m be g(2). Let w be ((-1)/995)/((-9)/m). Let k = 8947/4776 - w. Which is greater: k or 3?
3
Let r = 207877/9554181 + -1/17277. Let y = r + -8980/6083. Let o = y + 373/264. Which is smaller: 0 or o?
o
Let b be (-2805)/(-315) + -9 - 2/(-21). Which is smaller: -20/1569 or b?
-20/1569
Let z be 1*(1 - (-9)/(-8)). Let k be 10/3*15/10. Let m be k + 2/2*-1 + -3. Which is smaller: m or z?
z
Let n be (-337041)/(-13) + 32 + (-13408)/416. Which is smaller: 25925 or n?
25925
Let u = 459 + 645. Do 1103 and u have different values?
True
Let z = -3.496 - 37.504. Which is greater: z or 0.23?
0.23
Suppose -4*l + l + 5*x + 179 = 0, 2*l - 111 = -5*x. Let g = l - 53. Suppose -t + 4*t = 6, g*t = -2*f. Which is smaller: -4 or f?
f
Let a be ((-90)/130)/(((-1)/4)/((-6)/36)). Is a <= -2/2001?
True
Let g = 157/4 + -40. Let u = -0.0368 + 0.3168. Is u smaller than g?
False
Let l = -415 + 319.6. Let m = l + 96. Which is greater: m or -0.06?
m
Let g(t) = t**3 + 16*t**2 - 21*t - 42. Suppose 4*u = 4*q - q - 56, u = -2*q - 25. Let x be g(u). Let o(m) = m + 27. Let k be o(0). Is k > x?
True
Let y = 1 + 0. Let q = -8406 + 453925/54. Do q and y have different values?
True
Let h = -289 + 289. Let y = h - -90. Which is smaller: y or 92?
y
Suppose g + 5*q + 358 = -312, 3*q - 662 = g. Is -1991/3 less than g?
False
Let l = -6 - -4. Let k(y) = -5793*y - 11577. Let j be k(-2). Which is smaller: l or j?
l
Let j = 11 + -8. Let w = -981 + 988. Suppose 5*y + 5 = 5*o, 5*o - w*o + 3 = -j*y. Which is greater: o or -6/25?
o
Suppose 0 = 3*g + 3*g + 660. Let t be 42/g + (2 - 80/44). Which is bigger: t or 2/5?
2/5
Let m(k) = 12*k - 33. Let z be m(3). Let y be (67 + 2)/(1 - z). Which is bigger: y or -35?
y
Let m = 50557/63619 + -90/113. Let y = -560/1689 + m. Is 8.1 >= y?
True
Let s = -3136 - -3134. Which is smaller: s or -44/15?
-44/15
Let g = -4889/162 - 26/81. Let p = -30 - g. Let h = -105.8 - -106. Which is bigger: h or p?
p
Let v = -94.8725 - -0.8125. Let z = -2574 + 2668. Let i = v + z. Which is smaller: i or -3?
-3
Let b be 1442/3640 + 6/(-15). Let j = -12289341 + 28757056891/2340. Let t = b - j. Which is greater: t or -1?
t
Let x be (2/3)/((-30)/1755). Let q be (-74095)/x - 12/(-18). Let i = 1903 - q. Is 2 less than i?
True
Let u be 4008/1710 + 336/(-144). Is u >= 107?
False
Let g = 11434 - 11433. Is 3/1621 less than or equal to g?
True
Let o = 23.67 - 24. Let c be ((-2)/3)/(282/846). Which is greater: c or o?
o
Suppose 0 = -10*w + 7*w - 8*u - 641, -667 = 3*w - 5*u. Is w equal to -147?
False
Suppose 4*r + r - 10 = 0. Suppose -n - 5*q + 19 = -r