be -2*(-6)/(-11760)*56. Let g = 1 - 2. Which is greater: s or g?
s
Let f be (11 - 10) + 32 + -3. Suppose -3*g = 3*v - 6*g + f, -5*v = -g + 66. Is v at most -43/3?
False
Let g = 937/186 + -58/31. Let f be 15/3 - (2 - 1). Are f and g non-equal?
True
Let v = -194 + 314. Suppose -4*q - 160 = -4*u - u, v = -3*q + u. Let b = 0.01 - -0.09. Which is bigger: b or q?
b
Suppose 33*f = 104*f + 101*f + 90128. Which is smaller: f or -532?
-532
Let c be 12/58*(-489)/(-6) - 6. Which is bigger: c or 11?
11
Let c(s) = 64*s + 78. Let f be c(-4). Let r = 269 + f. Which is smaller: 93 or r?
r
Let h be (98/11)/((-4760)/(-770)). Which is smaller: -3 or h?
-3
Let v(d) = 600*d - 600. Let g be v(1). Is g >= -28/65?
True
Let k be 0 - (1 - 1072/1071). Suppose -107*q - 2*p - 24 = -109*q, 0 = -10*q + 3*p + 29. Is q >= k?
False
Suppose 3*y = -4*b + 33, 6*y = 2*b + 2*y. Suppose -b*f + 0 = -18. Suppose -f*p = -6, 0*t + 2*p = 5*t + 4. Is -1/35 < t?
True
Let g = 478.1 + -477.5. Is g < -188?
False
Suppose 12 = 5*c - 17*c. Let m be 1*((c - -149) + 1). Let x be m/10 - (-2)/(-5). Is x greater than or equal to 15?
False
Suppose -5*p + 19 = 4. Suppose 5*n = 22*u - 21*u - 141, 2*u = -p*n + 321. Are 156 and u equal?
True
Let r be ((-69022)/(-786))/(9/(2133/(-2))). Let x = 10406 + r. Which is greater: x or -1?
x
Let p = -0.175 + 0.14. Let y = 2.207 - 2.142. Let n = y - p. Is n at most 7.1?
True
Let h = -12 - -20. Let q = -314 + 535. Let p = q - 221.1. Is h bigger than p?
True
Let g = 214 - 224. Let u be ((-18)/g*-2)/((-38)/(-95)). Is -7 at least as big as u?
True
Let j be (-230)/984 + (50/8 - 6). Let v = 215/10701 - j. Which is smaller: v or 0?
0
Suppose -b = -58 + 55, 0 = -3*h + 3*b - 9. Is h not equal to 12?
True
Suppose -3*h = 2*k + 6213, 2*h + 15*k = 11*k - 4150. Is h > -2070?
True
Let o = 0.5147 + -1.6127. Is o > 2?
False
Let u be ((-11)/8)/((-11)/22). Suppose -38*s + 40*s - 16 = 0. Let c be 119/28 - 2/s. Which is smaller: u or c?
u
Let u = -0.5844 + 1.5844. Which is smaller: -7404 or u?
-7404
Let w be 4*5/((-60)/(-87)). Suppose -20 = -116*p + 1604. Which is bigger: w or p?
w
Let w be 216/(-200) + 6/75. Let x = -39 - -16. Let r = x - -16. Is w smaller than r?
False
Let j be 168/(-860) + 2/10. Suppose 6 = l + 3, 3*b = l. Which is greater: b or j?
b
Let f be 8/2 - (-3 - (-1043 - -8)). Let y = f + 785. Is y less than -243?
False
Let t(v) = 2383*v + v**3 - 2388*v - 23*v**2 + 17 + 7*v**2. Let r be t(16). Do -60 and r have the same value?
False
Suppose -405*p + 65*p + 4253 + 6287 = 0. Suppose 89 = 3*c + 5*z, z + 90 + 11 = 3*c. Do p and c have different values?
True
Let l(s) = -34*s + 156. Let x(i) = -11*i + 52. Let m(g) = 4*l(g) - 11*x(g). Let p be m(4). Suppose 0 = 5*z + 2*o + 40, -5*z + o - 40 = -2*o. Is z bigger than p?
False
Let v be ((-13)/(-25220)*5)/((-6)/80). Is v < -1?
False
Let f = 36120478.027 + -36100514. Let r = 19950 - f. Let i = r + 0.027. Which is greater: i or 1?
1
Let r be ((-42)/9)/(232/(-3828)). Which is smaller: 69 or r?
69
Suppose 2*o - f - 183 = 0, 12 = -2*f + 6*f. Let x = 4732 + -4639. Is x greater than o?
False
Let r(u) = -2*u + 3. Let n be r(-2). Let x = n + 6. Let y = x - 14. Is 0 less than or equal to y?
False
Let o be (7 - 2114/9)*(-18)/(-63). Is -65 bigger than o?
True
Suppose 3*r = -5*m + 37, -11*r - 33 = -4*m - 10*r. Let f be ((-14)/56)/(1*(-2)/m). Is 4/219 greater than or equal to f?
False
Suppose m + 13 = 2*h, 16*h - 8 = 2*m + 15*h. Which is bigger: 20/321 or m?
20/321
Let w(q) = -21*q + 316. Let g = -437 - -452. Let p be w(g). Which is greater: -4/71 or p?
p
Let t(o) = -2*o - 1. Let v be t(-18). Suppose 30*q = v*q - 210. Let d = 42 - q. Is d at most as big as 1/8?
True
Let y be (-8)/((-1)/1)*(-33)/66. Let f be (3/y)/(-3*30/72). Is 0 at most as big as f?
True
Let r = -1706 - -1706.717. Let c = r + -0.617. Which is smaller: c or 248?
c
Let o be (3 - (-33)/(-22))/((-178)/36 + 5). Which is greater: -119 or o?
o
Let v(c) = c**2 - 7*c + 3. Let w be v(7). Suppose -w*q - 184 = -q. Is -92 smaller than q?
False
Suppose -2*d = 3*k - 437, 0*d = -3*d - 6. Suppose 2*u = -5*u - k. Let x = -942 + 923. Which is smaller: x or u?
u
Let w be 36/(-90) - (0 + (-31677496)/5990). Let p = 5288 - w. Is -1 greater than or equal to p?
False
Let x = 43.982 + 1.818. Is -0.1 at least as big as x?
False
Let r(x) be the third derivative of x**4/4 - 23*x**3/6 - 2*x**2 - 2*x. Let y be r(3). Which is bigger: y or -25/4?
y
Let r = 0.9697 - -1.0303. Is -1654/9 != r?
True
Suppose -2*m = 32 - 30. Let q be (-5 - -2) + 6*2 - m. Let j be (-105)/26*(-5)/q - 2. Which is smaller: j or -1?
-1
Let t be ((11 + 5)/32)/(11143/(-2)). Which is smaller: t or 0?
t
Let d(a) = -28*a - 143. Let v be d(-10). Suppose p + 135 - v = 0. Are 1/23 and p nonequal?
True
Let a = -111.3 - -111.38. Which is bigger: 0.406 or a?
0.406
Let a = 0.269 + -121.269. Let q = -77 - a. Let p = -43.94 + q. Which is smaller: 1/2 or p?
p
Let x = 24924 - 24919. Let t = 0.2 - 1.2. Is t equal to x?
False
Let p(j) = -j**2 + 50*j + 473. Let g be p(56). Is 415/3 < g?
False
Let o = 34.0148 - 0.0148. Let d = 71 - 35. Let n = o - d. Which is smaller: 6 or n?
n
Let y(g) = -g**3 - 9*g**2 + 71*g + 20. Suppose 23*i - 19*i = -56. Let k be y(i). Which is smaller: k or 10?
k
Let a(u) = -u**2 + 30*u + 139. Let z be a(17). Let f = 361 - z. Which is bigger: f or -2/13?
f
Suppose -2*i + 34 = 3*l, -5*l = 2*i + 2*i - 56. Let o be (-4)/((-4)/(l/21)). Let a = -932 + 922. Which is greater: o or a?
o
Suppose 4*x - 1370 = w, 2*x + 5*w = -x + 1039. Is x > 348?
False
Let l = -122 - -125.3. Let s = l + -2. Which is greater: 1/2 or s?
s
Let w(t) = t**2 + 10*t + 9. Let v be w(-1). Suppose 5 = s - 2*k + 13, -4*s + 3*k - 17 = v. Do -8/9 and s have different values?
True
Let j = 121.9 + -136.51. Let h = 10.34 + j. Let x = h - -0.27. Is x >= 2?
False
Let t = 2539 - 2541. Let g(k) = k**2 + 2*k + 1. Let h be g(5). Let y be (282/h + t/6)*-6. Is -44 greater than y?
True
Suppose 3*i + 13 = 25. Let g be ((-3 + i)*-4)/(8/16). Is g less than -8?
False
Let m = -402 + 144. Let t be (-780)/m - (-1 - -4). Which is bigger: -1 or t?
t
Let m = -80341 - -80523. Let r = 231 - 50. Is r greater than or equal to m?
False
Suppose -35*n - 2*m = -40*n + 3, 0 = 4*m - 4. Let b be 72/(-135) + (n - (-8)/(-10)). Which is greater: 0.188 or b?
0.188
Let g = 75.5 + -96. Let p = g + 31.5. Are -0.1 and p unequal?
True
Let u be ((-11)/22)/(437/1518). Is u greater than -2?
True
Let u(s) = s**2 - 2*s + 126. Let r be u(0). Let y = r - 76. Let q(m) = 12*m**2 + 4*m - 5. Let x be q(2). Which is greater: x or y?
x
Let g be (20/15)/((-16)/(-36)). Suppose -4*q + 5*p + 56 = -q, -4*p = g*q - 101. Are q and 26 unequal?
True
Suppose 9*f + 13*f - 190 = -14. Is f >= 72/5?
False
Let i = -3309 - -3273.62. Let n = 35 + i. Let s = 16.38 + n. Is -2 bigger than s?
False
Let g(q) = 5*q - 181. Let u be g(18). Let l be 0 + 20/8*(-2)/(-10). Is u less than l?
True
Suppose -41*w = -37*w - 2*j, 3*j - 5 = w. Is w not equal to -1317?
True
Let k be (-110 - -20332)*2/(-4). Is k != -10110?
True
Let k = -5350 - -5350. Let j be (-1 + (0 - -2))*153. Suppose -9*g - j = -k. Which is bigger: g or -3?
-3
Suppose 5*i = -3*w + 183, -w + 3 = 7. Let o be -37*(((-468)/63 - -7) + 12/(-21)). Is i greater than o?
True
Let t be 132 - 7 - (3 - 0). Let s = 20 - -104. Which is smaller: t or s?
t
Suppose -3*x - 15 = 0, k - 82*x = -81*x - 46. Let a = 123 - 174. Is k smaller than a?
False
Let l be 3 - 2*(-15)/(-8). Let z(g) = -g + 2. Suppose -h - 1 = 4*m - 8, -2*h - 2*m + 8 = 0. Let b be z(h). Is l less than or equal to b?
False
Suppose 5*j - 29 = -9. Suppose 5*x = 7*x + j. Let p be x/3*24/(-28). Is p at most -0.1?
False
Let p be ((-20620)/(-96) - 7/56) + (-20)/(-15). Which is bigger: 217 or p?
217
Let h = -4457 + 4456.9. Is -66 < h?
True
Let w = -323 + -6090. Let u = w - -13101/2. Let m = u - 143. Does -7 = m?
False
Let m = 44383/3 + -14187. Is 607 equal to m?
False
Let c = -2.1001 - -0.1001. Let f = -0.168 - -0.468. Is c at least as big as f?
False
Let g = 427 - 76005/178. Is -2/3 at least g?
False
Let j be (-15)/(-1 + -2)*(-10)/(-205). Let f = 166/267 + 4/89. Which is smaller: j or f?
j
Suppose -6*r = -5*a - 3*r + 881, 0 = 3*a + 5*r - 549. Let u be 637/39 + -18 - (-1084)/6. Is u > a?
True
Suppose -19*i + 3546 = 67709. Is -3376 >= i?
True
Let j = 139 