 = -2.059 - d. Which is smaller: -0.175 or q?
q
Let g be (0/3)/(4/(2/1)). Suppose 3*p - 2*p + 5*a + 14 = g, p - 2*a = 14. Let m be 78/108 - p/8. Which is smaller: m or 1?
m
Suppose 48*v + 208 = 46*v. Let u be 13 - 19 - 628/v. Which is bigger: u or -1?
u
Let l(p) = 236*p + 236. Let b be l(-1). Which is greater: -1/3170 or b?
b
Let n = -97309 + 190771/2. Is -1923 bigger than n?
True
Let r = -244 - -299. Let f = -1741/65 - -122138/1495. Let u = r - f. Is u < -1?
False
Let w(t) = t. Let d(p) = -9*p + 51. Let v(l) = -d(l) - 2*w(l). Let j be v(7). Let u(x) = x**2 + 5*x + 5. Let k be u(j). Which is greater: k or 7/19?
7/19
Let n be ((-27)/(-12))/(-2 - 385/(-196)). Let l = -67 - n. Is l greater than or equal to -66/19?
False
Let j be 3*(6 - 3) - 3. Suppose -q = -g - 1, 0 = j*g - g + 5*q + 5. Let z be 3 - (-6)/(-36)*100/6. Is g at least z?
False
Let c(n) = -2*n**2 - 42*n - 25. Let d be c(-19). Suppose -d - 660 = 9*s. Is -80 bigger than s?
False
Let a = 5 - 3. Let b be (-424*(-4)/(-8))/(1 + 0). Let h = 214 + b. Is h at most a?
True
Let g = 236 + -236. Let t be (g - (-7)/(-84))*-4. Is 1 at least as big as t?
True
Suppose -168*w = -169*w + 3. Let u be 2817/945 + (0 + -9)/w. Which is greater: -1 or u?
u
Let b(w) = -5*w**2 + 2*w**3 + 1 + 2 + 5*w - 7 - w**3. Let p be b(4). Let h(q) = -3*q**2 + 360*q + 1105. Let n be h(123). Are n and p nonequal?
True
Let o be (-816)/(-10) - (-4)/10. Suppose 6*b - 1201 + 711 = c, -b + 43 = -5*c. Which is smaller: b or o?
o
Let c = 46 + -45.85. Let g = c + -0.63. Let s = 0.48 + g. Is s at most -1/21?
False
Let b(z) = -194*z + 274. Let p be b(-7). Let f be (((-8)/(-6))/((-64)/p))/(-1). Which is bigger: f or 0?
f
Suppose -31 = -4*o + 3*i + 18, -o = -2*i - 16. Suppose -o*z + 4*z = 0. Suppose z = -4*f + 5 - 1. Do f and 1 have the same value?
True
Suppose 0 = 3*b + 15, 4*a - 3*b + 390 = -1587. Are -6486/13 and a equal?
False
Let w be (-2)/(-3) + (-654)/(-18) + 5. Suppose 0 = 102*j - 96*j + w. Let n = 5 + -10. Is j < n?
True
Let f be (1 - -1) + 56/(-26). Let h(g) = g**2 - 12*g - 60. Let c be h(-11). Suppose -25*b = -93 + c. Is b greater than or equal to f?
False
Let o be (-86)/(-8) - 1/(-4). Let q(d) = 43*d. Let y be q(1). Suppose 102*i - 590 = y*i. Does o = i?
False
Suppose 24 = 11*i - 8*i. Let z be (4/i)/((-1)/112). Let l be ((-12)/z)/(38/(-8) + 1). Which is greater: 1 or l?
1
Suppose -28*z = -34*z + 60. Let h be (6/z)/(-9 - (-1496)/160). Which is bigger: 1 or h?
h
Let x = 2 + 13. Let m(c) = c**2 + 25*c + 122. Let b be m(-5). Is b equal to x?
False
Let f = -68.28 + 69. Let d = 10.13 - -1.15. Let o = f + d. Which is greater: o or 5?
o
Let h = -735 + 1337. Let u be 31/(-217) + (310/h)/1. Which is smaller: 1 or u?
u
Suppose 437*r - 469*r = -56960. Is r less than 1782?
True
Let u be 8/14*(-19 + 3660/200). Which is smaller: u or 0.21?
u
Let u = 3138/5 - 612. Suppose 0 = -i - 11*i + 192. Which is smaller: i or u?
u
Suppose n - 3*b = -43, -3*n + 4*b - 129 = -b. Which is bigger: -56 or n?
n
Let o be (-3)/(-5) + 66/(-10). Suppose 15*k = 14*k + 3*l + 15, -4*k - 3*l = 0. Suppose 3*u = -k*y - 21, -2 = -2*u + 2. Which is smaller: o or y?
y
Let u(f) = f**2 + 6*f - 12. Let o(l) be the first derivative of -2*l**3/3 - 2*l**2 + 8*l + 1. Let g be o(-4). Let z be u(g). Which is smaller: z or 22/7?
22/7
Suppose 2*h = -3*d - 32, -56 = 5*d + 2*h - 4. Let g be (39/d)/(-3) - 7/(-35). Is g equal to -2?
False
Suppose 1072 = -4*y + 296. Let n = 195 + y. Are n and 2/193 equal?
False
Suppose 15 = -3*x - 3*d, 26*d - 25 = 31*d. Suppose x = 3*s - q - 20, 7*s - 11*s = -5*q - 12. Are 2/7 and s equal?
False
Suppose -5*y = -10*o + 5*o, -4*y = -3*o - 1. Is y equal to 2/13473?
False
Let l = 1477.9 + -1478. Is -18 less than or equal to l?
True
Let a be ((-44)/88)/(2/(-8)). Suppose 49 = -a*u + q, -90 = 5*u + 2*q + 2*q. Is u at most -5?
True
Let s = -199.3 + 870.3. Which is bigger: s or 1/4?
s
Suppose 0 = 7*n - 10 - 200. Suppose -58*r = -63*r + 4*z - n, 24 = -4*r - 4*z. Which is smaller: -11 or r?
-11
Let f be 6 + -15*(-6)/(-9) - -8. Suppose -3*s = -d + 7, f*s - 3*d - 11 = -27. Is 9/20 < s?
False
Suppose 15*l = 21*l - 24. Suppose l*g = 2*u - 16 + 64, -36 = -3*g + 3*u. Is g bigger than 14?
False
Let j = -3132 + 3166. Let c = -19 + 55. Is j at least c?
False
Let i be (6/(-120))/((-294)/(-15)). Let j be (-75)/(-18) + -4 + (-1)/6. Are i and j unequal?
True
Suppose 34*x = 2*a + 30*x - 6, -4*a = -x + 2. Is a less than 10/297?
True
Let a = 3406 - 10219/3. Which is smaller: -2/1107 or a?
a
Let y be ((-4)/(-117456))/(21/18476793). Let f = -839/28 + y. Let j = f - -124807/12235. Are j and 11 unequal?
True
Let k be (3168 + 34)*(45/(-6))/(-5). Let x = k - 52729/11. Which is greater: 10 or x?
10
Let t = 0.179 - 0.164. Let w = -0.595 + t. Which is bigger: 2 or w?
2
Suppose 2*u - 3*t + 18 = 3*u, -2*t = 3*u - 40. Let v be 1292/4473 + u/(-42). Is v at least 0?
True
Let k be (-1942)/60 - (15 + (-2574)/195). Suppose 19 = -2*z - 49. Which is smaller: k or z?
k
Let q(w) = 8*w - 45. Let u be q(6). Suppose i = -u*n - 4*i - 16, -5 = i. Suppose -2*o = -n + 5. Is -1/9 greater than o?
True
Let d = -170 + 227. Let x = -23 + d. Which is greater: x or -5?
x
Suppose 12 = 4*x - 4. Suppose 2*z = -8, 36 = x*j + 2*z + 12. Is 55/7 at most j?
True
Suppose -5*u + 5*j = 3210, 2146 - 232 = -3*u - 3*j. Are u and -640 equal?
True
Let t = 10268 + -10317.072. Let a = -49 - t. Let p = 0.072 - a. Which is greater: p or 7?
7
Let v be (-6)/63 + 0 - 11000/57960. Is v not equal to -1?
True
Let x = -46131833/355 - -129949. Is x less than 0?
False
Let m be (-16 - (-16 - -8))*115/90. Let n = 14 - 24. Are m and n unequal?
True
Let b = -40 + -3. Let s be b/(-5) - 8/(-20). Let j be (-123)/432 - (-2)/s. Is 0 equal to j?
False
Let s = 27 - 29. Let a be (0 - (-2 - s)) + 0 + 6. Let i be a + (-78)/12 - (-35)/2. Is 16 greater than i?
False
Let v(s) be the first derivative of -s**3/3 + 10*s**2 + 49*s - 26. Let f be v(22). Suppose -f*q - 5 = -10*q. Which is bigger: q or -63?
q
Let u = 0.063 - 0.01. Let j = u - -0.247. Suppose 5*n = -2*v + 17, 3*n - 4*v + 4 = 7*n. Is n bigger than j?
True
Let f = -378 + 377. Which is smaller: 19/56 or f?
f
Suppose -62*i + 3042 = 314. Let q = -0.9 + 0.4. Let b = -0.4 - q. Does i = b?
False
Let o(s) = -13*s - 489. Let z be o(-11). Is -346 <= z?
True
Let k be 36/63 + 123/(-56). Let j be (3/(-9))/((-4010)/(-1335) - 3). Let r = 86 + j. Is r > k?
False
Let p = 81 - 81. Let f be (-15)/6*(-4 - (-200)/49). Which is smaller: f or p?
f
Let z = 56.67 + -51.67. Which is bigger: 96.8 or z?
96.8
Let m be 1 + (-462)/(-8) - (31 - 2625/84). Is m smaller than 235/4?
False
Suppose 0 = 46*u - 14*u + 23296. Is -727 > u?
True
Suppose 5*g - 16 = 4*w, 3*w = -g + 2*w - 4. Suppose g = 7*q - 10*q + 72. Is 24 greater than q?
False
Let o be (99/(-46486))/(-3)*(-1 - 85/(-90)). Which is bigger: o or 1?
1
Suppose -11 = 3*i - 0*q - 2*q, 3*i - 4*q = -1. Let p be -3 + -1 + (-564)/(-12). Suppose -34*n = -p*n - 81. Is i bigger than n?
True
Suppose 2*j = 3*k - 0*j - 7167, -5*j + 9579 = 4*k. Let n = -112373/47 + k. Let x = -313/2021 + n. Which is greater: x or 0?
0
Let l = -4125 - -3486. Is -6 less than or equal to l?
False
Suppose 4*q = -s - 5, -5*q + 2*s + 10 = -6*q. Let a = 45.97 + -46. Do a and q have the same value?
False
Let g = -186 + 144. Let h = -42.1 - g. Which is smaller: 0.24 or h?
h
Let w = 9713.2 - 9726. Which is greater: w or -4?
-4
Let n = -7/1251 - -5255/2280573. Which is smaller: n or -1?
-1
Suppose -4*m = -v + 6*v - 60, 5*v = m + 10. Let z be 594/2030 + m/(-35) + 0. Let k = 446/1595 - z. Which is smaller: k or 2?
k
Let s be ((-108)/9 - 250)*30/64*2. Is s greater than -247?
True
Let c(g) = 2*g + 3. Let a be c(3). Suppose -3*j + i = -a, -j = -i - 2*i - 11. Let f(n) = -n**2 - 12*n + 136. Let x be f(-19). Is x >= j?
True
Suppose -5*w = 5*n - 40, 178*n = 173*n + 3*w + 24. Let b(v) = 2*v**2 - 5*v. Let q be b(4). Are q and n equal?
False
Let l(w) = 65*w**2 + 2*w. Let k be l(-1). Let r be ((k/9)/(-7))/(1/(-2)). Is 11/5 smaller than r?
False
Let q(s) = -s**3 - 7*s**2 - s - 7. Let t be q(-7). Let k be 0/(-1 + t)*6/(-6). Let n be k - (12/(-8) - 13/(-22)). Is 0 <= n?
True
Let z = -26 + 18. Let n = z - -50. Let b = n + -42.03. Does b = -0.1?
False
Let u = -1010 + 1014.5. Let j = -20 + 13.1. Let m = u + j. Is m smaller than -1/3?
T