ller: 1/23 or n?
n
Let t be (0 - (9 - 4)) + (3 - (-4 + 2)). Is t equal to -5/39?
False
Let u be -2 - -203 - ((1 - 0) + 1). Suppose -3*i - 80 = u. Let q = i - -142. Is q <= 50?
True
Suppose -2*k - 445 + 27 = 3*w, -6*w - 2*k - 838 = 0. Let v = -43 - -31. Let m be (v/w)/(12/7 - 2). Which is bigger: -0.2 or m?
-0.2
Suppose -98*a - 2 = -99*a. Let z be -5 + -6*a/6. Is z less than or equal to -8?
False
Let l be (-22377)/4476 - ((-4)/42 - (-515)/(-105)). Which is smaller: l or -1/6?
-1/6
Let f be (-30)/75 + (-748)/(-1445). Which is bigger: 1.115 or f?
1.115
Suppose 3*q - 4*n - n = 21, -n = 3. Suppose 28*b - 4*h = 31*b + 12, -4*b + q*h + 6 = 0. Let p = -28.74 - 0.26. Is b greater than p?
True
Let d be ((-2)/8*-12 - (-65)/(-25))*-75. Is -49 equal to d?
False
Let w = -6916 + 6913. Are w and 257 nonequal?
True
Let t be 1105/7 + 3 + 0. Let y = t + -159. Is 2 >= y?
True
Let k = -27102.7 + 27103. Which is smaller: 3.29 or k?
k
Let m be -12 + 16/16 + 13. Which is smaller: 111/100 or m?
111/100
Let i be 199/485 - (-2 - (-24)/10). Let h = -100/291 + i. Suppose 4*d = -b + 9, d - 4*b = -30 + 11. Is h at least as big as d?
False
Suppose -2*y - 2 = -0*y. Let x(n) = 23*n - 160. Let w be x(7). Let j be (-5 + 8 - (-46)/(-14))/w. Which is bigger: y or j?
j
Let c = -121.21 - -119.21. Is c smaller than -167?
False
Let x be (4 + -7)*(-3273)/63. Which is greater: x or 155?
x
Let s(x) = -9*x**2 - 33*x + 1. Let a(m) = 5*m**2 + 17*m - 1. Let g(k) = 11*a(k) + 6*s(k). Let y be g(11). Let p be (209/(-99))/(2/6). Which is smaller: p or y?
p
Suppose 14*k = -1855 - 707. Is k not equal to -185?
True
Let m(v) = -5*v - 33. Let y be m(-5). Let j(c) = -c**3 - c**2 + 4*c - 6. Let n be j(2). Which is greater: n or y?
y
Suppose t + 5*q = -33, -29 = 3*t - 4*q - 6. Let f be 5/5 + 52*(-3 + 2). Let g be f/(9/3) + (-12)/(-4). Is t not equal to g?
True
Let j = -163 - -142. Suppose -27*p + 390 = -42*p. Do p and j have the same value?
False
Suppose -12*h + 2 = -13*h. Let k(v) = -v**2 - 5*v - 5. Let b be k(h). Let o be (-2)/58*-4*b/4. Which is bigger: -1 or o?
o
Let o be (6 + (-2)/(-11) + 220590/(-1188))*2. Which is smaller: o or -358?
o
Suppose -2*r = 5*d - 1865, 104*d + 4652 = 5*r + 106*d. Let c = -929 + r. Is c smaller than 5/12?
False
Let m = -35 + 106/3. Let q(t) = -t**3 - 7*t**2 - 10*t + 1. Let y be q(-5). Which is greater: y or m?
y
Suppose 10*q = q + 18. Let z be 8 + 12/(-9) + q. Is 10 < z?
False
Let c be (23 + (-1727)/76)/(18/4). Is c less than 0?
False
Let x = -12246 + 13813. Is x < 1566?
False
Let s = 225 + -225. Is 206 > s?
True
Let k be -12*(2 - 1)*(-72)/27. Let a = -2501/2 + 1283. Which is bigger: k or a?
a
Let b be (-628)/(-20) - (-14)/(-175)*5. Let a be 297/99 - (100/b + -1). Is 0 not equal to a?
True
Suppose -y + 2 = -4*l, -5*y - 33 = -2*l - 43. Which is smaller: 4/47 or l?
l
Let n = 8 + -9. Let w be 70/(-3675)*(-25 - -5). Is w greater than n?
True
Suppose 9 - 16 = -17*r + 10. Which is bigger: 188/7 or r?
188/7
Let u(q) = 15*q - 705. Let k be u(-46). Are k and -1397 nonequal?
True
Let g = -757443497587/5643 - -134227094. Let t = 1/513 - g. Suppose -44*j = -172*j - 73*j. Is j at most as big as t?
True
Let f(k) = k**3 + 2*k + 3. Let m be f(-3). Let s be 10 + (1 + -7 - 80). Let h be ((-20)/(-25))/(s/m). Is h at most 0?
False
Let b be 6 + -4 + 0 + -1. Let j be ((-534)/(-564) + 24 + -25)*(-4)/30. Is j != b?
True
Let n = 9304 + -9355.796. Let l = 51.7 + n. Do l and 3 have the same value?
False
Let q be 10/(-45) + 419941/18. Let k = 23388 - q. Which is smaller: 59 or k?
k
Let q be -3*(1 - (-40)/(-6)). Suppose 3*i - q = p, -i + 5*p - 11 - 2 = 0. Let k = i + -77. Which is bigger: -69 or k?
-69
Suppose 278 = -54*u - 46. Which is bigger: u or 0.042?
0.042
Let p = -3305 + 3361. Are p and 40 equal?
False
Let u be 125/118 - (-3 + 126/36). Is u equal to 1?
False
Let w be (3 - (-342828)/70) + -6 + 3. Let b = -4898 + w. Which is greater: b or 1?
1
Let b be (-8 + -1 + 0)*104746/(-498). Is b smaller than 0?
False
Let g(w) be the third derivative of -19*w**6/60 + w**4/24 - w**3/3 - 2*w**2 - 18*w. Let v be g(1). Is -42 > v?
False
Let a(m) = -m**3 + 11*m**2 + m - 12. Let b be a(13). Let z = 13815/41 + b. Let s be (0/(1*2))/(-1). Which is greater: z or s?
s
Let o = 3.0293 + 0.9707. Which is greater: 468/7 or o?
468/7
Suppose -3*d - 6 = 2*m, d - 8 = -2*m - 6. Suppose -3*v - 2*t = 93, -v - 5*t = 4*v + 150. Let u be ((-8)/v)/((-2)/39). Which is smaller: d or u?
u
Suppose j = -0*j - 2. Let f be 0 + (138/(-63) - j). Let i be 7 - (0 + (14 - 7)). Which is smaller: i or f?
f
Let k(t) = t**2 - 49*t + 359. Let s be k(40). Which is bigger: -1/5037 or s?
-1/5037
Suppose -4*a = 8, 8 - 4 = 2*x - 3*a. Let g be (0 + 8/(-420))*(-6)/(-26). Do x and g have different values?
True
Suppose 4*j - 56 = -56. Suppose r - 4*c - 44 = 2*r, 76 = -4*r + 4*c. Let i = -479/20 - r. Is j smaller than i?
True
Let c = 64563 - 64563. Let f = 2/113 - -779/678. Is c >= f?
False
Let n be 6/21*(22 - 1). Suppose 16 = -v + l, 5*v = 2*l - n*l - 107. Which is bigger: v or -18?
-18
Suppose -3799 - 1 = 8*j. Let s = -2386/5 - j. Is -2 bigger than s?
True
Let g = -430 + 453. Suppose -3*y - 4*v - g = 0, -4*y + 5*y - 14 = 3*v. Does -6/47 = y?
False
Let m = -8413 + 8351. Is m greater than or equal to -34?
False
Let b(g) = -g**2 - 6*g + 7. Suppose c = -3*t - 9, 2*t - t + 13 = 3*c. Let f be b(c). Let n be ((-16)/f)/((-4)/10). Are -6 and n unequal?
True
Let f = 3450 - 5340. Let t be 2/((f/12)/(-9)). Let h = 2 + -3. Is h greater than or equal to t?
False
Let v be (-116*1/(-40))/(-2). Which is bigger: v or -1?
-1
Let u = -163968136947700051/61244 - -2677293072694. Let o = u - -2/15311. Let q = o + 28199/476. Which is greater: q or 1?
1
Let j be 24/16 - 518554/260. Let b = j - -1993. Let p = b - -232/455. Which is smaller: 0 or p?
0
Let n be (664/(-10360060))/(6/10). Is n > 0?
False
Let l(f) = 18*f + 170. Let o be l(-6). Suppose 0 = x + 2, j + x - o + 11 = 0. Is j at most as big as 55?
True
Let q = 2389 + -2373. Which is smaller: 102/7 or q?
102/7
Let q = 17323/35 - 495. Let x = 127773 + -8943861/70. Let d = q + x. Is d equal to 4?
False
Let t = -11.4 - -8.35. Let p = -2.95 - t. Is -146 bigger than p?
False
Suppose 101 = 3*u - 4*b, 7*b = -4*u + 2*b + 114. Suppose -103 = 6*k - u. Let l be 2/8 - (-87)/k. Which is smaller: l or -10?
-10
Let n(d) = -d**3 + 4*d**2 - 2. Let s be n(3). Let x be 2*(-9)/30*s. Suppose -25*c - 741 = -666. Is c at least as big as x?
True
Let b = -7315 + 4920. Is -2395 less than or equal to b?
True
Let r = -18 - -18. Let y be 5 + -4 + -2 + r. Let m = 5/7 - 38/63. Is m less than or equal to y?
False
Suppose -16*w - 495 + 15 = 0. Let g be w*(4 - (-440)/(-108)). Is 2 bigger than g?
False
Suppose -25778 = -s - 3*t - 9615, -t = -5*s + 80847. Which is smaller: 16168 or s?
16168
Let o = 11 - 11.07. Let t be (4*48/18)/((-2)/(-9)). Let g be (-4)/30 - (5 + t/(-10)). Is o <= g?
False
Let i = 2402 - 2609. Which is bigger: 1/3 or i?
1/3
Let k = 1068 + -1096. Let l = -62 - -39. Let y = l - k. Do 8 and y have different values?
True
Let i = -433 + 948. Suppose -5*s + 5*a = i, -3*a - 100 = s - a. Let f = 207/2 + s. Which is smaller: 3 or f?
f
Let n = 32 + -30. Let i = n + -12. Let d = -12 - i. Is 0.7 at most as big as d?
False
Let h = 1139/44 + -11870/451. Which is greater: 0 or h?
0
Suppose 0 = -351*n + 260500 - 924241. Which is smaller: n or -1889?
n
Suppose 3*u + i = 378 - 611, -3*u = 4*i + 221. Is u less than -397/5?
False
Let p be 24/(-18)*(282/(-1672) - 114/(-627)). Let w(s) = -s**2 - 5*s - 2. Let u be w(-4). Suppose x + u = 0, x - 2*x + 1 = -3*n. Which is smaller: n or p?
n
Let y(i) = 35*i + i**2 - 7*i**2 + 75 + 4*i**2 - 8 + 3*i**2. Let k be y(-33). Which is greater: k or -12.1?
k
Suppose 6*i - 18*i = 5*i + 6*i. Which is bigger: -1/5354 or i?
i
Let y(c) = -c**3 + 11*c**2 - 5*c - 5. Let k be y(5). Suppose k = -3*a - 2*a. Let w be (8/84)/((-4)/(-18)) + 342/(-14). Is w <= a?
True
Suppose 352 - 88 = 8*v. Suppose v*w = w. Which is smaller: w or 1/201?
w
Let g(b) = -2*b**2 + 5*b - 14. Let u be g(-10). Let v be ((-21)/12 + 1)/(3/u). Let l = 50 - v. Is -15 bigger than l?
True
Suppose 0 = 119*p - 211*p - 2484. Which is smaller: p or -14?
p
Suppose u - 7*w - 32 = -9*w, -u = -5*w - 39. Let q be (-18)/4*(-64)/(-24). Let p = 21 - q. Which is smaller: p or u?
