 1. Let i be k(1). Suppose -3*c + 24 = c - r, 2*r = -8. Suppose -l - 2 = 0, 3*p = 2*l + i - c. Which is smaller: p or 3/22?
p
Let g = -4525/6 - -830339/1101. Is 1 equal to g?
False
Let x be -4 - ((-5410)/135 - 8/(-108)). Which is smaller: -57 or x?
-57
Suppose 0 = 2*s + 6 - 14. Let p be (-2)/(-6)*(s - 4). Let x be p/(-6) - (-27)/(-12). Which is smaller: -3 or x?
-3
Let q be -45*4*(-15)/180. Is 284/19 < q?
True
Let f(r) = -26*r + 6. Let b(g) = 15*g + 49 - 52 - 2*g. Let q(i) = 5*b(i) + 2*f(i). Let o be q(1). Is 12 less than or equal to o?
False
Let s(f) = 387*f + 165. Let o be s(-14). Let v = 99859/19 + o. Is 3 != v?
True
Let x = 94.447 + 0.853. Let l = 14.3 - x. Let q = l + 90. Are q and 0.1 equal?
False
Let k(b) = 13 + 7 - 2 + 3*b. Let w be k(-6). Are -18/13 and w equal?
False
Let g = -20/14093 - -149/208079. Does g = 1?
False
Let x = 128216/5 - 25763. Let k = 1117/15 + x. Is -45 less than or equal to k?
False
Suppose -2*y = -3*k + 102, -171 = -4*k - k + 3*y. Suppose 35*o - k*o = -2. Which is greater: o or 8/11?
o
Suppose -11934*i = -11924*i - 10. Is i bigger than 16/91?
True
Suppose -10*b + 8*b - 414 = 0. Let t be 6/4*(-11040)/b. Is 80 >= t?
True
Let o = -36242/1701 - -5/243. Which is smaller: -21 or o?
o
Let n be (4/(-6))/(32/(-20)). Let t be 49*15/(4 + -9). Let o = t - -147. Which is bigger: n or o?
n
Let w = 2065 - 2051. Let g = 738517/48356 + 1/4396. Which is smaller: w or g?
w
Let n = -277/848 + 5332007/16318064. Does -1 = n?
False
Let k = -2748 + 2747. Let f be 9088/13704 + (-2)/3. Is k >= f?
False
Let l be (-285292)/990 - 424/954 - (-4)/(-22). Is l != -290?
True
Suppose -4 - 1016 = 15*u. Is u > -78?
True
Let l = -144 + 150. Suppose -4*q + 18 - l = 0. Suppose -2*m + 23 = -5*s, 4*s = -m - 3 - 5. Are m and q equal?
False
Let z = 530 + -529.67. Let y be 28/(-12)*-2 - 4. Does z = y?
False
Let v(t) = 5*t**2 - 33*t + 11. Let k be v(7). Let g be ((-2)/k)/((-8)/(-40)). Is -0.031 > g?
True
Let p = 478.14 + -474. Let s = -3.94 + p. Which is bigger: s or 3/85?
s
Let q be -116 + -1 + 6 + -4. Let x be (q/50 - -2)*-35. Suppose 0 = -5*h + 46 + 4. Is h != x?
True
Suppose -816 = -1789*n + 1786*n - b, -n - 5*b + 244 = 0. Is n at least 1909/7?
True
Let g = 358 - 361. Is -133/46 equal to g?
False
Let p = -72 - -69. Let r = 538/9 - 179/3. Is r not equal to p?
True
Suppose -3*v + 6*v - 36 = 0. Let x(k) = 2*k**2 - 4*k + 1. Let a be x(5). Suppose f + 20 = 6*f, -3*w + a = -2*f. Is w bigger than v?
True
Let q = 14786.08244 - 14786. Is -0.2 smaller than q?
True
Suppose -3*n + 22 = -n - 4*z, 0 = 2*z + 2. Let u be 3/9 + 33/n. Suppose 158*d - 268 = 19*d + 149. Is d at least as big as u?
False
Suppose 4*d + 2*x - 104 = 0, 3*x + 4 = -4*d + 112. Let t(a) = -a**2 + 1. Let j(g) = g**2 - g - 7. Let i(k) = -j(k) - 2*t(k). Let o be i(4). Is d < o?
True
Let n be ((-198)/(-243))/(-11) + 104/(-54). Is n less than -94/31?
False
Let n(h) = h**2 - 2*h - 3. Let k be n(3). Suppose k*p = -4*p - 4. Let v be -38 - -51 - 2173/167. Which is smaller: v or p?
p
Let y(i) = 39*i + 147. Let p be y(21). Suppose p = -10*w - 54. Is -103 smaller than w?
True
Suppose 15*m - 108 = 117. Suppose 517 + 38 = m*q. Does 34 = q?
False
Suppose -3*l = -2*m - 2, -4*l = 2*m + 74 - 72. Is -3/9565 at most l?
True
Suppose -2*f + 5*z = 2, 19*f = 21*f - 4*z + 2. Is f bigger than -3/1763?
False
Let m = -6.62 - 161.38. Let r = 169 + m. Is 558 smaller than r?
False
Let i(n) = -12*n + 22. Let q be i(4). Let f be ((-7 + 8)*1)/(2/q). Is f equal to -41/3?
False
Suppose 43*h - 110*h = 2546. Which is smaller: 0.19 or h?
h
Let m = 15.3 + 142.7. Let n = -198 + m. Is 4 greater than or equal to n?
True
Let f(j) = 431*j + 1409. Let n be f(-5). Is n < -750?
False
Let i be 22/(-12)*(-184)/(-2). Let k(z) = -21*z + 473. Let v be k(15). Let x = i + v. Is x greater than or equal to -12?
True
Let s(p) = 6*p**2 + 100*p - 45. Let x be s(-17). Which is greater: -89/3 or x?
x
Let l = 293.2 + 6.8. Let f = 301 - l. Which is greater: f or -8/87?
f
Let d = -3881 + 11750/3. Let a = -35 + d. Suppose 3*j - 12 = 0, -9*j + 8 = -4*q - 8*j. Which is greater: a or q?
a
Let u = -91.032 + 92. Let m = -0.032 - u. Which is greater: m or -255?
m
Suppose 4*h + 401 = -5*p, 0 = h + 10*p - 7*p + 95. Let d = 122 + h. Which is greater: 23 or d?
23
Let b = -340 + 534. Suppose k - 20 - 18 = -r, 5*r - b = -3*k. Is 44 greater than r?
True
Let s be -4 + (2 - -5) + 2. Suppose 5*d - 5*b = 0, -1 = s*d - b - 21. Let y be (5/(-14))/d*10/4. Which is smaller: 0 or y?
y
Let q be 2/8 - 20/80. Let t be 24 - q*(0 - -1)*-1. Let a be (-15)/t + -1 - -2. Do 9 and a have different values?
True
Let r = -1019646/13 - -78388. Is -46 greater than r?
True
Suppose 5*g - 47*d = -50*d + 207, -5*d - 173 = -4*g. Suppose 147*h - g = 144*h. Is 17 >= h?
True
Let g(x) = 28*x + 20. Let r be g(2). Let f(s) = s + 57. Let o be f(16). Which is greater: o or r?
r
Suppose 18*r - 330 = 24*r. Suppose 2*f = -0 + 2. Let a be f - (55 + -1 + 2). Do r and a have the same value?
True
Let x(j) = 2*j**2 - 14*j - 12. Let m be x(8). Let d be m + 6/54*-148. Are d and -11 equal?
False
Suppose m = -5*s + 2*m - 64, 0 = 4*s - 4*m + 48. Let h(q) = 1 + 1 + 19*q**3 - 37*q**3 + q**2 + 19*q**3 + 5*q. Let j be h(-2). Are j and s equal?
False
Let l = -11.1 + 4.6. Let a = l - -6. Let m = a + 0.4. Which is bigger: -0.06 or m?
-0.06
Let q be -3*(5/12 + 18/(-24)) - 567. Are q and -570 unequal?
True
Let c = 7664/7 + -22309897/20377. Do c and 0 have the same value?
False
Let z = 2123.3 - 2124. Which is bigger: -4/57 or z?
-4/57
Suppose 0 = -4*o + 5*w + 118 - 621, 3*o = -4*w - 323. Which is smaller: -582/5 or o?
o
Let u = -195 + 193. Let l be u*((-21)/14)/(-3). Which is smaller: -1/145 or l?
l
Suppose 7*g - 81 = -2*p + 4*g, 0 = -3*p + 2*g + 115. Suppose -9*l + 30 - p = 0. Is l greater than or equal to 1?
False
Let p be (-3 + 2)/(660/(-1826)). Is 4 != p?
True
Let z = 24287/273 + 676/21. Let h = 210 + -331. Let a = z + h. Which is smaller: a or -1?
-1
Suppose 3*i - 3*o = -240, -350*i + 4*o + 50 = -351*i. Suppose -11 = 4*r + 181. Let c = i - r. Is c equal to -24?
False
Let h = 506.14145 + -0.14145. Which is smaller: h or -10?
-10
Let j = 247 + -258.9. Let v = 17.9 + j. Let k be (-7 + 3)*5/(-4). Is v equal to k?
False
Let c(s) = -13*s**3 - 149*s**2 - 68*s - 22. Let o be c(-11). Which is smaller: 60/647 or o?
o
Suppose 0 = 3*c - 2*c - 3*c. Suppose s - 9*s = c. Suppose 16*i + s + 0 = 0. Is -1/83 at least i?
False
Suppose 3 = 3*c + 4*j, -17 = c + 4*j - 10. Suppose 0 = -2*v + c*p + 11, 2*v + p = v - 5. Let f be 5 + -3 - 24/7. Is v smaller than f?
True
Let b(q) = -q**2 - 2*q - 15. Let f be b(7). Let d = -82 - f. Let p be 6/24*(-16)/d. Which is bigger: 6 or p?
6
Let d be 5/(20/4) + 4. Suppose d = 3*w - 1, -2*u - 3*w = -18. Let a be ((-1)/6)/((-7)/56)*-3. Which is greater: u or a?
u
Suppose 0 = 466*n - 484*n + 141768. Does n = 7876?
True
Let j(c) = -c - 21. Let g be j(-7). Let i(a) = -26*a + 1184. Let v be i(46). Which is greater: g or v?
v
Let g(s) be the third derivative of s**5/60 + 5*s**4/12 - 35*s**3/3 + 51*s**2. Let d be g(-14). Is -14 less than d?
False
Let d(c) = -2*c**3 - 7*c**2 + 401*c + 17. Let b be d(-16). Which is smaller: 1/1413 or b?
1/1413
Let k = 97.08 - 97. Let i = k + -0.11. Is i smaller than -9/4?
False
Let f = 0.5828 - 0.7828. Is -72/29 at least as big as f?
False
Let c be (-195)/18*(-1)/(-5). Let k be (-120)/(-18)*(-1 + -2). Let j be (4/(-5))/((-8)/k). Which is smaller: c or j?
c
Let c be (-24)/132 - 4/(-22). Suppose 0 = -c*h + 2*h + 10, 2*a + h = 3. Suppose 122 = 13*l - 21. Is a greater than or equal to l?
False
Let l(t) = t - 25. Suppose 13 - 285 = -16*s. Let a be l(s). Let r = -7 - a. Which is smaller: 1/14 or r?
1/14
Let y = 1072/93 - 6/31. Let c = -741 + 753. Does c = y?
False
Let y be 62/52 - ((-40)/16 - -4). Let z = y + 3/52. Let g = -165.74 + 166. Which is smaller: z or g?
z
Let a = 0.73 - -35.27. Let l = -39.2 + a. Suppose -24*s + 11 = -n - 27*s, -s = 2*n + 2. Is l less than n?
True
Let w = 35740 + -35743. Let b = 0.8 - -0.2. Which is bigger: b or w?
b
Let l = 833 + -898. Let y(u) = 37*u + 44. Let r be y(-3). Is l greater than or equal to r?
True
Let g(l) = 2*l**2 - 88*l - 12. Let p be g(44). Let a be (1464/54 - 4)*63/p. Which is bigger: -120 or a?
-120
Let v be (-5)/(-2 - (-5)/5). Suppose -5*o + 51 = -p - 