. Which is greater: p or i?
i
Let l be 2 - 2450/(-14798)*11*(-2 - -1). Does -1 = l?
False
Let w = 95.22 - 0.22. Let f = w + -36. Let h = f + -64. Is -0.3 at most h?
False
Let h = 77135/1986 + -233/6. Suppose 4*l + 4 = 2*y, 9 = 9*l + 5*y - 1. Is h bigger than l?
True
Suppose 11*c = s + 8*c - 878, 0 = 2*s + 2*c - 1740. Which is smaller: s or 13?
13
Let p(b) = -b**3 - 9*b**2 - 6*b + 18. Let w be p(-8). Suppose 2*m = -0*m - w*n, 0 = -m + 4*n + 5. Is 8/39 greater than m?
False
Suppose 0 = -15*d + 14*d - 6. Let w be ((-544)/(-48))/((-4)/d). Let n be w + (5 - 8) - 0. Does n = 12?
False
Let y = 30990222 + -1611306469/52. Let t = -3559 + y. Is t != 0?
True
Let t = -4977 + 4984. Which is smaller: t or -1/12?
-1/12
Suppose -p + 1068 = -5*u + 883, 0 = 2*p - 5*u - 340. Let k(h) = 79*h - 5. Let t be k(2). Is p not equal to t?
True
Let v be 1/(39/21618) + 138/(-23). Is v smaller than 547?
False
Suppose 10 = 2*w + 8, 5*p - 3*w = -16643. Do p and -3327 have the same value?
False
Let p(t) = 4*t**2 - 2*t - 1. Let j be p(2). Let b(h) = -h + 36. Let z be b(j). Suppose -3*u + z = -4*r, 5*r - u = u - 33. Is r at least as big as 0?
False
Let t(u) = 3 + u**2 - 8 + 3 - 5*u - 4. Suppose -4*x - 3 - 5 = 0, -j + 16 = -5*x. Let a be t(j). Which is greater: -4/5 or a?
a
Suppose -111 - 144 = -5*f. Suppose f = 5*m + 36. Suppose 5*n + 44 + 26 = 5*g, m*n = -2*g + 33. Which is greater: g or 0?
g
Let w be 208/(-12) + 0 + 4/(-6). Let n be (9 + 156/w)*-132. Are n and -32 non-equal?
True
Let y = -424.72 - -62.72. Which is smaller: y or -13?
y
Let m = 13 - 17. Let u be (-4)/m - 3*1. Let v be (-3)/1 + (188 + -189 - 17/(-10)). Is u at most v?
False
Suppose -2*i - 1254 = -3*t + 104, -3395 = 5*i - 4*t. Which is smaller: i or -682?
-682
Let r(u) = -u**2 - 7*u - 2. Let p be r(-5). Let j = 24 - p. Suppose -779*o + 777*o = -2. Is o >= j?
False
Let g be 17/((-24174)/2840) - 4/(-2). Let w = -2093/14220 - g. Let n be (-4)/(-6) - 6/9. Is n >= w?
True
Let c be -1 + 2 + 1 + (8 - 18) + -4230. Which is smaller: -4237 or c?
c
Let j = 21717/386476 - -3/7292. Let q(d) = d**3. Let g be q(0). Let k = 0 - g. Is j at least as big as k?
True
Let a = 11918 + -11831. Suppose 97 = 2*f - 73. Is a less than or equal to f?
False
Let i = 472.8 - 240. Let g = i - 233. Which is bigger: g or -96?
g
Let l = 1.4 - 7.4. Let n = l + -43. Suppose -3*p - 15 = -4*s, 2*s - 4 - 2 = 0. Do p and n have different values?
True
Let j = 173/58 - -178127/522. Do 345 and j have the same value?
False
Let d = 1844 - 1837. Let i = 2 - 3. Which is greater: i or d?
d
Let y(r) = -r**2 - 59*r - 654. Let d be y(-44). Which is greater: d or 136/19?
136/19
Suppose 5*v = 13 - 3. Suppose 0 = -3*c + v*m - 10, 5*c - 10 = 2*c - 2*m. Let k = 20242/21 + -964. Is k at most c?
True
Let i = 34911 + -40028. Which is bigger: -0.4 or i?
-0.4
Let z = 427 + -359. Suppose -z - 36 = 13*v. Let d = -165 + 317/2. Which is bigger: v or d?
d
Let y be (-285)/228 - 1086/8 - -6. Is -912/7 greater than y?
True
Let d = 14 - 14. Suppose 22 = -2*i - d. Let p = -4 - i. Is 9 at least p?
True
Let t be 1 - 2 - (2 - 2). Let a be 18/(-45)*(4 + 2 - 1). Let f be (255/1700)/(262/16 - a). Do t and f have the same value?
False
Suppose -3*x - 331 = 4*l, -3*l - 58 + 491 = -4*x. Let c = 103 + x. Let q be ((-10)/4)/(3 + 21/c). Is 4 <= q?
True
Let k(u) = u**2 + 4*u + 36. Let p be -12 + 3 - 24/(5 + -11). Let c be k(p). Is 42 equal to c?
False
Let v be -3*(-20)/(-90)*189. Which is smaller: v or -5?
v
Let t = 3487 - 822929/236. Let y = -31/118 + t. Which is smaller: y or -219?
-219
Let w = 0.258 - 269.258. Let a = 275 + w. Let i be ((-2)/(-5))/((-21)/15). Is i bigger than a?
False
Let i be (((-14544)/27)/(-8))/(34/198). Let f = -393 + i. Let o = f - -24/85. Is o >= 23?
False
Let n be (224/(-168))/((-20)/(-6)). Let b = 69 + -36. Suppose -d - b = -3. Which is smaller: d or n?
d
Let f = -22123 + 22117. Is 150 not equal to f?
True
Suppose -5*x = -0*x + 100. Let k be 1/(-2)*80/x. Suppose -3*v + v = 4, -5*v = k*z + 50. Does -22 = z?
False
Suppose 0 = -37*s + 32*s + 190. Suppose 11 = 2*y - 3*j, -5*j - s + 11 = y. Let c(d) = d**3 + 2*d**2 + 2*d + 1. Let q be c(y). Is q less than -3?
False
Let v(b) = 5*b**2 - 166*b - 111. Let w be v(21). Which is bigger: w or -1396?
w
Let j be (-14)/1*(-6)/52. Suppose -19 = -2*a - 3*b, 0 = -3*a + 4*b - 35 + 21. Is j smaller than a?
True
Let r(a) = -63*a. Let u be r(9). Which is greater: u or -565?
-565
Let c be ((-126)/27 + 0)*-12. Let h = c + -56. Which is greater: h or -16/71?
h
Let n be 5/(-3) + (-1504)/3360. Let a = -13733/6545 - n. Are 0 and a equal?
False
Let d be (-4)/(-3)*(-3)/2 + 130. Let h be (-2)/(-3) - 9/(108/d). Let z be 2/(-5) + (-294)/h. Which is smaller: z or 30?
z
Let d = 87 + -97. Let r(v) = -7 + 0 + 2*v - 1. Let p be r(4). Is d at least as big as p?
False
Let l = -0.53169 + -0.04831. Let d = -739.58 + 733. Let u = l - d. Which is smaller: 0.01 or u?
0.01
Suppose -5*g + 0*d = 3*d - 180, -5*d + 25 = 0. Let j = -113 - -145. Let o = j - g. Which is smaller: o or 1/3?
o
Let l = 75 + -70. Let a = 5.1 - l. Let j be (-4)/(-10) + 608/(-520). Is j != a?
True
Let y = 5055 - 5057. Which is smaller: 129 or y?
y
Let c = 98 - 99.34. Let d = c - -0.9. Let w = -0.39 - d. Is w equal to 1/4?
False
Let l = 59/3 + -19. Let r(p) = 18*p**2 - 102*p + 4. Let w be r(6). Is l != w?
True
Let d = -70 - -68. Suppose -80 = -3*a - 26. Let s be ((-1)/a*d)/(18/(-144)). Which is smaller: s or -2?
-2
Suppose 0 = -29*j + 23*j - 486. Let c = -359/5 - j. Which is smaller: 9 or c?
9
Let d be (-39)/12 - (-3 - 0)/(-6). Suppose 4*r + 0*r - 40 = 0. Let s be 20/50 + (-44)/r. Is d > s?
True
Let g = -365 + 368. Suppose -644 = 5*f - 3*v, 4*v - 382 = -0*f + g*f. Is 0.2 at least f?
True
Let m be 5/((-125)/(-10)) + 606/(-15). Let v be -15*8/m + -43. Do v and -42 have different values?
True
Let r(k) = k + 5. Let p be r(-7). Let u be (-1 + 1)/(437 - 436). Is u <= p?
False
Let b(g) = -2*g**2. Let x(r) = -11*r**2 + 21*r - 8. Let d(t) = 5*b(t) - x(t). Let a be d(20). Is a at most as big as -126/11?
True
Let x be (75/18 - 2) + -2. Let s(g) = -g + 6. Let w be s(4). Let i be (1*w/(-6))/(33/(-18)). Which is smaller: i or x?
x
Let b = -38086 + 38087. Let z = 1740 + -53934/31. Is z <= b?
True
Let p = -7620 - -7554. Which is greater: -0.61 or p?
-0.61
Let w be 15884/(-28) + (12 - 7). Suppose -l + 49 - 609 = 2*f, -f + 1680 = -3*l. Let q = w - l. Do q and -1 have different values?
True
Let t be 3/(((-405)/(-10))/(-27)). Suppose -51 = -3*f + 33. Let h be 3/(f/8 - t). Which is greater: h or 1?
1
Suppose -2574 = -48*w - 66*w + 15*w. Suppose -2*b + v = -181, -v + 4 = 1. Suppose a + b = w. Is 0.1 > a?
True
Let a = 240 + -237.31. Let q = 1.7 - a. Let d = 1 + q. Is d smaller than 0?
False
Suppose -4*j + 68 = -2*l + 84, 5*l - 4 = 4*j. Which is bigger: -154/61 or l?
-154/61
Let u be 6862/(-6) + 32*(-3)/(-144). Is 0.2 bigger than u?
True
Let j(o) = -82*o + 985. Let c be j(13). Which is smaller: c or -1.6?
c
Let l be ((-21)/6)/(-1) - 0. Let f = 288.6 - 67.6. Let d = f - 220. Do l and d have the same value?
False
Let c = -2/44781 + 44785/89562. Let h = -0.025 - -23.025. Is c at least h?
False
Let n = 187809/4056572 - -1/9412. Is 1 bigger than n?
True
Let w(l) be the third derivative of 7*l**4/12 - 5*l**3/3 + l**2. Let j be w(-3). Let x be (15/6 - 3)/(1/j). Is 26 greater than x?
False
Let s = -183 - -98. Let w = 2.077 + -87.177. Let b = w - s. Is b < -3/19?
False
Let s = 3579.9 - 3580. Which is smaller: -279 or s?
-279
Let c = -1113 + 1112. Which is smaller: c or -2/2135?
c
Let q = -19386 + 19385.99. Let d = 42.2 - -1.8. Which is smaller: d or q?
q
Let n = 7650 + -6611. Is 1039 at least as big as n?
True
Let i be (-4)/(-26) + (-8172)/(-117). Let j = 402 - 373. Suppose -4*w - j = 5*m - 112, -5*w = 4*m - i. Is m at most 13?
False
Suppose -2*v - 15 = -u, -2*u - 5*v - 371 = -356. Is u at least as big as 357?
False
Let q be (242 - 3)/((-8)/(-28)). Let l = q + -359693/430. Which is smaller: 0 or l?
0
Let a = 0.0014 - -29.0986. Let p = -29.1 + a. Is p less than 1/16?
True
Let w(k) = -k**3 + 9*k**2 + 35*k + 7. Suppose 0 = 5*z + 15, -4*d - 4*z = -0 + 24. Let x be w(d). Do 21/2 and x have different values?
True
Let q = -30 - -66. Let j be q/(-16) + 3 - (-3)/12. Suppose 0 = -g - 4*v - 16, 4*g - v - j = 3. Which is bigger: -10/11 o