452/3. Is a less than 1?
False
Let j(z) = -6*z**2 - 12*z + 42. Let l be j(6). Let v = 737/3 + l. Is v greater than 1/2?
False
Let t = 0.1 + -0.1. Let u = 0.9065 + -0.0165. Let v = -4.01 - u. Is v less than or equal to t?
True
Let b = -86 + 94. Suppose 9*t - b*t = -9*t. Which is greater: t or -3/94?
t
Let u = -0.4689 + 0.3189. Which is greater: -86 or u?
u
Let p(d) = d**3 + 8*d**2 - 175*d - 1286. Let s be p(-7). Is -313/28 >= s?
True
Let p = 32.25 - 30. Let w = 22.45 - 23. Let g = p + w. Is 0 at most as big as g?
True
Let z be 96335/45 + (-14 - 1536/(-108)). Do 19280/9 and z have the same value?
False
Let q = -181 - -185. Suppose h + f + 87 = 0, -22*h + 20*h = q*f + 174. Which is bigger: -86 or h?
-86
Suppose 5*i = -0*i + 20, -8 = 5*t - 2*i. Suppose 9*z = -t*z + 360. Let s be (-2)/10 + (-192)/z. Is s < -5?
False
Let q(x) = -26*x - 148. Let s be q(-6). Let c be (6/s)/((-24)/64). Suppose 0 = 4*y + 4. Do y and c have the same value?
False
Let y be ((-3)/(-10))/((-2)/(-32)). Suppose 109*i = 297*i - 752. Is y equal to i?
False
Suppose 5*q - 121 + 158 = 4*j, -43 = -4*j + 3*q. Let g be (4 + -4)*(-1)/2. Suppose g = 2*d - 3*n - 43, 4*d + 5*n + 0*n - 31 = 0. Which is smaller: j or d?
j
Let g(n) = n**2 + 14*n + 23. Let v be g(-9). Let q = v - -28. Let h = 28 - q. Is 22 <= h?
True
Let n = 4100024/9 - 455028. Let o = n + -530. Let h(u) = u**2 - 3*u + 1. Let l be h(2). Which is greater: l or o?
o
Suppose 42740 = 128*g - 149836 - 11072. Is g != 1590?
True
Let u(w) = -24 - w + 9 - 10 + 58. Let d be u(4). Which is bigger: d or 30?
30
Let v be (-23)/(-5) + (-309952)/(-480). Which is smaller: -0.2 or v?
-0.2
Suppose -x + 536 = -5*b, -2*b + 4*x - 196 - 22 = 0. Suppose 483*w + 47742 = 45*w. Which is smaller: b or w?
w
Let s(t) = -6 + 55*t**2 + 11*t + 37 + 50*t**2 - 106*t**2. Let k be s(-3). Which is smaller: k or -12?
-12
Let n be -35*19/(-1330)*(-43 + 1). Let z = 36 - 8. Let o = z + n. Which is greater: 2 or o?
o
Suppose -24*x - 90 = -21*x. Let y = x - 20. Let l be (-12)/y*(-40)/6. Is -2 bigger than l?
False
Let x be (-2)/((-2 + 0)/(1 + 1)). Let w(o) = -2*o**2 - x + 42*o + 7 - 52*o. Let r be w(-6). Is r at most -6?
True
Let n be (-2)/(-6) - (-30)/(-42). Let q = -170 + 169. Let u be (1 + q + 0)/(10 - 13). Is u <= n?
False
Let q(j) = 7*j**2 - 215*j + 2100. Let p be q(11). Is 4076/7 at most as big as p?
False
Let w = 3489/29 - 17503/145. Let n(m) = 26*m**2 - m + 1. Let d be n(-4). Which is smaller: w or d?
w
Let y = 0.8546 - 0.7546. Which is smaller: y or -6232?
-6232
Let n = -47 - -143/3. Let f = 16221 + -665065/41. Which is greater: f or n?
n
Let h = -35001 + 35077. Which is greater: h or -150?
h
Let m = -991 - -1053.7. Let s = -30 + m. Let j = s + -33. Is 0.3 < j?
False
Suppose 9*h - 132 = -114. Suppose 5*n - 9 = -2*q, 0*n - 30 = -2*q + h*n. Which is greater: q or 13?
13
Let q = -6132 - -6132. Which is greater: -6/365 or q?
q
Let y = -24668301/109 - -226317. Which is greater: y or 3?
3
Let x = 7681/5 + -1525. Let v be ((-5)/(-30))/(-1)*-54 - -1. Which is greater: v or x?
x
Suppose -266 = 5*v - 46. Let w(o) = o**3 + 42*o**2 + 80*o - 46. Let x be w(-40). Which is bigger: x or v?
v
Let n = 11153/2275 + 44/175. Let d = n + -9032/1755. Let y = -83/945 - d. Is y != 0?
True
Let l(c) = c - 7. Let n = -51 - -39. Let d be ((-8)/(-10))/(n/(-90)). Let q be l(d). Is q greater than -4/23?
False
Suppose -32*f - 76 + 12 = 0. Let o be (47/141)/((-2)/1626) + f. Is o equal to -273?
True
Let v(n) = 2*n**3 - 8*n**2 + 11*n - 16. Let f be v(5). Suppose 5*m - 1 = f. Are 20 and m equal?
False
Let j be 2299/(-154) - -15 - (4285/14 + 1). Is -12 greater than j?
True
Let l(f) = f**3 - 7*f**2 + 11*f - 6. Let z be l(4). Let u be (z/(-15) + 0)*-3. Let q = -701/77 - -58/7. Which is smaller: q or u?
u
Let y = -58 + 76. Suppose 3*j = -6 + y. Let h be (-45)/(-2)*(j - (-64)/(-10)). Is -54 >= h?
True
Let j = 171 + -84. Let t = -84 + j. Is 17/4 at least t?
True
Let l(b) = 58*b + 466. Let s be l(-8). Which is greater: s or 106/31?
106/31
Suppose 0 = x - 2*a + 886, 3*x = -18*a + 19*a - 2648. Which is smaller: -885 or x?
-885
Let y be (6/(-9))/(187/33). Are y and 97 non-equal?
True
Suppose l = 4*l + 9. Let r be (-26)/20*l - 4. Suppose 5*m = -4*a + 10, -a - 5*m = -m - 8. Is r equal to a?
False
Let j = 0.041 + -0.057. Let z = -0.816 - j. Is z at least as big as -3?
True
Let w = -1.19 + 1.207. Let k = -0.417 + w. Is 0 greater than or equal to k?
True
Let z(p) = -1576*p + 2008. Let f be z(0). Which is smaller: 6026/3 or f?
f
Suppose -2*a = 5*b - 0*b - 25, 0 = -4*a + 20. Let v be (-9)/(-2)*24/9 - b. Suppose 2*n = 1 - v. Are 4 and n unequal?
True
Let k(o) = -o**3 + 51*o**2 + 114*o + 413. Let b be k(49). Do b and 10799 have the same value?
False
Let a = -659 + 657. Is 2/51 > a?
True
Let w be (-2)/(-20)*(-30)/4. Let t = -0.228 - -7.588. Let v = t + -6.36. Which is bigger: w or v?
v
Let o be (44 - 95)/((-15)/(-35)). Is o at most -124?
False
Let n be ((-69357)/(-244))/((-54)/16). Let j = 30943/369 + n. Which is bigger: 0 or j?
0
Let n = -6004.72 - -6005. Which is greater: 2 or n?
2
Suppose -7*l + 2804 = -591. Let k be -8 + (-3)/12*-1972. Is l at most k?
True
Suppose 6934 = -13*c - 8445. Let i be c/(-1652) + (-68)/(-16) + -5. Let r be (-2 - 2/(-1))/1. Is r greater than or equal to i?
True
Suppose 3*j + j + 4*f - 104 = 0, -125 = -5*j - 4*f. Suppose j*l = 15*l. Is l less than or equal to 1/11?
True
Suppose -4*c - 1364 = -4*f, 0 = -5*f - 4*c + 1217 + 488. Let z = f - 332. Does 1/5 = z?
False
Let f = 0.109 + 0.021. Let w = f - -0.67. Let m = -0.75 + w. Is 1/3 greater than m?
True
Let a be 432/32*4/6. Suppose -5*q = -a - 1. Suppose -2 = -f + q*d, 2*f + f - 2 = 2*d. Which is smaller: f or -0.08?
-0.08
Let i(m) = -m**3 + 22*m**2 + 87*m - 1992. Let h be i(20). Is 0.08 at least as big as h?
False
Suppose 318 = -14*n + 304. Which is smaller: -23/206 or n?
n
Let u be (-5)/(3 - 4) + (271453/(-19390) - -9). Is u bigger than 1?
False
Let z be (14/56*170)/(2/100). Let g = z + -23391/11. Which is smaller: 1 or g?
g
Suppose 413 + 1153 = -6*m. Let a = m - -182. Which is greater: a or -78?
-78
Let a be -1*(-413)/(-42) - (-4 - 1). Let u = a + 37/12. Are u and -0.5 nonequal?
True
Let z = 17 + -11. Suppose -z*q + 5*q = 1. Let f = -3051/7 - -33547/77. Which is bigger: q or f?
f
Let j(f) = -8*f + 65. Let v be j(9). Let c = 29 - 26. Suppose -c*y = 5 + 16. Is y not equal to v?
False
Suppose 180 = -4*v - 4*z, 278*v + 2*z = 277*v - 40. Which is bigger: -106 or v?
v
Let a = -94.8 - -107. Let n = a - 75.2. Let b = -63 - n. Which is smaller: 1 or b?
b
Let i = -21 - 1. Let r = 25 + i. Let q = -4.08 - -4. Which is greater: r or q?
r
Let w = -8519.85 - -8520. Let t = -5 - 1. Is w smaller than t?
False
Let o = 2035348/25 - 81414. Let u = -1 - -9. Is u at most o?
False
Suppose 5*b - 18 = -13*b. Let p = -7 - -4.5. Which is greater: b or p?
b
Let p(i) = i**3 + 4*i**2 + 8*i - 597. Let h be p(7). Suppose 2*r + 25 = -17. Let k be ((-2)/(-2))/((-1)/r). Which is bigger: h or k?
k
Let m be ((-369)/3)/1 + -7 + 3. Let j = 1398/11 + m. Which is greater: j or -0.05?
j
Let g be 2 - 0 - (-1647)/(-12). Let q be (-1461005)/(-10780) - (-1)/(-7). Let o = q + g. Which is smaller: o or 0?
0
Let b be 2 - 45 - 0/1. Let l = -62 - 161. Let a = -265 - l. Is b greater than or equal to a?
False
Suppose 25 - 53 = -7*q. Suppose 0 = -5*c + 4*j - 37, -q*j = c - 0*j + 17. Let v be (-216)/30 - 1/(-5). Is v < c?
False
Suppose -m - 11 - 28 = 0. Let p = 1.6343 - -0.3657. Is p bigger than m?
True
Let z = 108 + -106. Suppose -6*i + 7*i = 4. Suppose -3*b + 6*b + z*d = 1, 0 = -3*b + i*d - 29. Is -11/4 less than b?
False
Let m = -1216 + 1832. Let v = m - 615.8. Let g = -34.38 + 0.38. Is g <= v?
True
Suppose 2245705 = -79*r - 228*r. Is r at least as big as -7316?
True
Suppose -3*q + 13 = 2*z, 4*q - 2*q - 17 = -3*z. Let j be -2*((-3)/(-2) - (-9 + 4)). Let g be ((-5 + 7)/8)/(j/8). Which is smaller: g or q?
g
Let r be 84/(-336) - (-1 + (-3 - 156/(-16))). Suppose 3*h + 2 = h. Which is smaller: h or r?
r
Let y(h) = h**3 + 4*h**2 - 8*h - 11. Let b be y(-5). Suppose -r - 2*z + 7 = 0, -b*r + 26 = r + z. Which is bigger: r or 13?
13
Let d = -11.474 + -0.126. Let c = d - 36.4. Let q = c - -49. Is q at most as big as -1/74?
False
Let q(s) = -s**2 + 27*s - 16. Let o be q(0). Let w be ((-16)/o)/((-4)