ual to l?
True
Let t(j) = -j**2 + 191*j - 10085. Let o be t(47). Is o less than or equal to -3319?
False
Let h = 153 + -415. Let p be 7/21*5 + -2. Which is smaller: p or h?
h
Let n be 33*(-2)/(-9)*3. Let z be -2 + (-1)/8*-202. Which is bigger: z or n?
z
Let d = 11558 + -11505. Which is bigger: d or 1149/22?
d
Let v be 27*(8 + 3 + -22). Is v < -296?
True
Let b = -798 + 817. Do 0.65 and b have different values?
True
Let m = -53676407/4365 - -12297. Which is greater: 1 or m?
1
Let i be (5/200*6)/((-6)/(-8)). Suppose -14*r = -9*r + 215. Let c = -43 - r. Is i at least c?
True
Let h(o) = o**2 + 4*o - 1. Let x be h(-5). Suppose 5*y + 21 = 12*y. Which is greater: y or x?
x
Suppose -f = m + 7545, -2*f - 916*m + 921*m - 15076 = 0. Is f equal to -7541?
False
Let z(c) = c**3 - 20*c**2 + 17*c + 42. Suppose 2*w = 5*g - 136 + 39, 3*g - 53 = -4*w. Let j be z(g). Let u be j/15*(-117)/(-130). Is 0 at least u?
False
Let t = -0.03895 - 8.96105. Is t at least as big as -105?
True
Let w = 3/109 + -341/4469. Let j = 84 + -84. Is j >= w?
True
Let k = -1549 + 704. Let d = 2504/3 + k. Let b = 13 - 22. Which is greater: d or b?
b
Let z(w) = -w**3 - 25*w**2 + 54*w + 2. Let p be z(-27). Suppose -5*d - 57 = t, 76 = p*t - 5*t + 4*d. Is -32 less than or equal to t?
True
Let u(k) = k**2 - 4*k - 2. Let i be u(11). Suppose 3*a - 5*c = 235, i = 2*a + 3*c - 69. Let g be ((-10)/a)/(8/190). Which is bigger: g or -4?
g
Suppose 0 = 4*a - 16*a - 3*a - 75. Let k be 1 + 0 - 478/474. Let r = 152/711 - k. Which is smaller: a or r?
a
Let w be (-6)/6 - 93/(-3). Suppose -5*u = 10 - w. Suppose 7 + 33 = u*h. Which is bigger: 28/3 or h?
h
Suppose -4*a = -3*h + 626, -748 = 13*a - 8*a + 2*h. Which is bigger: -168 or a?
a
Suppose -5*s = 5*h - s - 20361, -3*s = 5*h - 20367. Which is greater: 4078 or h?
4078
Let d = 23006 + -23005. Which is smaller: 681 or d?
d
Let q be (-5 - 240/(-24))/5. Which is smaller: -3278 or q?
-3278
Let h = -1347 - -1399. Let s be 55 - (-3 + 12 + -5). Are h and s nonequal?
True
Let h = -9.8 + 0.8. Let r = h + -40. Which is greater: 0.3 or r?
0.3
Let p = -141 - -229. Suppose 0 = -8*o + 12*o + 324. Let k = p + o. Which is bigger: 0 or k?
k
Let b be (-11 - 456/(-40)) + 238/5 + 1. Let j = 5 - 5.2. Which is smaller: j or b?
j
Let d be (-156)/48*((9 - 4) + (-621)/111). Which is bigger: 1 or d?
d
Let b(w) = 2*w**3 - w**2 + 1. Let d(q) = -11*q**3 + 42*q**2 + 38*q - 18. Let h(p) = 6*b(p) + d(p). Let v be h(-35). Which is greater: -347/3 or v?
-347/3
Let m = 592 - 591. Which is greater: m or -383?
m
Let r = 2.5735 + -4.0338. Which is smaller: r or -1?
r
Let p be (-6)/(-10) + 457763/(-766705). Is -1 at least p?
False
Suppose 3*z + 5*s = 456, -2*z + 178 = 4*s - 126. Let q = -178 + z. Which is bigger: -25 or q?
-25
Suppose 37*b = 30*b + 22428. Let c be (-4)/26 - b/468. Let o = 2 + -8. Are c and o nonequal?
True
Let h(f) = -7*f - 4. Let p = -24 - -23. Let c be h(p). Suppose c*b = 19 + 8. Are b and 8 non-equal?
True
Let k = -223.4 - -223.4. Do k and -1.06 have different values?
True
Let x be (-3057)/(-2)*(-8 - 1 - -7). Let i = x + 12351/4. Which is smaller: i or 30?
30
Suppose 4*x - 4*t + 2*t + 224 = 0, 5*x + 3*t + 269 = 0. Let m = x + 31. Let p be (-2 + (-44)/m - 0)*2. Which is bigger: 2/5 or p?
2/5
Let s(q) = q**3 + 6*q**2 - 9*q - 14. Let g be (-6)/(-6) + -5 + -3. Let v be s(g). Is 12/11 less than v?
False
Suppose -155 = -5*y + 8*d - 3*d, 4*y - 124 = -5*d. Let m = 185388 + -185345. Is m at least as big as y?
True
Let v(o) = -o**3 + 6*o**2 + 10*o - 6. Let h be v(7). Let m = 1564 - 1543. Suppose -m*k + h = -22*k. Is k less than or equal to -17?
False
Let g = -33851835/4564 + 51920/7. Let a = g - 6/163. Which is smaller: 1 or a?
a
Let b(u) = -2*u**2 + 37*u - 33. Let h be b(17). Suppose h*y - 19*y = 141. Let g = -141 - y. Which is greater: -1/6 or g?
g
Let c = 28 - -56. Let y = c + -85. Let f be ((-1)/(1 + 0))/103*2. Which is greater: y or f?
f
Let p = -48.5318 + -0.1782. Let r = p - -49. Let h = 0.32 - r. Which is greater: 0.2 or h?
0.2
Let q(s) = 28*s + 4. Let h be q(0). Let k(p) = 20*p - 81. Let n be k(h). Which is greater: -6/31 or n?
-6/31
Suppose 7*u - 2666 = 50*u. Is u less than or equal to 8?
True
Let a = 18173 + -12853. Let v be (-2)/(-10) + (-1029)/a. Let l = -5/8 - v. Is l at most as big as -2?
False
Let v(n) = -n**3 - 24*n**2 - 40*n + 63. Let t be v(-22). Let p be ((-78)/(-4))/(1/30). Let o be p/(-30)*(-4)/(-3). Is t not equal to o?
True
Suppose -15*j = -32*j + 1122. Suppose -3*b = 2*g + j, 5*b - 2*g = -112 - 14. Are -26 and b equal?
False
Let p be (-1 - 359/(-362))/((-2862)/(-1272)). Is p != 1?
True
Let c(r) be the first derivative of r**4/4 - 16*r**3/3 - 3*r**2 + 42*r + 256. Let v be c(16). Are v and -57 unequal?
True
Let d = -31 - -44. Let r = d + -2. Let j = r - 13. Is j at least -6?
True
Suppose u - t = 35, 5*u = -2*t + 109 + 87. Let b be 26/91 - 514/(-14). Are b and u non-equal?
True
Let m = 57783/7 + -8241. Suppose -15*t + 12*t - 27*w + 447 = 0, w = 5*w - 60. Do m and t have the same value?
False
Let c(g) = -g**2 - g + 37. Let m be c(5). Suppose 82 = m*u - 107. Is 29 > u?
True
Let h(o) = -o**3 + o**2 + 1. Let w be h(1). Let y = -4418 + 287164/65. Is y at least w?
False
Let r be (6/4)/((-2)/(-20)). Let f be (10/r)/((-8)/12). Is -2/693 greater than f?
True
Let g = -236 + 407. Let y = -517 - -687. Which is greater: g or y?
g
Let x = -4488 - -7008. Is 0.1 smaller than x?
True
Let i(m) = -2*m**2 - 92*m - 258. Let s be i(-43). Let h = 206236/357 - 1733/3. Is s <= h?
True
Let x be (1666/(-68))/(1/2). Let f = x + 124. Is f equal to 74?
False
Let x = 48 - -163. Let q = 211 - x. Which is smaller: q or -2/401?
-2/401
Let f = 0.01 - -0.07. Let x = 1492.4 + -1492.4. Which is smaller: f or x?
x
Let m(i) = -i + 19. Let k be m(12). Let v be 34*(k/2 + -4). Suppose 0*p - 80 = 5*p. Which is smaller: v or p?
v
Suppose w - 45 = -3*d, 3*d + 5*w + 22 - 55 = 0. Let f = -4362 - -4377. Is f less than or equal to d?
True
Let v = 3122445 - 96805717/31. Let l = v + 320. Is 0 equal to l?
False
Suppose 2 = 3*y - 4*y. Let k be (25/(-15))/(2/(-6)). Suppose j - 5 = g - 3*j, -3*j - 2 = k*g. Which is greater: y or g?
g
Let t(v) = 1276*v**3 + 4*v**2 - 28*v - 52. Let y be t(-2). Which is smaller: y or -10187?
y
Let h = -436 - -116. Suppose 0 = -12*s + 7*s - 1595. Which is greater: s or h?
s
Let u = -60 - -74. Let g be (-3 - 531/(-225))*5/u. Which is smaller: g or -1?
-1
Let t = 89 - 91. Let o be ((-6)/t)/(((-102)/(-36))/(-17)). Let n = 3 + o. Are n and 0.1 equal?
False
Let l(q) = q**3 + 17*q**2 + 15*q - 14. Let h be l(-16). Suppose h*o + 11 = -1. Let p be 6*(3 - 39/12)*o. Is 51/5 greater than p?
True
Suppose 3*l + 0*l = 0. Let o = -101 - -83. Let u be (-8*3/o)/(55/(-33)). Does l = u?
False
Let z = 301.6 + 37.4. Let c = -29.9 - -30. Is z > c?
True
Let c = 45.8952 + -0.2752. Let b = -45.6 + c. Which is smaller: b or 5/9?
b
Let o(m) = -m - 1. Let q(a) = 5*a - 1. Let w(b) = -6*o(b) - q(b). Suppose 4*k = -6 - 2. Let f be w(k). Which is smaller: -3 or f?
-3
Suppose 0 = 2*p - 24*i + 25*i + 748, 16*p = 5*i - 5906. Which is smaller: p or -365?
p
Let u = -87/925 + 1/25. Suppose 12*o = 13*o - 1. Is u at most o?
True
Let v = 100 - 106. Let o be 2520/(-55) - v/(-33). Let l = 45 + o. Which is bigger: -3/56 or l?
-3/56
Let y = -192678512158883/201666 - -5732602765/6. Let r = y + 189/61. Which is smaller: r or -1?
-1
Let i be 8*-1 - ((-112)/12)/(-14)*350154/(-29253). Let b be (-5)/4 - (-1)/4. Is b greater than or equal to i?
False
Let y = 516469/17 - 30383. Let q(g) = -g + 4. Let r be q(7). Is r equal to y?
False
Let a(u) = -2*u**2 + 26*u - 3. Suppose -14*d = -8*d - 78. Let b be a(d). Which is greater: 14 or b?
14
Let p be (-7)/(-2)*(-72)/(-462). Let l = 17.6 + -30.2. Let f = l + 13. Which is smaller: f or p?
f
Let h = -0.13 - -8.13. Let o = 5.5603 - 5.6603. Which is greater: h or o?
h
Let s = 3.29 + -229.29. Let a = s - -220.22. Let h = 6 + a. Which is greater: h or 0?
h
Suppose 12*b + 5*m + 5 = 7*b, -2*b - 2 = -5*m. Is -1/1370 at least as big as b?
True
Suppose 306*o - 308*o = 3*d - 78, d = -o + 40. Which is smaller: 4.4 or o?
4.4
Let h(m) = -3*m**3 + 10*m**3 + 34*m**2 - 6*m**3 - 76 - 24*m**2. Let w be h(-9). Which is bigger: w or 56?
56
Let b(q) = q**2 + 2*q - 24. Let n = 9 + -25. Let f be 2/(52/n + 3). Let j be b(f)