- 3*i + 12. Let m(d) = -6*q(d) - v(d). Let k be m(-5). Let y = -0.04 + -6.96. Is y > k?
False
Let s be (-1)/(-3) - 42/(-9). Let g = 265 + -254. Suppose -g*u + 6*u = s. Which is bigger: u or -3/8?
-3/8
Let h = -7694655/4 - -89835069173/46700. Let j = h + 18/467. Which is smaller: 0 or j?
j
Let f = 0.878 + -0.95. Let z = 0.072 + f. Which is smaller: z or -20.4?
-20.4
Let b = -40 + -121. Let y = b + 160. Is -1/248 equal to y?
False
Suppose 1299*q - 1298*q = 0. Let g = 60921/43 - 1417. Which is bigger: q or g?
q
Let l = -13.774 - -12.774. Which is smaller: l or 15848?
l
Let g = -0.5918 + 1.7718. Is g less than 1?
False
Let v = -1209 - -1727. Let d be 2/7 - v/784. Let c = -1 - -2. Which is smaller: d or c?
d
Suppose -3*p - 7 = -3*s + 200, 4*s - 3*p - 273 = 0. Let t be -1 + (-11)/(s/96). Which is smaller: t or -15?
t
Let r = 0.92 - 1. Let v = r - 14.92. Let s be ((-232)/42)/4 - 1915/(-1149). Which is smaller: v or s?
v
Suppose -5*q - 3*o - 8088 = 0, -24*o = -2*q - 26*o - 3240. Which is bigger: -1615 or q?
q
Suppose -5*y + 21 = -4*m, -4*y - 3 + 22 = -m. Let k = 16/13 + -718/689. Is m at least as big as k?
True
Let o(n) = n**3 - 14*n**2 - 29*n + 453. Let x be o(14). Is x at most as big as 625/13?
True
Let y(c) = c**2 - 13*c + 56. Let w be y(13). Let l be (w/574)/(3/3*5). Is 0 not equal to l?
True
Let f(u) = 5*u**2 + 2*u - 2. Let r be f(-2). Suppose 4*t = r*t - 30. Suppose 0*y + 3*y - 10 = -4*k, -t*y + 4 = -2*k. Are -6/35 and k equal?
False
Suppose -29*z + 38 = -33 + 42. Is 1/20147 <= z?
True
Let o = -25892 + 4272208/165. Let p = 3604/495 - o. Is 8 less than p?
False
Let x be ((-8)/(-20))/((-1)/(-5)). Suppose -x*y + 2 = -6. Let i = 1234/3 + -408. Is i greater than y?
False
Let z = -20.2 - -105.9. Let m = z - -13.3. Let r = m - 131. Which is bigger: r or 0.2?
0.2
Let f = -461603/7 - -66183. Does f = -0.2?
False
Let o = 23861 - 24495. Is 1/2 at least o?
True
Let t = -972/1205 - -98/241. Suppose -5*x - 15 = -110. Let k = -35 + x. Which is bigger: k or t?
t
Suppose 102*l + 22684 = -9*l + 5*l. Is l greater than or equal to -208?
False
Let v = -157 + 4. Let w = 152.86 + v. Let g = 3.9 - 4. Which is bigger: w or g?
g
Let a = -15 + 10. Let j = 5 + a. Let n be (-19)/182 - (-165)/(-4290). Which is smaller: n or j?
n
Suppose m + d - 2*d = 0, m - 5*d - 8 = 0. Let g be (10 - 11)/(m - -3). Which is bigger: g or 1/599?
1/599
Suppose -5 = -d - 5*q - 4, -2*d - 2*q + 2 = 0. Let g be 4/38 - (0 + 898215/(-95)). Let w be (-2)/5 + 1342/g. Are w and d nonequal?
True
Let m be (-2 - (-33)/9)/(17/(-51)). Let z(s) = 8*s + 19. Let v(i) = i. Let h(k) = -6*v(k) + z(k). Let c be h(m). Is c <= 12?
True
Let z be 6/(-4)*1/(10 - (-283538)/(-28352)). Which is bigger: z or 2363?
2363
Let l be 8/(-31)*49/(-2254). Which is bigger: l or 0?
l
Let c = -38 + 32. Let j be 468/(-63) - c - (-3)/7. Which is smaller: 3/497 or j?
j
Let v be 49 + -62 + 13/1. Do 13/36 and v have the same value?
False
Suppose u = 14*u - 390. Let o be 6/15 - 397/u. Let g(b) = -5*b + 2. Let k be g(3). Does k = o?
False
Let w be 3/(-21)*-2*1. Let c = 105.92 - 74. Let o = -31.9 + c. Which is smaller: o or w?
o
Let z(d) = 3*d**2 + 24*d - 25. Let n be z(1). Which is smaller: -2305 or n?
-2305
Let m(j) = 5*j**2 - 26*j. Let u(v) = v**2 - 5*v. Let z(f) = 2*m(f) - 11*u(f). Suppose 0 = 3*c + 2 - 17. Let q be z(c). Are -9 and q nonequal?
True
Suppose 51*v - 43*v + 216 = 0. Let t be 144/v + (-2)/(-6) - -23. Which is smaller: 77/4 or t?
t
Let v = -230 - -233. Let c be (-1)/(4 - (0 + v)). Does 2/23 = c?
False
Let i = 20 - 18.5. Which is bigger: -3/40 or i?
i
Let w(r) = -r - 2. Let l be w(6). Let o = 52037/315 + -1621/9. Let s = o + 54/7. Which is smaller: s or l?
l
Let a = 13168 - 13060. Suppose 5*c + 93 = r, r - 82 - 39 = -2*c. Which is bigger: a or r?
r
Suppose 4*d - 26 = -5*z, 5*d + 4*z = -2 + 21. Are -14/879 and d nonequal?
True
Let u be (-3 + 18/10)/((-2)/15). Let x(y) = 7*y - 3. Let o be x(1). Suppose -3*s + o*s = 2*s. Which is bigger: u or s?
u
Let o = -0.09089 - 9.90911. Which is smaller: -0.784 or o?
o
Let j = -37 + 22. Let h(t) = 2*t**3 + 7*t**2 - 10*t - 8. Let z(f) = 3*f**3 + 7*f**2 - 11*f - 8. Let d(s) = -4*h(s) + 3*z(s). Let l be d(4). Is l less than j?
False
Let y = -18266 + 17611. Is -658 less than y?
True
Let g be 13910/(-12740) + 10/4. Which is smaller: g or 1?
1
Let y(i) = 3*i**3 - 11*i**2 + 14*i - 6. Let o be y(4). Suppose 86 = -5*q - 2*c, 6*c - 3*c = -4*q - o. Which is bigger: -21 or q?
q
Let q = -7 + 7. Let b be (2 + -6 - q - 0) + 54. Is 51 at least b?
True
Let i = 0.04397 + -68.04397. Which is smaller: -3/2 or i?
i
Let a(b) = -1188*b**2 - 136*b + 19. Let y be a(-5). Is -29000 less than y?
False
Let r be (-53)/(-17) + (-1 - 2). Suppose 11*s - 65 = -21. Suppose -2 = s*p - 2*p. Which is smaller: p or r?
p
Let n be 18/78 - 4674/(-533). Let p = 27 + -32. Is p not equal to n?
True
Let n = 1636/7 - 1628/7. Which is smaller: 30 or n?
n
Suppose 2*r - 2566 = -3*g, -3075*r + 3078*r - 2565 = -3*g. Which is greater: 858 or g?
858
Suppose g + 17*v - 16*v - 1027 = 0, 3067 = 3*g - 4*v. Are 1025 and g equal?
True
Let t = 899498/11373 - 100/669. Does t = 79?
False
Let j(o) = -o**2 + 16*o + 26. Let b be -6 - (-14)/7 - -4. Let z be j(b). Do 26 and z have the same value?
True
Let u = 23 - 47. Let x be (u/(-9) - 3)/((-2)/18). Let d be -3*(-3)/x*21/9. Do 7 and d have the same value?
True
Let s(l) = -l - 1. Let j be s(5). Let d be (-3)/4*16/(-12). Let t be (j/3)/(-9 + d). Which is bigger: -1/2 or t?
t
Let q be 45/45*0/3. Which is bigger: q or 2/2899?
2/2899
Let i = -68/55 + 39184/31515. Which is smaller: i or -1?
-1
Let g = -130.678 + -0.322. Let i = g - -135. Which is greater: -3/4 or i?
i
Let q = 121 - 97. Let p be 3*(2 - (-62)/(-6)). Let f = q + p. Is f at least -1/18?
False
Suppose 120*p - 640 = 130*p. Which is bigger: p or -55?
-55
Let r be (1/(-2) + 2)*2/3. Let f be ((6/9)/r)/((-3)/(-18)). Suppose 2*h + 5*q - 10 = h, -3*h = f*q - 8. Which is greater: -7 or h?
h
Let o = 142 - -28. Let p = o + -169. Let j = -12 - -11.55. Which is smaller: j or p?
j
Let m = 608 - -96. Which is smaller: 2/3 or m?
2/3
Suppose -4*u - 2*l + 2 = 0, -4*l - 24 + 28 = 4*u. Let o = -1/11207 + -33085/6006952. Which is smaller: u or o?
o
Let z be 4143/(-5073) + 241/4579. Do z and 1 have the same value?
False
Let i = 0.001 + 39.999. Let h = i - 39.953. Let f = h - 0.147. Which is smaller: -26 or f?
-26
Suppose -3*h + 8 = -h. Suppose -234 = -2*c + 3*p, 11*c + h*p + 112 = 12*c. Is c greater than or equal to 123?
False
Let s be 57/(-76)*(-32)/6. Suppose -2*u + 8 + 14 = w, 0 = -4*w + 2*u + 38. Let m be 53/6 - (-2)/w. Which is smaller: m or s?
s
Let y = 25547/63159 + -102/569. Is 0 equal to y?
False
Let i be ((-9)/(-18))/(246/16). Let w = i + -314/2091. Let v = 13 - 18. Which is smaller: v or w?
v
Let m = -204 - -206. Suppose 264 = 12*a - 12. Which is smaller: m or a?
m
Suppose -i = 4*h - 8, -5*i + 3*h = h - 18. Let w be 99/22 - (-2)/i. Suppose 4*j = -w*n + n + 340, -3*n = 15. Which is smaller: j or 91?
j
Let t = 2155 + -2155. Which is smaller: t or -16/153?
-16/153
Suppose 0 = x - 2 + 3. Let q be ((-196)/6)/(x/(-6)). Let z be -2*((-10 - -9) + q/(-194)). Is z smaller than -1?
False
Let s be 0/(1 + 2/(-1)). Let c be 78 - 74 - 2234/2. Let d = c - -106849/96. Which is greater: d or s?
d
Let q = 844 + -848. Let r be 9/(-12) + 2*-2. Is r <= q?
True
Let s be 2/115 - 0*8/32. Which is smaller: -1 or s?
-1
Let h = 3/377332 + 700829/6771222740. Are h and 0 non-equal?
True
Let m(t) = -3*t**2 - 14*t + 45. Let b be m(16). Is -946 equal to b?
False
Let m = -295 + 263. Let f = m - -97. Is 1 > f?
False
Let q = -144694/9 + 16050. Does q = -2?
False
Suppose -4*z - u = -1, -z - 2*u - 163 = -158. Which is smaller: -1/1837 or z?
-1/1837
Let b = 3/10846 + 2242409/5423. Let w = -5745/14 + b. Is w not equal to 3?
True
Suppose -3*m + 1792 = -2*a - 3*a, 1073 = -3*a + 4*m. Let r = a + 358. Do 1/56 and r have the same value?
False
Suppose -123*q - 66*q - 7435449 = 0. Do q and -39340 have different values?
True
Let q = 569 - 4559/8. Suppose 1 = -f + 3. Suppose 6*i - f = 7*i. Which is greater: q or i?
q
Let m = -3 + -5. Let p = 7 + m. Suppose -18*b + 50 = -5*s - 13*b, 5*s - 2*b = -47. Is p < s?
False
Let c(u) = -u**3 - 43*u**2 - 154*u + 74. Let a be c(-39). Is a greater than -204/61?
False
S