9/880. Which is bigger: z or g?
z
Suppose 188*a = 164*a - 432. Which is smaller: -123/7 or a?
a
Let p be 798/(-722) + (-2)/(-19). Let b = -620/77 + 120/11. Which is bigger: p or b?
b
Suppose 16269*o - 16255*o = 14070. Is 1009 at most as big as o?
False
Let i be (-3 - 21/(-14))*2. Which is smaller: -1 or i?
i
Let j = 1.959 + -0.349. Let z = j - -59.39. Which is greater: 1 or z?
z
Let q(c) = -3*c**2 - 10*c - 6. Let m be q(-7). Let z be 5/((-25)/(-1215))*(7 + (-132)/18). Which is greater: z or m?
z
Let w = -2283 - -2283. Which is smaller: -0.17 or w?
-0.17
Let z be (12/(-112))/(-3)*6. Suppose 0*d - 18 = -d. Suppose 11 - d = -7*o. Is z < o?
True
Let b = 6 - 8. Let w = 2152 - 2160. Is w less than or equal to b?
True
Let l = 171 - 170.564. Let a = l + -0.136. Let r be (-9)/15 - (-6)/(-15). Which is greater: r or a?
a
Suppose -313*t + 6933 - 59 + 1890 = 0. Which is bigger: t or 43?
43
Let t be (-4)/((-2)/(-1)) + 4. Let f = -2799442/4339039 + 2/139969. Which is smaller: f or t?
f
Let o(c) = -c + 22. Let f(u) = -3*u - 3. Let b be f(-1). Suppose b*a - 88 = -4*a. Let i be o(a). Is i equal to 3/37?
False
Suppose v = -4*u - 11, 0 = -v - 3*v - 3*u + 8. Suppose 2*y + 12 = -v*a - 29, -5*y - 55 = 3*a. Which is smaller: -6 or y?
y
Let m = 50/27 - -10/27. Suppose -5*r + 108 = 2*i - 14, -r + 3*i + 21 = 0. Suppose -25*h = -r*h - 3. Is m equal to h?
False
Let y = 0.436 - 0.636. Is -214 at least as big as y?
False
Suppose 2*n - 2*u + 4216 = 0, 3412 - 9730 = 3*n - 4*u. Which is smaller: 1/4 or n?
n
Suppose 22675 = -5*a - 5*n, -a - 2*n - 2168 = 2362. Is -4542 < a?
True
Let p be (-2 - 26/(-4))*2. Let r be (-1)/(p/(-10)) + (-9)/3. Let d be (-6 - -5)*(0 + 1). Which is smaller: d or r?
r
Suppose -21*a = 91329 - 18837. Is -3452 bigger than a?
False
Let g(s) = -42*s + 67. Let c be g(4). Let o = c + 100. Are 1/201 and o nonequal?
True
Suppose -11288 + 2606 = 167*w + 6650 + 5376. Let i be 1 + -126 - (-1 - 0). Is i not equal to w?
False
Let d be ((-14)/(-6))/((-3 - 5)/(-2928)). Is d at most as big as 853?
False
Let v = 38 - 44. Let t be ((-10)/(-6))/((-15)/(-54)). Let z be ((-13)/156)/(2/t). Does v = z?
False
Let p(x) = x**2 + 28*x - 1127. Let c be p(-35). Is c <= -880?
True
Suppose -223*u - 2465471 = -2117295 + 6475624. Is u at most -30600?
True
Suppose 0 = 2*r - 4*k + 28, -4*r + 3*k = -590 + 611. Which is smaller: r or 14/1721?
r
Suppose 12*h - 16*h = -3*w - 10519, -w - 3498 = -3*h. Let b = 59751/17 + w. Is b less than or equal to 2?
True
Let b be (1 - 1) + 10660/364. Let c = 629/21 - b. Is 179 > c?
True
Let q = -113/5 - -909/40. Which is smaller: 2 or q?
q
Suppose 2*r - 90*n - 9883 = -87*n, -2*n - 24735 = -5*r. Which is greater: r or 4950?
4950
Let q = -45 - -47. Let c(z) = 34*z - z**2 + 2*z**q - 24*z. Let f be c(-10). Is 2 less than or equal to f?
False
Let s = -26247 - -26242. Which is greater: s or -0.962?
-0.962
Let f be -2*1*(0 + 1). Let d be (-37)/(-43) + f/2. Let q be ((-2)/8)/((-9)/36). Which is smaller: q or d?
d
Suppose 4*k - 573 = 8*k + g, -4*k - 583 = 3*g. Is -853/6 less than k?
True
Let n be ((-4)/10*-22)/((-8)/420). Let v be 385/n*(0/(-1) - -3). Which is smaller: v or 30/7?
v
Suppose -5*m - 104 = 626. Let z(y) = -y**2 + 556*y + 11374. Let b be z(-20). Is b at least as big as m?
True
Let b = 1264210521451/317 + -3988050408. Let g = 4599 + b. Which is greater: -1 or g?
g
Let r = -2435 + 12236/5. Let f = 59/5 - r. Let i = 19 - 169/9. Which is bigger: f or i?
i
Let s = 2634/59 - 25801/944. Is s smaller than 18?
True
Suppose 2*s = 11 - 3. Suppose -2 = 2*h + s*i + 8, 3 = -3*i. Let c = -18997/5068 + -2/1267. Which is smaller: c or h?
c
Suppose 5*u - 3*c + 110 = 0, -u + 3*c - 18 = 16. Let t = u + 20. Let x = -80783/151 + 535. Is t <= x?
False
Suppose -u - a + 5 = -3, 5*a = 15. Suppose 0*x - 5 = x, 0 = -u*b + 5*x + 645. Is b greater than or equal to 124?
True
Let m be 11/(-10)*(278/2363 - 1390/(-34)). Are -46 and m equal?
False
Let x = -22 + -2. Suppose 0*y - 3*y - 51 = k, 2*y = -2*k - 30. Let s = y - x. Which is bigger: s or 9?
9
Let s be 1 - (-1965)/(-54) - ((-90)/20 - -4). Is s greater than or equal to -34?
False
Let w = -447.8 - -448. Let v = 0.2 + -0.26. Let q = 0 - v. Which is smaller: q or w?
q
Let w(b) = -b**2 + 29*b + 5. Let u be w(18). Let c = u - 197. Which is smaller: c or -8?
-8
Let p = -252065 + 251446. Let u = -1140 - -522. Does p = u?
False
Let v = -0.2 + 0.4. Let k = 4.2326 + -0.0326. Let o = k - v. Which is smaller: o or 0?
0
Let m = -7781 - -6232. Which is bigger: 0.1 or m?
0.1
Let m = -15906 - -15904. Which is smaller: -31/41 or m?
m
Let j(z) = 3*z**2 - 5*z - 12. Let b be j(9). Which is smaller: b or -4?
-4
Let v = -4857 + 1180250/243. Is v less than or equal to 1?
True
Let i = -406307 + 16843862993/41456. Is 0 at least i?
False
Let w = -276.79 - -42.69. Let h = -234 - w. Which is smaller: h or 0.26?
h
Suppose -3*v + 2*u = 32, 2*v = -2*u + 6*u - 16. Let s(m) = 35*m + 1. Let q be s(-6). Let o = 197 + q. Is v >= o?
True
Let z be 614 + -8 + -15 + 11. Is z bigger than 599?
True
Let c be (27 - (-4 - -6)) + -4 + 0. Suppose 33 = -4*f - 51. Let w = c + f. Do -2/3 and w have the same value?
False
Suppose 3*s - 33 = 5*m + 79, -s + 5*m = -44. Suppose o - w = -54 - s, 3*w + 12 = 0. Is o at most -94?
False
Suppose -c = d - 5, -5*d = 5*c - d - 20. Suppose 0 = -3*u - c*u - 4*g + 1897, 5*g = 5. Is 631 bigger than u?
False
Let q be ((-50)/(-7))/(1830/910 + -2). Which is greater: q or 651?
651
Let i = 17664 - 18978. Which is smaller: i or -1318?
-1318
Suppose 15899*j + 32550 = 15906*j. Is j greater than 4651?
False
Let x = 0.2182 + 0.6818. Do x and 15/2 have the same value?
False
Let z be (60/(-3925))/(40/200). Which is smaller: 1 or z?
z
Let b = -86.1 - -88.1. Is -1297/5 greater than b?
False
Let y = 35613/861695 - -8/2921. Which is bigger: y or 0?
y
Let j(q) = -11*q + 351. Let z be j(32). Is z smaller than 25.46?
True
Suppose -4*g = 13*g - 34. Suppose -4*p - g*d + 6 = 0, -4*d = -2*p + p - 21. Is 5/3 at most as big as p?
False
Let b = -97 - -99. Suppose -200 = q - 5*p, 4*p + 26 = -b*q - 360. Do -196 and q have the same value?
False
Let z = 2533 + -2533. Let h = 70126/12025 + -216/37. Which is smaller: z or h?
h
Let n = -0.4 + 0.4. Let x = -9.012 - -8.9. Let i = x + -0.018. Is n smaller than i?
False
Let p = 509 + -200. Let q be ((-2)/57)/(2/p) - -5. Is q <= 1?
True
Suppose 289 = -7*f - 4*f + 300. Is f at most as big as -6/115?
False
Let q be (-78)/273*9/276. Are q and 0 equal?
False
Let n = -99 - -117. Let o = n - 107/6. Which is smaller: 14 or o?
o
Let g(j) = -j**2 + 18*j - 15. Let l be g(17). Suppose -c = 4*o - 15, -5*o + 4*o + 2 = l*c. Which is smaller: 1/206 or c?
c
Let g be -13 + 3 + -3 - 5. Let y = g - -30. Suppose y = 17*t - 634. Which is smaller: 37 or t?
37
Suppose -5*o = o - 392 - 580. Is 157 <= o?
True
Let d(z) = -12*z + 16. Let m be d(8). Let t = 212 + m. Suppose g = 12*g + t. Is g less than or equal to -11?
True
Let m be -5*3/15*-3. Suppose 3*p = -p - z - 220, -m*p + 2*z = 176. Let n = 4 - 61. Which is smaller: p or n?
n
Let t be 76/10*(-94600)/(-4472). Which is greater: 161 or t?
161
Suppose t = -0*t - 6. Let j = 1496/39 - 18640/429. Which is smaller: j or t?
t
Let u = 6345 + -6328. Is -189 <= u?
True
Suppose 2*f = 3*x - 25, f + 7*x = 2*x + 20. Suppose -3*y - 2*b + 20 = -5*y, 3*y + 3*b = 0. Let t be 1705/(-330) - (y/(-6) + -1). Are f and t unequal?
False
Suppose 31*h - 20 = 28*h + u, 4*h = u + 26. Let l be ((-2)/4)/((h - 8)/632). Is 159 <= l?
False
Suppose -2*g = 2*r - 78, 3*g = 4*r + 153 - 288. Let s(k) = -10*k**2 + 2*k. Let i be s(-2). Let d = -8 - i. Is d greater than r?
False
Let o(g) = g**2 + 4*g + 2. Let t be o(-1). Let j = 87 - 130. Is j greater than t?
False
Suppose 5*h = 2*k + 325, -13 = -5*h - 38. Let a = -125 - k. Let d(u) = -u**2 - 21*u - 41. Let r be d(-15). Is r != a?
True
Suppose 60 = -14*m + 19*m. Let h be -2*(19 + -3)*-1. Suppose 4*y - 4*k = h, 0*y = -y + 4*k + 2. Which is greater: y or m?
m
Let c = -3.6 - -4. Let i = 111.78 - 108. Let x = -3.88 + i. Which is bigger: x or c?
c
Let c = -63/608 + -887973/3040. Which is smaller: c or -291?
c
Let i = 270 + -270. Let r be i + (-4 + 0 + 3)*-4. Is r less than or equal to 31/10?
False
Let m be (-2)/(51/(-45) - -1). Let l = 5407 + -21563/4. Are m and l unequal?
True
Let t(o) = o**3 - 9*o**