+ 112*b = 35*b - 1133568. Which is smaller: -6911 or b?
b
Let c = 22 - 19. Let f(j) = -3*j**2 + 9*j - 4. Let k be f(c). Let q be k + (1518/234 - 2/13). Is 2 at most q?
True
Let i be (-7 - -3)/(2 + -1). Let a(n) = n**3 + 3*n**2 - 5*n - 3. Let d be a(i). Let r = 716152/1933173 - 6/71599. Which is bigger: d or r?
d
Let a = 0.1969 - -8.8031. Which is smaller: a or 0.53?
0.53
Suppose -6*g - 198 = 5*g. Let a = g - -23. Suppose d + a*t + 7 = 1, -48 = -4*d + 4*t. Is d not equal to -1?
True
Suppose 11*w - 9*w + 344 = 0. Let f = -339 - w. Let a be f/(-30)*-2 + 2/15. Does -11 = a?
True
Suppose 4*b = -3*s - 35 + 17, -2*b + 18 = -3*s. Which is smaller: b or 27/20?
b
Suppose v + v = 0. Let y be (-5)/((-30)/(-4)) + 195400/11040 + -17. Is v less than y?
True
Let z be 15516/54 - (-4)/(-3). Let t = 286 - z. Which is greater: 1/78 or t?
1/78
Let j = 606 - 607. Let i be 1*j/2*0/(-83). Let k = 34/13 - 426/143. Is k less than i?
True
Let b(x) = x**3 + 12*x**2 + 21*x + 10. Let d be b(-10). Suppose -3*q + 2*k + 9 = 5*k, 5*q - k - 39 = d. Is q <= 7?
True
Let q = 1755 - 1755. Let s = -0.407 + 0.57. Is s bigger than q?
True
Let d be ((-30744)/5033)/(-3) - (-4)/(-8)*4. Is d less than -1?
False
Suppose 0 = 4*h + 2 - 10, -2*t + h = 8. Let r be (6 - (-22)/(-4)) + t/2. Which is smaller: r or 2/45?
r
Let z = -582 - -601. Suppose -z*d - 439 + 2757 = 0. Is 123 equal to d?
False
Suppose -158*c = 7*c. Is c less than 27/85?
True
Let f(x) = -16*x**2 - 2*x + 1. Let u be f(-2). Suppose 99*q = -585*q - 38988. Which is greater: q or u?
q
Suppose -26*x - 23 - 55 = 0. Let v be (21 + -16)*(-62 - x/3). Which is smaller: v or 1?
v
Let t(v) = v**3 - 56*v**2 - 59*v + 141. Let d be t(57). Suppose -8*g - 17 + 241 = 0. Which is smaller: g or d?
d
Let k be 212/(-2014) + 1317/57. Is k bigger than 191?
False
Suppose -66 = -5*x - l + 3*l, -5*l + 10 = 0. Suppose -x = -d + 3*d. Let w be (4 + (-36)/8)/(1/10). Is w not equal to d?
True
Let t(n) = -666*n - 3991. Let c be t(-6). Which is smaller: 32 or c?
c
Suppose 2034 + 2526 = 60*f. Which is smaller: f or 151/2?
151/2
Suppose 0 = -4*f + 3*a + 3161, -f - 123*a + 794 = -125*a. Let t = f + -787. Let d = -5/23 + 117/644. Which is smaller: t or d?
d
Let p be 6/(-52047)*(-450)/(-100). Is 0 at most as big as p?
False
Let d be (-99264)/(-191664) - (-2)/(-3). Suppose -l - 2*l - 5*o = 3, 0 = 5*l + 2*o + 5. Is l at most as big as d?
True
Let r be (-7 + 219/(-2))/(2/20). Let v = r + 68737/59. Let t = 0.4 + -0.3. Is v equal to t?
False
Let k(u) be the first derivative of 9*u**2/2 - 89*u + 20. Let l be k(10). Does l = 6/59?
False
Let m = -17494 - -15277. Is -2217 equal to m?
True
Let l = 989411/301380 + -197/60. Which is smaller: 0 or l?
l
Suppose 0 = -5*v - 3*q + 94, 54 = 4*v - v + q. Let c = -27 + 19. Let w be (6/c)/(1/(-24)). Is w bigger than v?
True
Suppose 0 = -693*c + 676*c - 85. Is 87 less than c?
False
Let f = -137005/8 + 17145. Is 18 at least f?
False
Let p = 4720 + -4719. Which is smaller: -2348 or p?
-2348
Let s be 25/(100/24) - 9/((-54)/(-42)). Is -4/1093 bigger than s?
True
Let i = -28745 - -28610. Is -817/6 >= i?
False
Let t(u) = -63*u - 55*u - 58*u + 171*u + 13. Suppose 32*q - 29*q = 21. Let y be t(q). Are y and -24 non-equal?
True
Let n = 230 + 261. Let w be ((-960)/(-120))/((-24)/(-1473)). Is n <= w?
True
Let a(k) = k - 8 - 24 + k. Let l be a(15). Let q be l*3/72*3. Which is greater: q or -7?
q
Suppose 3*q + 5 = -2*t, 3*q = q - 5*t - 7. Let x be q/(3/6) + 14 + -18. Is x bigger than -78/11?
True
Let x = 4654.2 + -4849. Which is bigger: x or 0.1?
0.1
Let m(x) = 15*x - 4. Suppose 14*o - 200 = 4*o. Suppose 0 = -z + 4*v + o, -4*v - 16 = -0*v. Let l be m(z). Is 56 greater than l?
False
Let f(y) = -4*y**2 - 12*y - 23. Let v be f(-7). Let z = v + 163. Which is smaller: z or 24?
24
Let o(w) = w**3 + 12*w**2 - 9*w - 52. Let g be o(-12). Is g <= 612/11?
False
Let h = -13 + 14. Let m(u) = 43*u**2 - 34*u - 6. Let t be m(10). Let b = -778936/197 + t. Does h = b?
False
Let g be (25/439650*-12)/(4/18). Is g smaller than 0?
True
Let c(q) = -895*q - 2539. Let g be c(-6). Which is bigger: g or 2830?
g
Let n(z) = -2*z**2 + 18*z**2 - 8*z**2 + 42 + 4*z - 9*z**2. Let y be n(-5). Which is greater: 10 or y?
10
Let j be 1500/(-36)*24/(-20). Suppose 5*f = -5*q + j, 4*f + 3*q - 40 = -0*q. Is 8 equal to f?
False
Let o = 30.9 + 3.5. Let u = 36 - o. Let b be (2 - 2)/((-4)/(-2)). Which is smaller: u or b?
b
Let y = 16086 + -17078. Which is smaller: y or 1/9?
y
Suppose -177 = -221*b + 44*b. Which is smaller: b or 7/1037?
7/1037
Let r(x) = 64*x**2 - x + 3. Let h be r(-1). Is h equal to 68?
True
Let m = 163 - 157. Let k be 5 - (4/m)/((-6)/(-117)). Let o be (-14)/3 - 4/(-6). Is o >= k?
True
Let c(y) = 952*y + 6*y**3 + 4 - 478*y - 475*y - 18*y**2. Let m be c(3). Which is greater: 39 or m?
39
Suppose -12*w = -5*c - 11*w + 3, -5*w - 15 = -3*c. Is c >= 22/85?
False
Suppose 5*o - 575 = -5*x, -2*x - 3*o + 351 - 118 = 0. Suppose -2*f + 2 = x. Let z be -2*f/22*67/5. Which is smaller: 66 or z?
66
Suppose n + 9 = -z, -5*n + 25*z = 27*z + 30. Which is greater: 15 or n?
15
Let m(k) = -k**3 - 3*k**2 + 5*k + 3. Let t be m(-4). Let f be 1*(-4 + (t - -6)). Let c = -12/71 + 230/2201. Is f < c?
False
Let o = 6/7 - 76/105. Let x be (((-2)/7)/(207/(-966)))/(-26). Is x at most o?
True
Let l be (-567)/(-2)*29/(696/32). Let k be 939/l + -3 + (-40)/(-70). Suppose -3*y + 7*y = 0. Is k greater than or equal to y?
True
Let l be (((-6)/4)/((-63)/(-3864)))/(-4 - -3). Let f be 1/(-2) + 185/2. Is f > l?
False
Let q be (-44)/3*(1 + 2). Let l = 244 + -136. Suppose 2*m + l = -5*p, 8 = 5*p + 28. Does q = m?
True
Let r be -3 - (-7)/(14/(-1058)). Let v be (1/3)/(r/(-126)). Suppose 0 = 3*j + 4*b - 19, -2*b + 1 = -4*j - 3. Which is smaller: j or v?
v
Suppose -5*y - 72 - 13 = 0. Let z = -11 - y. Let j be z/(144/30) - (-6)/(-4). Is -1 at least j?
False
Let t = -653 - -655.76. Is t not equal to 24?
True
Suppose 11154*u - 342 = 11148*u. Suppose -3*f = -5*z + 289, -2*z - 2*f + 103 = f. Is z greater than u?
False
Suppose h + 36 = -8*h. Let s = 1/42624 + 52470139/213120. Let t = 241 - s. Are t and h nonequal?
True
Let a(l) = -2*l**2 - 111*l + 420. Let y be a(-59). Is 7 bigger than y?
False
Let d = -7/5311 - 111314/164641. Suppose h + 3 + 9 = 4*w, 4*w = -2*h + 12. Which is smaller: h or d?
d
Let t(v) = -18 + 3*v + 4 - 1 + 3. Let x be t(5). Suppose x*a + 24 = -21. Is a at most as big as -12?
True
Let j be (6 - 56682/(-12)) + (-24)/48. Do 4729 and j have the same value?
True
Let q be 8*1 + (385 - 378). Which is smaller: q or 694/45?
q
Let o be (-4)/10 + 46/115. Is o > 7/300?
False
Let r = -1184 - 453. Is r < -1636?
True
Let m be (-3)/(-1) + (322 - -4). Let o = 1718 + -1389. Is o greater than m?
False
Suppose r + 14 = 4*h, 0 = 4*r + 2*h - 14 + 34. Let d be r/(-10) + (-2394)/(-2310). Which is bigger: -8 or d?
d
Suppose -3*u - 85 = -5*c, -108 = 5*u - 2*c + 21. Which is smaller: -120 or u?
-120
Let b be (-520260)/(-2808) + 10/4. Is b less than 187?
False
Let v be ((-27)/(-18))/(2 + (-5)/4). Suppose -13 + 51 = v*z. Is 19 greater than z?
False
Let c = 184 - 2759/15. Let z = c - -137/195. Is z less than 1?
True
Let n = 4134 + -4397. Which is smaller: -1844/7 or n?
-1844/7
Let u = 10 + 43. Let t = u + -51. Let y be (t/42)/(20/120). Which is bigger: y or 1/9?
y
Let u(h) = 3*h**3 + 254*h**2 - 91*h - 256. Let v be u(-85). Is 507/2 at least as big as v?
False
Let m = -169 + 170. Let u be -2 - -22 - 80/16. Let j be (-24)/(-35)*u/6. Which is greater: j or m?
j
Let v = -2102 - -1293. Let x = -123652 + 622242/5. Let y = x + v. Is y bigger than -14?
True
Let i(r) = -19*r - 82. Let l be i(12). Let x be 3/(-21) - (4 - l/35). Is x at most -27/2?
False
Let l be 8134/147*((-1)/(-8) + -2). Let i be (9/3)/(-3) - 103. Let o = i - l. Is o at most 1.8?
True
Let f be 13 + -17 + 1076*(-99)/(-26634). Which is bigger: 1 or f?
1
Let h be (-544)/48 - 3/(9/2). Let r be (-5)/(-15) + 2*8/h. Which is bigger: -106 or r?
r
Let n = -587 - -592. Suppose -2*j - 143 = 2*z - n*z, 3*j + 207 = 3*z. Which is smaller: j or -259/4?
-259/4
Let o(g) = -g**2 - 23*g + 12*g + 6 + 3*g**2. Let h be o(5). Let l(t) = -6*t + 7. Let q be l(h). Which is bigger: q or -3/32?
q
Let p be 110/(-4)*201/670*10/15. Let k = -0.12 + -0.08. Is k greater than p?
True
Let g = -203 - -201.4. Let w = g 