be q(0). Which is smaller: 2723 or f?
2723
Let d = 3428 + -3430. Which is smaller: -9.55 or d?
-9.55
Let y be 19504/5936*3/23. Which is greater: y or 6505?
6505
Let r(x) = 4*x + 15. Let m be r(-3). Suppose -8*w - 10 = 5*v - m*w, 0 = -5*v - 3*w - 6. Suppose 5*z + 6 - 1 = v. Which is smaller: z or 5/6?
z
Let v = 34 - 31. Suppose x - 8 = -v*x. Let w be -4 - (-8 - -1) - x. Which is greater: w or -2/157?
w
Let q(g) = -216*g. Let k be q(-6). Let l = 76466/59 - k. Let r(n) = 6*n**3 - 380*n**2 + 131*n - 315. Let d be r(63). Which is bigger: l or d?
l
Let s = 205.84 + 4.16. Let b = 211 - s. Which is bigger: b or -11?
b
Let x be (15/(-6))/1*(-108)/10. Let b be 72/48 - 5/(60/x). Which is smaller: 21/5 or b?
b
Let z(k) = 5*k + 13. Let m be z(-2). Let v(u) = -4*u**3 - 4*u + 13. Let c be v(m). Do c and -105 have the same value?
False
Let g be (1028/19)/(-1) - -21*(-4)/(-14). Do g and -48 have the same value?
False
Let u(v) = v + 6. Let h be u(-5). Suppose -4*z + 21 = h. Let t(w) = w + 4. Let y be t(0). Which is smaller: z or y?
y
Suppose 13*q = 8*q - 5, 1165885 = 5*b + 5*q. Let p be b/(-264) - (-1)/4. Which is greater: 0 or p?
0
Let c be 3/6*1*-298. Let s = -1863/14 - -3733/28. Is c != s?
True
Let d(x) = x - 8 + 152*x**2 - x - 149*x**2. Let w be d(-7). Is w < 139?
False
Let b be 18/(-90) + (-30752)/(-10). Let n be b/164 + 1 + (-3)/4. Suppose y = 7 + n. Which is smaller: 23 or y?
23
Let w = 19637 + -19635. Suppose i - 4*p + 23 = 0, -p - 2 = -7. Which is smaller: i or w?
i
Let h(i) = -6*i + 4. Let s = 46 - 49. Let k be h(s). Suppose k = -2*u - 2*q - 6, 3*u - 4*q + 63 = 0. Is u greater than or equal to -16?
False
Suppose 5 + 0 = 5*m, 0 = 4*f - 2*m + 14. Let h(x) = x**3 + 3*x**2 + 4*x + 7. Let u be h(f). Let w(z) = z - 1. Let p be w(-5). Which is greater: p or u?
u
Let c = -2.2 - 4.8. Let a = -94.289 - -94. Let k = a - 0.011. Is k greater than or equal to c?
True
Let u(o) = 17*o. Let q be u(0). Suppose 3*b - 4*p + 101 = -8*p, 5*b - 3*p + 207 = q. Which is greater: b or -3?
-3
Suppose -2*p + 75 = 3*p. Let h(u) = 2*u - 26. Let j be h(p). Suppose 0 = -j*a - 4*a. Which is greater: a or 2?
2
Let q(i) = -2*i**3 + 14*i**2 + 34*i - 409. Let m be q(10). Which is bigger: m or 21?
21
Let k = 975 - 1956. Do k and -980 have different values?
True
Let t = -89.1898 - -0.1898. Do -2.6 and t have the same value?
False
Let a = 1147/1425 - 21/25. Suppose 2*n + 3*m = -19, 0*n - m = 3*n + 11. Is n at most as big as a?
True
Let l = 13.579 - 36.579. Is 153 < l?
False
Suppose 3*r + 102 = -2*r - 2*f, -3*r - 3*f = 63. Let m = -20 - r. Suppose -2*g + 40 = -m*g. Is g < 21?
True
Suppose 5*b - 16 = 3*u + 14, 0 = -5*b. Let d be 4/(-38) + 27573/399. Let y = -77 + d. Which is smaller: u or y?
u
Let q be (-2)/(-13) + (-255)/221. Let l be q/9*2077 + 0. Let r = l + 231. Is r greater than 12/7?
False
Let t be (-671)/(-61) + (0 - 2285)/5. Is t > -2224/5?
False
Let s = -221009 + 221011. Let o = 5.012 - 5. Which is greater: s or o?
s
Let i be (-3)/(-5)*(-110)/11*76/(-8). Is 53 greater than or equal to i?
False
Let s = 0.2 - -0.6. Let f = -5909165/38549 + 22/5507. Let i = 153 + f. Which is smaller: s or i?
i
Suppose 38*q + 35*q - 145185 - 187257 = 0. Which is smaller: 4553 or q?
4553
Suppose -3*h = 2*s + 25, -2*s - 7 + 22 = -5*h. Suppose -2 = -y + 26. Suppose -y = v + 3*v. Is v less than s?
True
Suppose -21*l + z - 24784 = -18*l, -2*l = z + 16526. Let p = l - -107460/13. Is 1 > p?
False
Let v(c) = 7 + 191 + 77 - 16*c - 32 - 19. Let a be v(14). Do a and 1/454 have the same value?
False
Let l(z) = -3*z**2 - 18*z - 44. Let n be l(-4). Is n greater than or equal to -14?
False
Let p be 5 - (-7)/(14/8). Let k be ((-6)/2)/p*(-18)/1. Let w be 5/(-45) - (-138)/27. Which is smaller: w or k?
w
Let z = -13.9145 - 89.0855. Let u = 1 - 0.9. Which is smaller: u or z?
z
Let s be -3*1/12 - (-7085)/(-2444). Is s bigger than -2?
False
Let s = -2068/65 - -411/13. Are 731 and s non-equal?
True
Let z = 207 - 355. Let w be (-3 - (-26 + 5))*z/6. Let g be ((-2)/(-4))/((-6)/w). Which is smaller: g or 38?
g
Suppose -38*d + 1625 = -34*d - 9*v, 0 = -v + 7. Which is greater: 424 or d?
424
Suppose 3*m + 29 = 41. Let y = 1 + m. Suppose -y*g = 3*w + 162, 176 = -5*w + 3*g - 60. Is -50 less than w?
True
Suppose 0 = -36*j + 66*j + 12*j - 42. Is -1/126 at most j?
True
Let k be -95 - -102 - (1 + 7). Let t = 732258/235 - 3116. Does t = k?
False
Let b(j) = -57*j + 267. Let v be b(5). Let x(l) = 2*l + 3. Let n be x(4). Let d = n + -25. Is v greater than d?
False
Let q be -175 - (-6)/6 - -2. Let s be q/6*(-4 + 49/(-14)). Are s and 215 non-equal?
False
Let r = 44 - 22. Let j be (7 - (-54)/(-6)) + -2 + 23. Which is bigger: j or r?
r
Suppose -69416 = 114*d - 17483 + 53973. Is -2/5 less than d?
False
Let u(z) = 85*z + 2189. Let h be u(-6). Which is smaller: h or 1682?
h
Let x be (-276)/(-736) - 14/16. Which is smaller: x or 0.446?
x
Let u be (5/(25/(-12)))/(48/120) + 3. Are -1165 and u unequal?
True
Let o be (-216)/111942*103962/(-52). Let w = o - 8/691. Is 4 smaller than w?
False
Suppose -8*p - 7980 = 20*p. Let n be (-3)/(-2) + (-8595)/30. Do p and n have the same value?
True
Suppose -52*p = 169 + 91. Let b(m) = -m + 6. Let u be b(4). Let h be (2 + -2)*u/4. Which is greater: p or h?
h
Let k = 6.7 - 0.7. Let v = 0.303 + 120.697. Let y = v - 120.91. Which is smaller: y or k?
y
Let l be (7 - 16*-4)*-27. Let n be (l/480 - -2) + 2. Are 1 and n equal?
False
Let d = 102 - 27. Let z = 91 - d. Let u be (-9)/((-585)/z)*5/(-2). Which is greater: u or -2?
u
Let p be (0 + 2/(-5))*-15. Let z be (-38)/(-8) - (-105)/(-60). Suppose i = 4*w + w - 20, 5*w = z*i + 10. Is p bigger than i?
True
Suppose i - 31 = -21. Suppose i*t = 33 + 47. Which is smaller: 3 or t?
3
Let d be (-19 + -1)*(1 - 0). Let l be (0 - -7)*(-3 + (-23)/(-7)). Let k be (-7)/(-35) - (172/10 + l). Is k < d?
False
Let q = 78 + -105. Let c = 7.2 - -1.7. Let d = c + -9.2. Which is smaller: d or q?
q
Let j be 5509/(-5698) + 272/(-44) + 6. Is 1 bigger than j?
True
Let l be (-3)/((-86)/(-4) + -3 - 2). Let k = -2243 + 2245. Is l smaller than k?
True
Suppose -5*p - 3*t = -58, 4*t - 49 = -4*p - t. Suppose q + 39 = 2*f, 5*f + p - 116 = q. Suppose -f = -5*w + 23. Is 11 smaller than w?
False
Let k = -129.4 + 146.4. Which is smaller: -18 or k?
-18
Let x be 13*(90 + -8)*(7 - 8). Is x <= -2/5?
True
Let t = 506 - 392. Let r = t - 119. Which is smaller: -52/11 or r?
r
Let s = -108 - -47. Let k = s + 60. Is k at most 1.15?
True
Let a = -4694/3 + 1582. Let g = 367/21 - a. Is g >= -7?
True
Suppose -5*g = -g + p - 5, 3*g + 21 = -9*p. Which is smaller: 49/95 or g?
49/95
Let t = -4070 + 1721609/423. Are 55 and t equal?
False
Let d = -15547 - -15546.299. Which is smaller: d or -5?
-5
Suppose 0 = 6*b - 3*b + 384. Let q = b - -123. Do -4 and q have the same value?
False
Let j = 104 + 39. Let o = j - 73. Suppose h + o = 6*h. Is 18 not equal to h?
True
Let j be -2*3/6*20/(-6). Let p(t) = -4*t + 19. Let x be p(4). Are x and j unequal?
True
Let n = 155 - -87. Let z = 291 - n. Is 145/3 at least z?
False
Let g be (-3)/15 + 3/5. Let x = -714 + 716. Which is smaller: x or g?
g
Suppose 0 = -4*w - 1 + 9. Let s be (18/(-4))/(315/(-11760)). Suppose -s = -9*c - 231. Is w at most as big as c?
False
Suppose 8*a = 6*a - 2. Let b = 12 - 22. Let n be b/35 - (-3)/35. Which is greater: n or a?
n
Let s be ((-6)/(-2) - 0) + 277245/(-92655). Let v = 3/71 - s. Is v <= 0?
False
Let s be ((-6)/8)/(31 + -1 + 1845/(-60)). Let d = -4.257 - 0.043. Which is bigger: d or s?
s
Let w(k) = 9*k + 0 - 1 + 9 - k**2 + 2*k**2. Let t be w(-8). Let j = 3/29413 + 58649/1735367. Which is smaller: j or t?
t
Let f = 2298.4 - 1452. Let k = -846 + f. Let h = -4 + 8. Is h greater than k?
True
Let u be (-12)/30*(-1 - 2/8). Let l = -343 - -2063/6. Which is greater: u or l?
l
Let x = 6.1 - 0.1. Let t = 15165.17 + -15165. Is t smaller than x?
True
Let j(i) = -5*i**3 + 27*i**2 + 39*i - 91. Let p be j(12). Is -4373 greater than or equal to p?
True
Let d = -1426 + 1427. Is d less than or equal to -249?
False
Let i = -1830 - -1800. Which is greater: i or -106?
i
Let o = 883.2 - 883.34. Let g(h) = -4 - 5*h - h**2 + 3 + 4. Let p be g(-5). Which is smaller: p or o?
o
Let l be (1 + 8/(-7))*(-974 - 276). Is l at least 179?
False
Suppose 2*b - h = 8, -4*h = b + 2*b - 1. Suppose b*