 be (-1472)/(-104) - 5 - (-2)/(-13). Suppose -4*b + 40 = b + 5*n, -3*n = -3*b. Suppose 0 = -b*r + 3*r + h. Is 7 greater than or equal to r?
False
Suppose -975 = 20*m - 955. Is m >= -20/69?
False
Let l be 4/(-26) - (49820/(-195) + 11 + 11). Do l and 234 have the same value?
False
Let b(p) = -6*p**2 - 52*p - 14. Let a be b(-6). Suppose 3*v - v + a = -5*d, -4*v - 180 = 2*d. Is v greater than or equal to -139/3?
True
Suppose -153*p + 166*p = 962. Suppose 0 = -90*l + p*l - 368. Suppose 2*q + 120 = -3*q. Is l equal to q?
False
Let k be (-19)/(-7) + (-4)/(-14). Let w be (2 + 1)*(-468)/27. Let h be (-13)/w + (-3)/12. Which is smaller: h or k?
h
Let p be 2 - ((-1 - -6) + (-15)/5). Suppose p*i + 2*i + 246 = -4*t, 5*i = 4*t + 267. Let b = -64 - t. Which is bigger: 1/23 or b?
1/23
Let q be (-23876)/(-510) + ((-4)/10)/(-1). Let g = q - 142/3. Let r be 1 + 1*(0 - 0). Do g and r have different values?
True
Let w = 59 - 56. Let u be 0 - 4/(352/164). Let g = -4/11 - u. Which is smaller: w or g?
g
Let y = -4066 + -11236. Let s = y - -15286700/999. Which is smaller: s or -1?
-1
Let l = -43.0171 - -43. Let z = l - 4.9829. Is z <= 0.28?
True
Let x(p) = -31*p - 205. Let s be x(-17). Let m = s - 322. Is 1/200 less than m?
False
Let j(f) = 3*f**2 + 33*f - 507. Let m be j(10). Which is greater: 45 or m?
m
Let f(i) = -5*i - 25. Let t be f(-5). Let q be t + 213/20 + 1/(-4). Which is smaller: q or 11?
q
Let w be (-4)/(-8)*(6 - (-3 + 5)). Suppose u + j + 6 = 3, -w*j - 6 = 0. Is u bigger than -12/203?
True
Suppose -7*n + 96*n - 8811 = 0. Which is bigger: 881/9 or n?
n
Suppose -9*z = -3745 - 800. Suppose -3*f = -5*m + 2510, 53*m + f = 51*m + 1015. Is m greater than or equal to z?
True
Let v be ((-1)/1 - 0)*0/(-68). Let l(f) = 10*f - 4. Let i be l(v). Which is smaller: -1 or i?
i
Let o(t) = -12 - t**2 + 5 + 5 - 13*t. Let m be o(-7). Let p be (4 + (-175)/m)*(-4)/27. Does 1 = p?
False
Let n be ((-1977)/6)/((-5)/(-3)) - (-1)/5. Are -198 and n non-equal?
True
Let h be (28/4*10)/((-2)/(-1)). Let x be (1710/4)/19*12/h. Is x at most as big as 8?
True
Suppose -851 - 209 = -3*d - 5*b, 0 = -4*d - b + 1453. Which is bigger: d or 371?
371
Let b = 773 - 2519. Is -1745 greater than b?
True
Suppose 4*q - 63 + 87 = 0. Let z(g) = -6 - g**2 - g + 0*g**2 + 0*g**2 + 19. Let n be z(-5). Which is smaller: q or n?
n
Let t = -9964096/53 - -187994. Is t less than or equal to -8?
False
Suppose -c + 0*c + 7*c = 0. Suppose -5*u + 3*g - 63 = -c*u, 5*u = -4*g - 56. Which is greater: -63/5 or u?
u
Let i(h) = -2*h**2 + h + 47. Let m be i(0). Let t(b) = 8*b + 91. Let y be t(-11). Suppose -5*o - 2*a = y*a - 105, -5*a - m = -3*o. Which is smaller: 20 or o?
o
Let o = 64.50929 + 0.49071. Let j = -2 + 3. Let q = j + -1.1. Which is smaller: o or q?
q
Let r = -0.07 - -92.07. Let y = r + -51. Let g = y - 46. Which is smaller: 1/2 or g?
g
Let v = -6/173 - -2004/27853. Is v less than -2?
False
Let l be 3 - -1*(-15095)/(-20)*(7 + -3). Which is bigger: 3021 or l?
l
Let t(k) = k**3 + k**2 + k + 4. Let m be t(-2). Let z be m/(4 - 462/35). Which is bigger: z or -1?
z
Let s be ((-12)/(-60) + 21/70)/((-2)/(-4)). Which is smaller: -7/43 or s?
-7/43
Let l = 13.6 + -12. Let t = -44.77 + 44. Let z = t - 0.23. Which is bigger: l or z?
l
Let k(q) = -q**2 + 3*q + 4. Let y be k(-7). Suppose 6*z - 2*z + 4*l = -684, -147 = z - 5*l. Let g = -234 - z. Which is smaller: g or y?
g
Let h = -150 + 150. Let r be (65926/1316)/(-17) + -1 + 4. Are h and r unequal?
True
Let s = -67657/1089 + 559/9. Which is bigger: -6/23 or s?
s
Let c = -401 + 3030. Suppose -31*n + 1017 - c = 0. Which is greater: n or -50?
-50
Suppose -4*s - 122 = 5*d - s, -2*s + 2 = 0. Let x = 11 - d. Suppose -2*c + x = 5*b, 0 = -3*c - 2 + 11. Do b and 6 have different values?
False
Let l be 1/((-3)/(-12)) - (54 - 50). Which is smaller: -2/789 or l?
-2/789
Let z(x) = -x**3 + 39*x**2 - 224*x - 5. Let w be z(7). Which is smaller: 6.4 or w?
w
Let o be (-6912)/63 - 8/28. Let x be (-224)/o - (65/(-25) + 3). Let g = -8 + 11. Which is greater: x or g?
g
Let c be (-5152)/1104*3/7. Which is greater: c or -1/353?
-1/353
Suppose 5*y + 16 = 13*y. Suppose -14*x + y = -12*x. Which is greater: 4/15 or x?
x
Let i be (2/4)/((-7)/42) + -1. Let w be (i/4 + 202)/(-4 + 3). Is w less than -201?
False
Let x(q) = -q**2 - 16*q - 64. Let k be x(-7). Which is smaller: -6/283 or k?
k
Let s = -68 - -881. Let p be s + -1 + 1 + -1. Let h = -5697/7 + p. Which is bigger: -2 or h?
h
Let d = -9172 - -183353/20. Are d and -5 equal?
False
Let a = 15755/19 + -1113361/1349. Is a < 3?
False
Let h(f) = f**3 + 12*f**2 - 6*f + 11. Let v be h(-11). Let c be (1 - v/190)/((-22)/5). Which is smaller: c or -1?
-1
Let b(z) = 17*z + 163. Let m(y) = -52*y - 488. Let r(s) = -14*b(s) - 5*m(s). Let l be r(-7). Suppose 0 = o - 4*k - 5 - 4, o - k = 0. Which is smaller: o or l?
o
Let g(q) = 5*q**2 + 37*q - 17. Let t be g(-13). Let n = t + -183. Which is smaller: 165 or n?
n
Let o be 33/21 - (-12)/28. Suppose 2*s - o*a = 3*s - 2, 22 = 5*s - 2*a. Suppose 69 = 3*h + s*l + 13, -2*l = -5*h + 128. Is h at least 24?
True
Let b = -41920 + 78628. Let h be (-22)/231 + 3832/b. Is -1 > h?
False
Let g = -1/15 - -49/60. Let s be (-28)/6*(132/42 + -4). Suppose s*p - 8 = -c, 17 = -2*p - p + 5*c. Which is smaller: p or g?
g
Suppose -4*x - 4 = 0, -4*x + 6 = 4*f - 9*f. Is -114/97 at least f?
True
Suppose -3*c = -5*p - 43 + 214, 3*c = -5*p + 159. Suppose -43*l - 91 = 132 + 35. Which is bigger: l or p?
p
Let k(u) = 133*u + 7528. Let a be k(-61). Is a != -569?
True
Let c = -6 + 2. Suppose 1685 = -25*m - 340. Let f = m + 90. Which is smaller: c or f?
c
Let k be 4/(-5)*3*(-60)/75672. Is -3 at least as big as k?
False
Let s be (-400)/(-414) + -50 + 49. Is 1 less than s?
False
Suppose 14*a + 45 = 19*a. Suppose -a = -2*k - 1. Suppose u - 6 = 5*b - 2, k*u + 6 = -2*b. Is b >= 65/4?
False
Let l = 841.1 - 789. Let c = l + -60. Is c > 0?
False
Let n = -1414 - -1415. Is -129 smaller than n?
True
Let l = 339 - 338. Which is greater: l or 12/2113?
l
Let y(t) = 75*t + 2120. Let q be y(60). Is q at most as big as 6620?
True
Let w be (8 - 0) + (-4 - 2). Suppose -v + 0*d = -d - 13, -5*v + 4*d + 62 = 0. Suppose f = w*i + 24, 5*f = i + 4 - v. Is i <= -14?
True
Suppose 3*k = 4*h + 43, -2*h + 89 = 4*k + k. Suppose -z + 2 + 17 = 0. Do k and z have the same value?
False
Let x(n) = -10*n**2 - 46*n - 269. Let o be x(-7). Does -434 = o?
False
Let s = 2215 + -2218. Suppose h - 8 = -39. Is h less than s?
True
Let j(n) = 136*n - 3766. Let f be j(36). Which is bigger: f or 1128?
f
Let i = 42812 - 13143304/307. Let y = -4382/38989 - i. Which is smaller: y or 0?
y
Let s be (-10)/(-35) - (1 - (-4014)/(-14)). Suppose 8 = -x + 4*o + 305, -864 = -3*x + 3*o. Which is smaller: s or x?
x
Let y = 4831 - 4833. Is 58/5 greater than or equal to y?
True
Let b be (0 - (-3)/(-8)) + 1194/624. Let s = b - 206/117. Is 7/2 at most as big as s?
False
Suppose -b - 2*n = -63, 2*b + 4*n = n + 123. Suppose 0 = -5*l + b + 78. Suppose 5*f + l = -4*f. Does -3 = f?
True
Let i be -1 + 82/(4 - 2). Let p(j) = j**3 - j**2 - 2*j + 1. Let h be p(-3). Let w = h - -69. Is w at most as big as i?
True
Let j = -425 + 1715/4. Let z be ((-3)/(-72))/(20/(-60)) - 9/56. Is z at most j?
True
Suppose -5*t = 4*b - 317, -5*b - 19*t = -22*t - 461. Which is smaller: b or 73?
73
Let v be (-17 + (-777)/(-42))*(0 - (-34)/3). Let i = -53 - -76. Suppose 0 = v*u - i*u - 84. Which is greater: u or -13?
-13
Suppose 0 = -5*v + 3*c - 470, 2*v - 4*v - 5*c - 219 = 0. Let t = -97 - v. Suppose 236 = -4*g - 4*u, -4*u - 4 = -t. Is g equal to -58?
True
Let r be 16/80*(-45)/36. Is r at least as big as -3533?
True
Let t = 5859 - 5846. Let i = -7 + 23. Is i < t?
False
Let y be (-108)/8*(-50)/675. Let j be 2 - (0/(-1))/1. Suppose -8 = -j*a, -2*h = 5*a + 12 - 2. Are h and y nonequal?
True
Suppose -24*s + 54 = -30*s. Let j be (-2)/(-2) + 6/(-6). Let x be j - 1 - 3 - -5. Which is greater: s or x?
x
Let i be ((-7)/21 - (-3)/9) + (8 - 9). Which is greater: 1/1074 or i?
1/1074
Let r = 8800 - 8899. Which is greater: r or -902/9?
r
Let n(u) = u**3 + 152*u**2 + 448*u + 220. Let q be n(-149). Is 23 less than q?
True
Let r = -0.4352 - -148.0152. Which is smaller: 0 or r?
0
Suppose 5*g - 12 = 98. Let y = -17 + g. Let h = y - 6. Is 10 smaller than h?
False
Suppo