 + 4*m**2 - 6*m - 6. Let a be n(-5). Suppose 2*r + 2*r = -4*p - 8, -5*p - 2 = 3*r. Let t be ((-32)/(-40))/(r/10). Is a greater than t?
True
Let z = -101.9 - -96.9. Which is smaller: -3.4 or z?
z
Let f = -478 - -486. Which is bigger: 0.36 or f?
f
Let f = 216092/333 + -5852/9. Let q = 308/333 - f. Do q and 1 have the same value?
False
Let w be 7 + 12*(145/12 - 12). Suppose 2*i + 2 = -4*a, -3*i - 5*a + 1 = -a. Suppose -43 = -4*n - i*m, 0 = -3*n - 2*m - 3*m + 46. Which is bigger: w or n?
w
Let i = -0.09 + 2.69. Let p = 2.8 - i. Is 0.2 at least as big as p?
True
Suppose 13*s + 40 + 38 = 0. Do s and -110/19 have the same value?
False
Let x = -0.94 + 1.9. Let q = -0.26 - -0.1. Let b = q + x. Is 1/4 less than b?
True
Let p = 287 + -285.33. Let u = 0.33 + p. Is 19 > u?
True
Let s be (-2 + -2)*-1*152/16. Is s less than 4?
False
Let t = 48 + -48.33. Let k = 0.23 + t. Which is bigger: 12 or k?
12
Let s = -539 - -559. Is s <= 2?
False
Let j = -314.9 + 315. Is j at least -0.254?
True
Let n be (28/263)/(2/(-75)) + 4. Which is smaller: 1 or n?
n
Let u = 44 + -394/9. Is 44 > u?
True
Let c be (((-4)/(-14))/((-8)/(-56)))/2. Is c at least -0.39?
True
Let h be (16/7 + -2)/((-75)/(-17129)). Let t = 196/3 - h. Suppose 0 = -4*q - 4 - 0. Which is bigger: q or t?
t
Suppose 0 = -4*m + 9 - 5. Let b be (-50)/12 + 3/m. Let s = 2 - 2. Which is bigger: s or b?
s
Let y(h) = -4*h + 45. Let k be y(6). Suppose k = -4*o + 5. Are o and -3 equal?
False
Let t be 123/164 + (-402)/88. Is t greater than 4/9?
False
Let m(d) = d**3 - 7*d - 8. Let u be m(-2). Let g be (-1 - (-94)/88)*-8. Are g and u non-equal?
True
Let w be (-1634)/19*1/2. Is w less than -302/7?
False
Suppose -m - 12 = 3*v - 0*v, 4*m - v = -35. Let i(o) = -2*o**3 - 14*o**2 + 17*o - 4. Let u be i(-8). Does m = u?
False
Let a = 142 - 274. Is a bigger than -2/5?
False
Suppose 0 = 4*q - 3*t + 1174, 4*q + t - 255 = -1421. Do q and -292 have the same value?
True
Let a be (9 - (-53)/2)*4/(-2). Let q = 57 + a. Which is smaller: q or -16?
-16
Let k = 149 + -147. Suppose -d = 5*v - 122, 0 = 3*v + k*v. Which is smaller: d or 121?
121
Let c be (-4)/3*(-6)/(-4). Suppose 2 = -o - 2*z, 5*z = o + z - 4. Suppose o = 2*t + 2*b, 3*t = -3*b + b - 3. Which is greater: c or t?
c
Let z(n) = -n**2 + 8*n + 1. Let x be z(8). Let g be (4 + x)*(-1)/(-5). Which is smaller: 0 or g?
0
Let n = 49 + -96. Let v = n + 40. Which is greater: 1 or v?
1
Let k = 9 - -4. Let c = -18 + k. Is c at least as big as -5?
True
Suppose 2*v = v + 2. Let o be v*2 - 1452/354. Let h = -40/767 + o. Which is smaller: h or -1?
-1
Let s = 102 + -111. Suppose h = 3*h + 8. Let n = -14 - h. Which is smaller: n or s?
n
Let i = 0.883 + -0.003. Let s = 0.9 - i. Let v = -0.18 - s. Is v less than or equal to -2/5?
False
Let q = -271 + 267. Is q < 0?
True
Let u = -2008 - -2009. Which is greater: u or 7/72?
u
Suppose 34 - 207 = j. Which is bigger: -171 or j?
-171
Let z(f) = 5*f**2 + f - 1 + 2*f**2 + 0*f**2 - 2*f**2. Let v be z(1). Suppose -v*t = -0*t + 5. Which is smaller: t or 1/7?
t
Let o = -1851 + 161039/87. Let d = o + -127/1740. Which is bigger: d or 0?
0
Let d be (-2)/15 + 19 + 104909/105. Is 1018 < d?
False
Let z be 12/(0 + -5 + 4). Let j be (5 + (-180)/35)/(z/(-14)). Which is bigger: j or 3/7?
3/7
Let q = 54 - 595/11. Let y = 2.465 + -1.465. Which is smaller: q or y?
q
Let f = 11428 - 11398. Let s = -12/455 - -40531/1365. Which is smaller: f or s?
s
Let y = 205/4 + -503/12. Let z = 9 - y. Which is smaller: 0 or z?
z
Suppose 0 = 5*o + 2*h - 4, 0 = -h + 21 - 19. Let x(s) = -3*s**3 + 2*s**2 - 1. Let k be x(1). Which is smaller: o or k?
k
Suppose 5*d - 134 - 1 = 0. Are d and 26 equal?
False
Let v = 4 + 2. Let l(g) = g**3 - 5*g**2 - 5*g - 2. Let a be l(v). Let w = -2458 - -2461. Is w at most as big as a?
True
Let w = -0.122 - -0.282. Is w at most 3/2?
True
Let u be 6/(39/21 + 1). Let d = -253/130 + u. Which is smaller: 0 or d?
0
Let j = -145 + 142. Let f be 2 + 0 + -1 + -1. Let x be j/(f - 3)*0. Is x less than or equal to 7?
True
Suppose -3*f - 10 = -2*s, 4*f + 25 = 2*s + 3*s. Let v be 8/s - (7 - 5). Let d = -56 - -57. Which is smaller: v or d?
v
Let o = 0.076 - 0.076. Suppose 0 = -x - 2*x + 18. Is x greater than o?
True
Suppose 12*i + 14 = 5*i. Let u be ((-6)/70)/(i/10). Is 0 >= u?
False
Suppose 0 = 68*w + 271 - 37807. Is -2/7 > w?
False
Suppose 770 = 51*p - 44*p. Is 111 at most p?
False
Suppose 14 = 3*z - 2*u, u + 24 = 20. Let m be 26/(-42) + (-2)/(-7). Which is greater: m or z?
z
Let z = -9 - -11. Let b = -2 - -12. Suppose -z*s = -4*s - b. Which is greater: s or -3?
-3
Let c = -0.17 + 0.19. Let a = 39 - 38.02. Let l = c + a. Which is smaller: 1/18 or l?
1/18
Suppose -5 = -c + 6. Suppose -2*g + c = -g. Let y(o) = o**3 - 7*o**2 - 7*o + 2. Let h be y(8). Is g at least as big as h?
True
Suppose 0 = -5*c + 25, 5*b - 4*c = 1 - 16. Let s be (6/91)/(((-6)/21)/2). Is b at least as big as s?
True
Suppose -q = q - 4. Let j(h) = 3*h - 4. Let w be j(q). Let b be 3*w*(-2)/6. Is b greater than -12/5?
True
Let l = -2.4 + 2.5. Is l less than -108?
False
Suppose 3*x - 15*x = -12. Which is bigger: x or 7/32?
x
Let l be (-3 + 5)*(-4)/10. Let r = 2/581 + 1124/11039. Which is bigger: r or l?
r
Suppose 0 = -8*a - 19 - 37. Let v = 9 + a. Which is bigger: -2 or v?
v
Let x(c) = 48*c - 1535. Let g be x(31). Suppose -4*f = -0*p + 3*p + 192, f + 5*p + 48 = 0. Is g equal to f?
False
Let p = 12514 - 62822/5. Do p and -51 have different values?
True
Let l(t) = 0 + 13 - 2 + 2*t. Let o be l(5). Are 21 and o unequal?
False
Suppose -14*k - 63 = -15*k. Let i = k + -51. Which is smaller: i or 14?
i
Suppose 4*t + 3*i = -62, -4*i + 2 = 10. Suppose -2*u + 221 - 73 = 0. Suppose 4*h + u = -5*z, 2*z + 69 = -3*z + h. Is z equal to t?
True
Suppose 0 = 2*m + 5*l + 21, 354*l = 355*l + 1. Is -162 less than m?
True
Let z = -0.6 - -7.4. Let i = -36.8 + z. Let v = -30 - i. Which is bigger: -0.03 or v?
v
Let l(c) = c - 16. Let q be l(16). Suppose 3*b = 5*z + 14, q = z - 3*z + 5*b - 17. Let v = -675 - -22953/34. Which is smaller: v or z?
z
Suppose r - 5*r = 20. Let s = r + 16. Let y = 11 - s. Which is bigger: y or 3?
3
Let o = 157 + -288. Let m = 128 + o. Is 1 at least m?
True
Suppose -9 = 4*h + 23. Let o = 0 - h. Suppose 15 = -2*g - c, o*g - 4*g = -3*c - 35. Is g greater than or equal to -3?
False
Let u(v) = -2*v**3 - 4*v**2 - 4. Let g be u(-3). Let d = 44/3 - g. Which is greater: d or 24?
24
Suppose -821 = 76*z - 5077. Is z bigger than 50?
True
Suppose -10*w - 18 - 12 = 0. Let j(l) = l**3 + 3*l**2 + l + 5. Let b be j(w). Is b <= 2?
True
Let y(p) = 5*p - 10. Let z be y(11). Let i be (-138)/180 + (-3)/(z/6). Is -2 equal to i?
False
Let x = -4 + 3.8. Let t be 426/355 - (-41)/(-5). Is t greater than x?
False
Suppose 357 = 9*h + 8*h. Which is greater: 5 or h?
h
Let s(h) = 3*h**2 + 16*h + 2. Let k(u) = -3*u**2 + 23*u + 3. Let f be k(8). Let m be s(f). Which is smaller: m or 2?
m
Let s = 45.2 + -44. Let z = 0.7 - s. Which is smaller: z or -2/3?
-2/3
Let i be ((-73)/146)/(321/(-2)). Is -1 greater than i?
False
Let z = 106 + -62. Let s = 43 - z. Is s at least as big as 2/243?
False
Suppose 0 = 5*m + 2*m - 8316. Let p be (-24)/(-40) + m/(-105)*1. Which is smaller: -11 or p?
-11
Let a be 0/(3 - (5 + -1)). Is a bigger than 32/43?
False
Let f = 1348 + -1347.9. Which is greater: -32 or f?
f
Let c = -77 + 77.018. Which is bigger: c or -1?
c
Let w(h) = h**2 - 3*h + 5. Let i be w(-6). Let b = -50 + i. Let k = 3 + -1. Do k and b have different values?
True
Let x(r) = -r**2 + 11*r + 4. Let o be x(13). Which is smaller: -6 or o?
o
Let g be ((-14)/(-175))/(-2 + 119/60). Which is greater: -0.7 or g?
-0.7
Let q be 484/66*(-1)/2 + 3. Which is smaller: q or -2/99?
q
Let p be (-4 + 3)/(26 - 27). Which is bigger: 9/28 or p?
p
Let g = 5.2 + -1.2. Let x = g + -3.99. Let u = -0.09 - x. Is -2 bigger than u?
False
Let j be 6/36 - (-14)/(-12). Let d be (-6 - -8) + (0 - 1). Let u be (1 + 1 - d)*3. Do j and u have the same value?
False
Let v be 2/(-7) - 76/28. Let h(s) = -s**3 - 4*s**2 - 3*s - 1. Let l be h(-3). Let w = -4 - l. Is v != w?
False
Let b = -1/8097 + -8089/64776. Suppose -f - 4 = 3*f. Is b <= f?
False
Suppose -2*x - 3*x = 120. Let k be ((-6)/x)/((-375)/(-24)). Let y = -621/250 - k. Do y and -2 have different values?
True
Let q = -129.8 - -158. Let l 