(-2660176)/(-1182272) - ((-39)/4 + 12). Which is greater: q or 1?
1
Let a(i) = 48*i. Suppose -3*b = -16 + 13. Let d be a(b). Let g be d/120 - (-117)/(-5). Which is smaller: g or -25?
-25
Suppose 4*c = 5*j - 9, 3*c + 3*j = 6*j - 6. Let o be ((-33)/336)/(1/153). Let p = -103/7 - o. Is c < p?
True
Let w(t) = t**2 + 3*t - 10. Let j be w(-7). Let u = 20420 - 20403. Is j not equal to u?
True
Let x = -29617 - -18887. Which is greater: -10729 or x?
-10729
Let c be -23 + (-50)/120*353. Is -169 smaller than c?
False
Let k = 10726 - 10726. Which is bigger: k or -2943?
k
Suppose 319 = 5*k + 4*s, -2*k - 2*s - 209 = -5*k. Which is bigger: -11 or k?
k
Let n = -13105 - -13106. Is n at least as big as -4/751?
True
Let c = 258544/7 + -37018. Does c = -82?
False
Let z = -287 + 511. Suppose 0 = 5*c + 4*f - 566, -4*c + 4*f = -6*c + z. Which is smaller: 117 or c?
c
Let r = 2 - 1. Suppose 2*z = 3*y - 8, 0*y - 9 = -z - 5*y. Let p be ((-1)/(-18 - 5))/z. Is p smaller than r?
True
Let u(q) = -q**3 - 2*q**2 - 5*q - 3. Let v be u(3). Let m = v - -84. Let c = m + -39. Is -16 less than c?
False
Let l = -7/5136 - -3507923/25680. Let z = -10243/75 + l. Is 0 smaller than z?
True
Suppose 5941 + 10007 = -6*n. Let i be 6/(-9) + (3 - n/(-90)). Which is greater: i or -28?
i
Let f(j) = 26*j**3 + 3*j**2 - 2. Let c be f(1). Let t be 100 - (36/c)/((-2)/6). Let y = -115 + t. Is y > -4?
False
Let a = 595 + 1894. Suppose -a = 6*r - 749. Are r and -291 non-equal?
True
Suppose -12 = -2*c + 5*a, c + 4*a = -3 - 4. Let x be c/(-15) - 21/35. Let l = 12 - 4. Is l >= x?
True
Let r be 420/(-400)*(-45)/14. Let u(p) = -2*p**3. Let w be u(-1). Suppose -5*v = i + i - 14, -w*i + 2 = -v. Which is smaller: i or r?
i
Let r be -2 + -1 - (-33 + 2). Suppose -t + 2*t - r = 0. Suppose 39*l - 43*l - t = 0. Do -6 and l have the same value?
False
Let f = 15.57 + -117.47. Let s = 102 + f. Is s greater than -410?
True
Let p = -4 + 4.091. Let n = 116.091 - p. Which is smaller: n or 0.1?
0.1
Let w(v) = -v**2 + 88. Let y be w(0). Let z = -242 + 323. Let a = z - y. Is -5 at least as big as a?
True
Let n = 26.09 + -77.26. Let l = 51 + n. Are l and -1/3 non-equal?
True
Suppose 0 = 103*z + 4*z + 107 - 214. Are z and -54/121 unequal?
True
Let j be 7/42 - (470/12)/(-5). Suppose -j*r - 30 = -3*r. Let l be 55/22*6/5. Which is smaller: l or r?
r
Suppose -2*i + 54*z - 51*z = -16, 4*i = -2*z. Is i greater than or equal to -1013?
True
Let x = 1788.85 - 1789. Which is bigger: x or 34?
34
Let k = -193 + 337. Let z = -80 + k. Let a = 64.1 - z. Is 16/5 at most as big as a?
False
Suppose -a + 48 = a. Let o be (-4 - 34/(-8))/((-12)/(6528/(-8))). Which is bigger: o or a?
a
Suppose -91*j = -37*j. Which is smaller: -56/85 or j?
-56/85
Let s = 17 - 78. Let g = 29 + s. Let c = -1597/21 - -229/3. Is g bigger than c?
False
Let a be 58476/(-990) + ((-40)/50)/((-1)/5). Is -56 < a?
True
Let t = 511 - 772. Let q = t - -6523/25. Is 4 equal to q?
False
Let s be 32554/(-205)*(-440)/(-8). Which is bigger: s or -1/2?
-1/2
Suppose -5*h + 4*h = -1. Let l be 9*(0 - h)*(-6)/(-9). Let k be (l - 160/(-27))/(2/3). Is 2/7 less than k?
False
Let i(t) = -t**3 + 2*t**2 + 9*t - 21. Suppose g = -2*g + 9. Let d be i(g). Which is bigger: -21 or d?
d
Let n = -39 - -44. Suppose 6*j - n = 19. Let g be j/1 - (-204)/(-72). Which is bigger: 1 or g?
g
Let t(m) = 30*m**2 - 9*m + 15. Let n be t(4). Let k = n - 492. Is k less than or equal to -31?
True
Let b(v) = -35*v + 66. Let t be b(2). Let h(w) = 26 + 0*w - w + 10*w - 3. Let o be h(t). Is o > -2?
False
Let c be 102/1071 + (-19465)/204015. Which is smaller: c or -1?
-1
Let b = 0.4416 + 2272.5584. Which is smaller: -2 or b?
-2
Let u be 31/(5301/38)*78/(-28). Is u greater than or equal to 1?
False
Let v be (-2)/(-8) + (-3068)/8112. Let w = v - -128/897. Which is smaller: 0 or w?
0
Let p be 378/(-12)*(-574)/21. Suppose p = -4*w + 9*w + j, -w + 189 = -4*j. Is 173 less than w?
False
Let f = 1303 - 1304. Which is greater: f or -41.3?
f
Suppose 24*q = -16*q + 680 + 2360. Is q > 307/4?
False
Suppose 0 = -2*d + 62 - 94. Let g = d + 19. Suppose -g*c + o + 8 = 0, 3*c - 3*o - 10 = 8. Which is bigger: c or -15/4?
c
Suppose 0 = -4*c + z - 9, -7*z + 12 = -3*c - 8*z. Let v be -14 + (1 - 2)/(-1). Let t = c + v. Is t >= -16?
True
Let t(b) = -b**2 + 43*b + 49. Let l be t(34). Let n = l + -1094/3. Is -11 greater than n?
False
Let k(c) = -12*c**2 + 16*c + 680. Let t be k(-26). Is t at most as big as -7848?
True
Let x be (-6 + 5)/((2 - 3)/1). Suppose 0 = 5*z - 4*z - 1. Let l be (z/15)/(20/(-6)). Is x at most as big as l?
False
Let x = -5710 + 5319. Which is greater: -0.1 or x?
-0.1
Let u = -38203 - -39311. Which is smaller: u or 11?
11
Let a = -3/34 + 145/102. Let k be (1712/(-535))/((-27)/15 - 1). Are a and k equal?
False
Let r = 6647 + -1581983/238. Suppose -k + 1 = -2*y, 5*y - 609*k = -613*k - 9. Which is bigger: r or y?
r
Let z be 14/10 + -1 + 168/(-120). Let j be ((-4)/40)/z*(-6)/87. Let a(b) = 4*b + 19. Let h be a(-5). Are j and h non-equal?
True
Suppose -475 = 5*w - 4*s + 90, -2*w = -5*s + 209. Let h = w + 99. Is h equal to -18?
True
Let w = 81 - 78. Suppose 46 = -3*l + 2*u - 42, 0 = -3*l - w*u - 63. Let v be 40/(-22) + l/(-143). Are v and -2 unequal?
True
Let a = -12365 + 13776. Which is smaller: a or 1410?
1410
Let t = -31 - -41. Let m(c) = c**3 - 9*c**2 - 11*c + 21. Let y be m(t). Let x be 0 - (y + (4 - 3)). Is -12 not equal to x?
False
Let r be 2/21 + (-3282)/63 + -3. Let i be (-2)/(-5) - 8/r. Is i equal to 0.1?
False
Let g be -1*3 + 16/10 + 214/535. Is -7/285 at most g?
False
Let w = 1185 + -3593/3. Suppose -h - 31 = -2*l, -5 = h - 2*h. Let x be 8/(-6)*189/l. Which is smaller: w or x?
x
Let f be -3*(-472)/(36/(-6) + 3). Let h = -281 + -192. Which is greater: f or h?
f
Let n = 46.31 - 43.7. Let b = -1.29 - -0.68. Let c = b + n. Which is bigger: -8 or c?
c
Let q = -6426/11 - -42158/33. Which is bigger: 1/3 or q?
q
Let q be 1 + 1 + (-34)/14. Let d = 0.431 - -1.769. Which is greater: q or d?
d
Let p be 4083/(-12)*17/(-153)*-6. Is p < -227?
False
Let l(n) = -3*n + 22. Let b(r) = -7*r - 71. Let v be b(-11). Let x be l(v). Is -2/9 bigger than x?
False
Let k be 6 - (-102)/(-54) - 1/9. Suppose 4*q - 39 + 52 = 3*h, -2*h = -k*q - 14. Let p = -1 - 2. Which is smaller: q or p?
q
Let z(j) = -j**2 - 6*j - 5. Let i be z(-6). Let b(y) = y + 71 + 66 - 4*y**2 - y**3 - 212 + 73. Let q be b(i). Which is greater: q or 16?
q
Let d = -1039/3705 - -49/130. Is 1 less than d?
False
Suppose -22*p + 17*p = -55. Let t = p + -40. Do -30 and t have the same value?
False
Let a be 2644/((-1)/(-8) - 1462/688). Is a greater than or equal to -1319?
False
Let q be 10/(10/341) - 4. Let s = q - 1683/5. Is -214 less than or equal to s?
True
Let m be (126312/(-133))/((-6)/(-28)). Is m less than or equal to -4431?
True
Let t = 128174 + -6023670/47. Which is smaller: 12 or t?
t
Let u = -1.4 - -0.1. Let a = -21.8 - -14. Let v = 6.8 + a. Which is greater: v or u?
v
Let v = -5677 - -5677. Is v less than -24/139?
False
Let u be 1 - 8 - (80 + -64). Which is bigger: -441/19 or u?
u
Let q(b) = -2*b**2 + 67*b + 471. Let f be q(0). Does 0 = f?
False
Let n = 89 + -20.6. Let j = n + -67. Is j at least as big as -2?
True
Let l = -8.22 - -8. Let i = l + 0.22. Let d = -7244/17 - -426. Is d > i?
False
Suppose 5*w = 13 - 98. Let b(m) = -2*m**3 + 4*m**2 + 2*m - 4. Let x be b(3). Is x less than or equal to w?
False
Let l be ((-37)/(-144))/(-8*3/(-36)). Let y = 15/32 - l. Are 1 and y non-equal?
True
Suppose 8 = -2*c + l, 1 = c - 4*l + 5. Which is smaller: c or -139/40?
c
Let s = -359/5379 + 1/163. Let f be (-290)/(-15)*(-1)/44. Let i = s + f. Which is smaller: i or 1.2?
i
Let k = 20 + 22. Let r = -2015.2 - -2057. Let d = r - k. Which is greater: d or 0.6?
0.6
Let w(r) = r - 42. Suppose -5*q + 114 = 24. Let j be w(q). Let s = j + 24. Which is bigger: -2/17 or s?
s
Let k = -95899736/3677227 - -765961573754005/595901989804. Let p = 6989/5588 - k. Let n = -1258 - p. Which is smaller: n or -1?
-1
Let z = -21928 - -35800. Which is greater: 13871 or z?
z
Let q = 25971 + -39455. Let m = q + 81389/6. Let d = -81 + m. Are 2 and d equal?
False
Let p = 48 - 48.06. Let n = 531 + -16455/31. Which is smaller: p or n?
p
Suppose 5*u + 10 = 4*a + a, 5*a - u - 26 = 0. Suppose -23*s + 35 = -16*s. Let j = 0 + 