1. Which is smaller: 568 or n?
568
Let t = -10919 - -15012. Is t at most as big as 4091?
False
Let w be 1 + 500/498 + -2. Let o(p) = 4*p**2 + 230*p + 654. Let v be o(-3). Which is greater: w or v?
w
Let f(l) = -140*l + 264. Let y be f(8). Which is smaller: -854 or y?
y
Suppose -5*r - v + 8 = 0, 2*r + 6 - 2 = -4*v. Suppose r*d - 4*l - 6 = 0, -4*d + 0*l = -3*l + 8. Let s be 4/d - 328/(-10). Which is smaller: 33 or s?
s
Let u = 94 + -90. Let q be (3/258)/(1/u). Is 1 bigger than q?
True
Let z be ((-13)/(-39))/(2/294). Let g be -1 - 1 - (5 - 4)*-4. Suppose -g*j + 88 = 2*a, 4*j + 25 - 246 = 5*a. Is z smaller than j?
False
Let b = -4121/42 + 587/6. Is -0.2 smaller than b?
False
Let y(z) = 3*z**2 - 23*z. Let j = 56 - 48. Let t be y(j). Let x be 5 - (-8)/(t/4). Which is bigger: 3 or x?
x
Let d be (-3)/(-148)*(-9452)/695. Is 1 not equal to d?
True
Let k = -2683/2241 - -32/27. Let w(q) = q**3 - 17*q**2 + 114*q - 1260. Let a be w(15). Is k smaller than a?
True
Let j = 0 + -1. Let f = -1040226 - -1039992. Is f equal to j?
False
Suppose -6*m + 28 = m. Suppose 0 + 12 = -4*l, -5*a - m*l + 1513 = 0. Suppose 5*h + 84 + a = -3*v, -h = -4*v + 64. Is -77 < h?
True
Let l = 17 - 28. Let a = l + 10.64. Let c = -0.56 - a. Is c less than or equal to 1/4?
True
Let t = 0.33 - -56.87. Let s = -58.3 + t. Do s and 11/2 have different values?
True
Let h(w) = 2*w**2 - 294*w - 1520. Let i be h(-5). Is i at most -9/2183?
False
Let l(g) = -2*g**2 - 16*g + 259. Let k be l(-16). Let o be 92/12 - 2/3. Let z = o + -5. Is z not equal to k?
True
Let g = -73.04 + -2.01. Let z = 71 + g. Let b = z - -4.1. Are b and 2 non-equal?
True
Let h be (-9360)/364*(-56)/(-26). Is h < -54?
True
Let s = 7.17 - 8.57. Suppose 3*k - 21 = 33. Let w be (-5)/(-35) - k/(-70). Is s bigger than w?
False
Suppose 0 = -5*n, -f + 8 = -3*f - 2*n. Let h be 1 - -2 - (2 + 3). Let v be (1 + h)/(-2 - (-5 - -4)). Which is greater: f or v?
v
Let s(q) = 56*q**2 - 3*q + 16. Let x be s(3). Let c = 575 - x. Is c >= 63?
True
Let z be 5904/(-495) + 21 - (1 + 8). Is -1 bigger than z?
False
Let k = -9 - 31. Let f be -3*k/396*(-3846)/1844. Let m = 2/461 - f. Which is greater: 2 or m?
2
Let p(q) = 3675*q - 1334. Let l be p(-3). Which is greater: -12358 or l?
-12358
Let j = -202.95 - -179. Let a = 0.95 + j. Let u = 24 + a. Is u smaller than -5/7?
False
Let y(q) = 4*q + q**3 + 2*q - 270 + 208 + 7*q**2. Let j be y(-9). Which is bigger: -276 or j?
-276
Let k = 1092.5 - 657. Which is bigger: 0 or k?
k
Suppose -4*i + 0*n + 80 = n, 0 = -5*i - 4*n + 89. Suppose 8*l + 6 = 30. Let v be (-7)/i*l/(-1). Which is bigger: 3 or v?
3
Suppose 0 = 10*r - 13*r - 387. Let b = 241 + r. Suppose b = x + 123. Which is smaller: x or -5?
x
Let l = -404 + 405. Let z be (-6603)/(-1674) - (5 + (0 - l)). Is 0.1 at least z?
True
Suppose -o - u + 4*u = -315, -1290 = -4*o + 2*u. Suppose k + 430 + o = 0. Let b be (-2)/(-3) + k/(-273). Which is greater: b or 2?
b
Let c = -360 - 193. Let d = c + 2766/5. Is d > 51?
False
Let f = -4/47 + 169/329. Let b(a) = a**2 + 2*a. Let z(l) = -7*l**2 - 66*l - 19. Let w(p) = -4*b(p) - z(p). Let y be w(-19). Is y > f?
False
Suppose 0 = 13*i - 14*i - 4*g + 19, 0 = -5*i - 2*g + 23. Let d be i/36 + 1241/2244. Let v = 1 + 0. Which is smaller: v or d?
d
Let y(f) = -1213*f - 296. Let q be y(2). Is q less than -2721?
True
Let a = 27768 - 13967299/503. Is 0 > a?
False
Suppose -10*q + 18 + 2 = 0. Let n be q/(-5)*1 - (-217089)/514710. Let v = n - 5/798. Is v at least -1?
True
Suppose p + 2*s = s + 1, 2*p = -4*s - 6. Suppose -4*h = 2*v - 80, p*h - v = 6*h - 20. Is 21 at least as big as h?
True
Let a = -12010 - -60981/5. Let c = a - 132217/710. Which is bigger: -1 or c?
c
Let d = 2.0266 + 167.2734. Which is smaller: d or -2/9?
-2/9
Suppose 329*i = -83*i + 2*i + 49610. Let q = 6209/3 + -1950. Which is smaller: i or q?
q
Suppose 351*t - 353*t + 6 = 0. Let k be t - (-8 + 4)/4. Let u(d) = 2*d - 8. Let v be u(7). Which is greater: k or v?
v
Let w be 2 - (((-28)/(-16))/7 - (-41481)/23708). Do 0 and w have different values?
True
Let f = 1683/560 + -138/35. Is -3 >= f?
False
Let z = 8.96 - -0.04. Let v = 214 + -213.8. Is z < v?
False
Let m be -2 + -2 + 1215/(-6) + (-65)/26. Are -6 and m unequal?
True
Let i = 130585 - 91359. Let d = 39180.079 - i. Let f = d + -0.079. Which is smaller: -0.1 or f?
f
Let a be (10 - 10) + -548 + -19. Which is smaller: a or -559?
a
Let a(b) = 2*b**2 - 7*b - 26. Let p be a(6). Suppose 3*s - 50 = -p*f, -4*s + 74 = 3*f + 12. Is s != 14?
False
Let y be (-1)/(86151/14358 - 6). Is y at least -4786?
True
Let g = -27439 - -27852. Is g <= 417?
True
Suppose 4*h + 6 = 6*h - 3*k, h - 2*k - 5 = 0. Let l = -156565/66423 + -1/18978. Which is bigger: h or l?
l
Let w = -10661/12 + 889. Suppose -2*n + 4*y = 2*y - 6, -1 = y. Let l be (-2)/(-4) - (-3)/n. Is l >= w?
True
Let c be (1 + (-1520)/1524)*(-4 + 2). Suppose 0*d - 9*d + 9 = 0. Which is smaller: c or d?
c
Let b = -13 - -16. Suppose 13*j = 8*j. Suppose b*q - 76 - 29 = j. Is 35 != q?
False
Let u(t) = 48*t + 1082. Let m be u(-22). Which is bigger: m or 205/8?
m
Let g(y) = y**3 - y**2 + y. Let p(d) = 2*d**3 + d**2 - 3*d + 22. Let h(k) = -3*g(k) + p(k). Let r be h(6). Let u be (0 - 4) + r/(-21). Which is bigger: 1 or u?
1
Let d be 774/135*(675/(-115) - -5). Which is smaller: -5 or d?
-5
Suppose 5*x - 35 = 0, -3*c - 3*x = 2*x - 25478. Is 8482 greater than c?
True
Suppose 21 = 2*w - 3*x - 13, -3*w - 5*x = -32. Is w less than or equal to 0.0168?
False
Let q(w) = -3 + w**2 - 3 - 2 + 11 - 5*w. Let r be q(5). Suppose 3*t - 9 = -r*y, -4*y - 1 = 3*t + y. Is t greater than -2/3?
True
Let i(m) = -6*m**3 - 14*m**2 + 20*m - 8. Let c be i(-7). Let n be 68/c*9/2. Is 1/4 greater than or equal to n?
True
Let h(m) = 3*m**2 - 34*m + 18. Let a be h(10). Let j be (-3168)/(-26) - (a/(-26) - 1). Which is greater: j or 121?
j
Let b be 531/590*(-4)/6. Is b at least as big as -1801?
True
Let y = 4894.9 - 4895. Is 1448 < y?
False
Let s = 912419/89 - 10252. Let a = -1381/1335 - s. Is a less than 0?
True
Suppose 85 = 5*p + 3*l - 4*l, 2*p + 2*l - 22 = 0. Suppose -12*j - 56 = -p*j. Suppose 3*r - j = 2*i + 4*r, 14 = -2*i + 2*r. Which is smaller: -4 or i?
i
Suppose -5*z + 3*f = -52 + 39, 4*z = 4*f + 20. Does z = 6/85?
False
Suppose -36*j - 47838 + 32842 = 49264. Is j <= -1785?
True
Suppose -2*i + 3 = -1. Suppose -i*b - 2 = -0*b. Let t be (2/(-9))/(((-180)/27)/(-10)). Is b equal to t?
False
Let a = -589 + 603. Let c be a*3/(-8) + (-193 - -196). Suppose -y = 5*f - 0*y + 2, 4*f + 7 = y. Which is bigger: f or c?
f
Let f be (224/40 - 6)/(2/(-20)). Suppose -1 = f*i - 5. Let d be (i/(-2))/((-3)/(-15)). Is d not equal to -3?
True
Let k(z) = 28*z + 3. Suppose 8*c + 20 = 3*c. Let t be k(c). Let l = 655/6 + t. Is 0 >= l?
False
Let x(t) = -t**2 + 4*t + 7. Let w(q) = q**2 - 3*q - 13. Let g be w(-3). Let c be x(g). Which is greater: c or 4?
4
Suppose 4*u = 10*u - 36. Suppose 20 = -4*d - 8. Let h be 12/d + u/(-21). Is h at most -8/9?
True
Let r be (-1514)/12 - (-2)/3. Suppose -346*q = -83*q + 32875. Is r equal to q?
False
Let h(y) = -y + y**3 + 8*y**2 + 7 + 1 - 13. Let x be h(-8). Let j be x*((-10)/3)/(-5). Which is greater: 4 or j?
4
Let z be 100/(-225) - (-26)/39. Let b be 2 + (398/8 - -1). Let r = b - 53. Which is bigger: z or r?
z
Let d be 4/18 - ((-80)/(-90))/4. Let f be (4/(-152))/(5/(-125)). Let z = f - 3/19. Is d >= z?
False
Let r be (4 - 17)/(203/(-133)). Do r and 9 have different values?
True
Let u be (-3)/(-24)*-20*(-92)/10*1. Do u and 25 have the same value?
False
Let p = 33795 - 608053/18. Are p and 14 nonequal?
True
Let y = 833933/88952 - 1/11119. Is 8 != y?
True
Let c(t) = t**2 - 28*t + 8. Let h be c(48). Let s = -1885/2 + h. Which is smaller: s or 26?
s
Let o = -0.0174 - -0.0564. Let m = -35 + 34. Is m != o?
True
Let t(p) = 55*p + 1740. Let c be t(0). Let g be -2*(4/(-6) - c/(-72)). Which is greater: g or -44?
-44
Let a = 15800.2 + -15524. Is a less than -1/4?
False
Let u(v) = -96*v**2 - v + 1. Let w be u(1). Let f = w + 100. Suppose -a = 0, 2*a = 4*g + f*a - 52. Which is smaller: g or 12?
12
Let b(o) = 4*o - 7. Let y be b(9). Suppose 0 = 6*l - y - 211. Let j = 39 - l. Which is smaller: 5/11 or j?
j
Suppose 3*o - 535 + 2409 = -w, w = -2. Which is greater: -638 or o?
o
Let m be (2/13)/(3087/4459). Is m greater than or eq