and g have the same value?
False
Let d = -0.041 + 9.241. Let w = 26.7 + -36. Let p = d + w. Which is smaller: p or -0.38?
-0.38
Let x = 16.3 + -16.2. Let v = 46.1 - x. Which is smaller: v or 1?
1
Suppose 3*q = -w + 12, 2*q = 3*w - 2*q + 16. Let g be w/(0/(-2) - -1). Are 2/357 and g unequal?
True
Let a(r) = r**3 - 39*r**2 + 3*r - 121. Let w be a(39). Let s = 476 - 3366/7. Which is smaller: s or w?
s
Suppose -4*z + 969 = 945. Let a be (-17)/(-2)*17/((-17)/z). Is a != -47?
True
Suppose -5232 = 28*k - 22340. Let z = k - 588. Does z = 26?
False
Let g = -35 - 0. Suppose -80*y = -83*y - 3*h, 2 = y + 3*h. Which is smaller: y or g?
g
Let z be 33/(-30)*2*4. Suppose u + 0*u = 27. Suppose 0 = -4*b - 67 + u. Is b > z?
False
Let j = 9683 + -9356. Is j greater than 327?
False
Let f be 13/((-13)/(-2)) + 61/(-54). Which is smaller: f or 0?
0
Let z be 2 - (-438 + 20) - (-10 - -1). Which is smaller: z or 3854/9?
3854/9
Let o = -299.4 - -299.35. Which is bigger: o or 155?
155
Let s = 394 - 170. Let b = s + -223.59. Is 3 at least as big as b?
True
Let v = -27342 + 27341. Is 2/64821 greater than v?
True
Let i be ((-60)/280)/((-18)/14) - (-93)/6. Which is greater: i or 0.14?
i
Let n = -102 + 96. Let x(q) = q**2 - 33. Let w be x(n). Let h be w - ((-1 - -2) + -2). Which is bigger: h or 28/9?
h
Let t be (-32)/(-10)*(-35)/2 - 4. Let n = -81 - t. Let m be (-9)/n*14/(-147). Are -1 and m equal?
False
Let s(r) = r**3 - 8*r**2 - 3*r - 60. Let y be s(9). Let h be y/(-54)*(-9)/246. Which is greater: -1 or h?
h
Suppose -4*a = -4*n - n - 725, 2*a - 335 = -3*n. Let t be (69/26)/(2/(-132)). Let r = t + a. Is r at least as big as 0?
False
Let o(x) = 6*x + 106. Let j be o(-33). Is j bigger than -2336/25?
True
Let d = -74 - -79. Suppose -d = 3*a - 2. Is -3/4 at most as big as a?
False
Let o(p) = p**2 + 11*p - 246. Let u be o(8). Which is smaller: u or 9?
u
Let p = -220 - -1982/9. Let v(i) = 91*i**2 - 4*i - 3 + i - 66*i**2. Let r be v(-1). Is p less than r?
True
Let u(w) = w**3 + 14*w**2 + 26*w + 29. Let y be u(-12). Let k be 180/(-216)*17/y. Which is greater: -3 or k?
k
Suppose -866*l + 1526 = -859*l. Let j = l + 99. Which is greater: 316 or j?
j
Suppose -2*r - 2*w = -748, 18*w - 20*w = -3*r + 1087. Which is bigger: r or -2/3?
r
Let k = 162149521/1617 - 100278. Which is smaller: k or -1?
-1
Let u = 4142.8 + -4440. Which is bigger: -1 or u?
-1
Let m be (-36)/(-8) - 6*2/8. Suppose -26*r + 27*r - m*d = 1, 5*d + 3 = r. Which is greater: -42/13 or r?
r
Suppose -24525 = -5*i - 142*n + 139*n, 2*n = 4*i - 19598. Is i greater than 4902?
False
Let a be ((-150)/(-120))/((-1)/(-4)). Suppose -a*k = u - 27, 0 = 4*u - 4*k - 195 - 33. Which is smaller: 203/4 or u?
203/4
Let r(k) = 39*k + 124. Let m be r(-5). Which is smaller: m or -57?
m
Suppose 0 = -2*t - 5*g - 55, -3*t - g - 66 = g. Let q = -180 - -255. Let p = q + -96. Which is smaller: t or p?
p
Let p(y) = y**3 + 30*y**2 - 27*y + 128. Let u be p(-31). Let t be u/12 - 6/9*2. Is t at least 2/1915?
False
Let d(c) = 5*c + 37*c**3 - 4*c**2 - 26 + 2*c - 36*c**3. Let m be d(4). Which is greater: m or 0.3?
m
Let l = -86 + 96. Let m be ((-1 - 0)/1)/(l + -11). Suppose 6 = 2*j - i + 1, j + 3*i = 20. Is m greater than j?
False
Let x(o) = -127*o + 891. Let s be x(7). Are s and 102 nonequal?
True
Let d be (-54)/4 + 4/8. Let w(j) be the second derivative of -j**3/6 - 27*j**2/2 - 11*j + 1. Let q be w(-27). Is d greater than q?
False
Let i be (-10)/14 - (3 - 330/70). Is 6/2477 less than or equal to i?
True
Suppose 5*d + 4*l + 10 = 0, 9 = 4*d - 4*l - 19. Suppose -d*w - 115 = 3*w. Suppose -83*x = 257*x + 3491 + 5009. Which is greater: x or w?
w
Let m = -37121/4 - -9106. Which is smaller: m or -1?
m
Let u = 53 - 48. Suppose -u*z - 13 = -n + 30, 5*n - 236 = 4*z. Suppose -a = a - n. Are a and 25 unequal?
True
Suppose -50 = -4*t + 6. Which is bigger: t or 290/19?
290/19
Let p be (-10)/15 + 58/6. Suppose u - p*o = -4*o + 31, -2*u - 4*o + 20 = 0. Are u and 14 non-equal?
True
Let b be 18/(-24) + (-300875)/(-116). Is b <= 2591?
False
Let d = -5391/629 - 190/37. Which is smaller: d or -13?
d
Let y be ((-130)/10 - -11)*(-2 + 0). Suppose 5*x + 3579 - 539 = 2*q, -y*x - 2432 = 4*q. Which is smaller: -609 or x?
-609
Let n be (-2)/9 - (-5 - (-2415472)/505584). Is 1 greater than n?
True
Let x = 87.6 + -26. Let a = 61 - x. Let i = 1 + -3. Is a greater than or equal to i?
True
Let p = 15 - 56. Let t = 41.71 + p. Let m = t + -1.81. Which is bigger: -2 or m?
m
Let x = 13771 - 13761. Which is bigger: x or -588?
x
Let b(y) = 3*y**2 - 107*y + 184. Let d be b(34). Which is smaller: -207 or d?
-207
Let z(h) = -2*h**3 - 63*h**2 - 417*h - 23. Let c be z(-22). Let x = -19 - 26. Are c and x non-equal?
False
Suppose 5*p = 0, 0 = -3*s - 2*s - p. Suppose 2*a + 2 = -s, -a = -2*j - 31. Which is bigger: j or 4?
4
Let t(b) = b - 9. Let u be t(4). Let l be (22/(-330) + (-2)/u)*111. Is l equal to 39?
False
Suppose 2*p = -39*y + 42*y - 86, 2*p - 110 = -4*y. Which is greater: 416/15 or y?
y
Let s = 12 - 11. Suppose 0*c = 4*c + 2*w - 192, -12 = 3*w. Let y be ((12/(-130))/(-3))/(10/c). Do s and y have the same value?
False
Let q be (7839/52)/3*(-128)/12. Is q less than -526?
True
Let j = -64.6129 + -0.0871. Let y = 66.7 + j. Which is smaller: -0.025 or y?
-0.025
Let q(f) = f**2 + 4*f + 1. Let h be q(-3). Let d = h + 10. Let u(g) = -3*g**2 + 119*g + 50. Let b be u(40). Which is greater: b or d?
b
Let h(w) = 56*w - 4939. Let y be h(-16). Which is smaller: y or -5836?
-5836
Let t be 2/(-1 - -5)*207. Let r = t + -3109/30. Let w = -1866.96 - -1867. Which is smaller: r or w?
r
Let d be (-6)/(-232)*(2 + (-28)/12). Let r(l) = 6*l**3 - l**2 - 7*l - 2. Let y be r(-3). Let z = y - -152. Which is smaller: d or z?
d
Let h be 54/3326*242/(-118). Let v be (-45)/49890*-2*(-4)/12. Let d = v + h. Is d >= -1?
True
Let x(y) = 3*y**2 + 107*y - 656. Let g be x(-41). Is g smaller than 64/795?
True
Suppose 0 = -16*c - 174 - 146. Let s be -2 + (c + 1)*1. Are s and -26 unequal?
True
Let f be ((-49)/4 - 0)*(-27 + -25). Is f less than or equal to 638?
True
Suppose -62730*v - 82 = -62689*v. Suppose -5*y - f + 34 = -2*f, -4*f = 2*y - 18. Which is greater: v or y?
y
Let d = -444 - -447. Suppose d*g - 45 = -3*m, 3*g = 2*m + 63 - 68. Which is greater: 1 or m?
m
Suppose -7081*f + 7073*f = -12160. Is 1518 at least f?
False
Let y = 584933 - 2915462/5. Are 1841 and y equal?
False
Let u be (-30)/((6/2)/((-6)/(-4))). Let r = u - -12. Does r = -0.65?
False
Suppose 0 = 354*k + 64362 + 11394. Let g = -655 + 441. Are g and k unequal?
False
Suppose i + 2 = 0, -344*i + 342*i - 3774 = -5*s. Are 756 and s equal?
False
Let d = -3 - -5. Let c = 42351/8945 - -117/1789. Which is smaller: c or d?
d
Let m = -2 - -1. Let q = 36159/4 + -148360369/16412. Let i = q + -8364/324137. Which is smaller: m or i?
m
Suppose -4*g - 48 = -4*b, -5*g = -2*b + 3*b - 30. Let y be (-6)/(-24)*(-8)/b. Which is bigger: y or 30?
30
Let l = -233038 - -233044. Let n be (-16)/(-18) + (-2)/9. Is n at least as big as l?
False
Suppose -2*v = -4 - 0. Let o be 2*((-1)/3)/((-2212)/(-105) - 21). Which is bigger: v or o?
v
Let x = 14.11 + -14. Let z = x - -0.09. Let l = 1031 + -1043. Which is bigger: l or z?
z
Let s = 82 + -21. Let z = s + 0.1. Let b = z + -61. Which is smaller: b or -32?
-32
Let x = 25 + -5. Suppose 4*y = -y - x. Let h be (-6)/y + 6/(-4). Is -1/32 less than or equal to h?
True
Suppose -5*m + 4*l + 38 = 0, -38 - 3 = -5*m + 3*l. Let w = -0.293 + -0.007. Is w > m?
False
Let a(u) = -19*u - 1 - 11 + 2*u + u**3 + 13*u**2. Let i(h) = -h**2 + 4*h - 2. Let q be i(6). Let n be a(q). Is n equal to 30?
True
Let z(a) = a**2 - 12*a + 16. Let w be z(12). Suppose -29*t + w*t + 104 = 0. Is -8 greater than t?
False
Suppose 4*t - 2*t - 156 = 4*r, 284 = 4*t - r. Let y = 25 - t. Let q be 10/92*(-36)/y. Which is bigger: -1 or q?
q
Let l = 231 + -311. Is -89 smaller than l?
True
Let r be 2*5 + (-16820)/3770. Which is smaller: r or 1?
1
Suppose -69*l = -3*r - 66*l + 960, -4*r + l = -1292. Which is smaller: -5 or r?
-5
Let z = 118/3 - 39. Let l(s) = 2*s**2 - 69*s - 9. Let h be l(37). Let c be (2/14 - h/(-42)) + -4. Is z bigger than c?
False
Let m(r) = 3 - 5 - 2*r + r**2 - 3. Let j be m(4). Let o be 16/(-10)*(j - 7)/24. Which is greater: 1 or o?
1
Let z(r) = 6*r - 29. Let t be z(-19). Let s = 