 v or -16?
v
Let m be (-2)/(-4) + (-344)/16. Let i be 18/(-14) - 6/m. Suppose -29*q - 431 + 112 = 0. Does i = q?
False
Let k = 871 + -829. Let s = -29 - -71. Is s at least k?
True
Let l = -0.065 - -17.565. Let b = -21 + l. Let u = b + 3.6. Which is bigger: 0.17 or u?
0.17
Let k be (-1)/((-7)/(-93)) + ((-48)/(-21) - 2). Do 34/3 and k have the same value?
False
Let x(i) = -i**2 + 6*i + 10. Let w be x(-6). Which is bigger: w or 3/7?
3/7
Suppose 129*x + 198*x = 2*x - 451100. Which is smaller: x or -1386?
x
Let y(x) = 2*x**2 + 212*x + 616. Let a be y(-3). Which is smaller: -18.04 or a?
-18.04
Let y = -136 + 139.7. Let m = -1.7 + y. Are -2/45 and m unequal?
True
Let m = 4.2331 + -4.1331. Which is smaller: -1127.4 or m?
-1127.4
Let s be (695/2780)/(1/4). Which is bigger: -72/781 or s?
s
Suppose 4*h + 9 = -3. Let r be (13 - (h + 8))*236/(-16). Which is smaller: -120 or r?
-120
Let d = 1025 - 553. Let v = 472.75 - d. Are 4 and v nonequal?
True
Suppose -3*d + 3 = 2*d - 4*a, d + 3*a - 12 = 0. Suppose -5*i + 2*i - 8 = 5*n, -d*n + 3*i = 0. Let k be (-4)/(-6)*(704/(-716) - -1). Which is greater: k or n?
k
Let a = 366.2403 - 0.2403. Is 1.3 at least as big as a?
False
Suppose -5*h = -3*n + 29 - 11, -2*h - 10 = -4*n. Let t(l) = l**3 + 22*l**2 + 95*l - 54. Let x be t(-7). Is n equal to x?
False
Let p be (-1006)/322 - (-144)/(-252). Let h = -1625/253 - p. Which is greater: h or -4?
h
Let r be (12/72*-4)/((-2)/(-3)). Is -8/1409 smaller than r?
False
Let b = -835 - 4541. Let r = b - -3625. Let y = 3437/2 + r. Is -33 smaller than y?
True
Let s = 14371 + -16438. Is -2070 smaller than s?
True
Let z be ((-742)/(-2597))/((-3)/(-7)). Which is smaller: -5695 or z?
-5695
Let s = 144 - -400. Let p = s - 377. Which is smaller: 168 or p?
p
Let c = 48 + 238. Suppose -2*v = 4*z - c, -2*z + 5*v = -7*z + 345. Let f = -56 + z. Is f at least 18?
True
Let n = -3050 - -3050. Is n at most 10/559?
True
Let v(a) = -a**2 + 20*a - 16. Let n be v(19). Let p be (196/(-350))/(-7)*(-85)/(-3). Is p equal to n?
False
Let s = -3172.12 - -3172. Is s < -1/225?
True
Let n be ((-8)/(-28))/((-4)/(-93632)). Which is greater: n or 6691?
6691
Let t = -237 - -241. Suppose -t*g = -2*d + 1800, -3*g + 3*d = -909 + 2265. Is g < -448?
False
Let d be (-1)/2*(-32)/(-4408). Let v(g) = -505*g + 1514. Let o be v(3). Is o greater than or equal to d?
False
Let g = 827005/9444 + 11/787. Is g <= 89?
True
Let i = -1465.2 - -1278. Let u = i - -84.5. Let c = 102 + u. Is c smaller than 0.4?
True
Suppose 15*t = 29*t + 84. Let z be ((-2)/(-5))/(t/(-30)). Let x = 11 + -11. Which is greater: x or z?
z
Let t be 0/(((-12)/(-24))/((-4)/(-8))). Let d = 62 - 161. Are t and d unequal?
True
Suppose 440*g + 2*u = 438*g - 1342, -4*g = -5*u + 2684. Is g equal to -668?
False
Suppose 174*o - 171*o + c = -6, -3*o - 4*c = 15. Is 7/1172 < o?
False
Let x be 4/(-12)*54/20. Let j = -2/5 - x. Let g = 1.69 - 5.69. Which is smaller: g or j?
g
Let j(c) = -3 - 22*c - 121*c**2 - 145*c**2 + 16*c. Let t be j(-1). Is -261 at most as big as t?
False
Let b = -0.112 - 0.075. Let d = -9.187 - b. Which is greater: 14 or d?
14
Suppose 4*n - 16318 = 3*z + 5*n, 0 = z + 5*n + 5458. Is z at least -5437?
False
Let y be ((-56)/3004)/(174 - 181). Let m = -2 - -3. Is y > m?
False
Suppose 12*j = 32 - 8. Let d(k) = -19*k**3 + 2*k**2 - 5*k + 11. Let v be d(j). Which is smaller: -142 or v?
v
Let g = 4 - 3.5. Let h = -2.996 - -3.12. Let t = 0.324 - h. Which is greater: t or g?
g
Let n be 987/(-10) + (-23)/46. Let z = 11528/115 + n. Which is smaller: z or 0?
0
Let b = -728.1 - -728.9. Is b smaller than 42?
True
Let l(m) = m - 3. Let u be l(8). Let z(v) = v**3 - 6*v**2 + 2. Let n be z(u). Let g be (-8)/(-140)*5 - (-6194)/(-266). Is g at least n?
True
Let l = -8.766 + -2.32. Let k = l - -0.086. Which is bigger: k or 9?
9
Let d be (-11570)/39 - (-20)/(-15) - 1. Is d equal to -307?
False
Let h = -169179 - -169331.859. Let f = h - 153. Is f not equal to -0.1?
True
Let w = 48.3 - 17.3. Let q = -5.638 + 36.685. Let t = q - w. Which is smaller: t or 0?
0
Let r = 137/8 - 135/8. Which is greater: -1060 or r?
r
Suppose 78*i - 334149 = 17*i + 105844. Is i greater than 7213?
False
Let z = 439.46 + -81.56. Let d = 458 - z. Let n = d + -100. Is n at most as big as 76?
True
Suppose 0*s + x - 2 = -s, -5*s + 2*x = -3. Suppose 14*l = 25 + 31. Let d be l/(-10) - 88/(-245). Are d and s unequal?
True
Let m be (44/(-12))/(24/144). Which is greater: -363 or m?
m
Let r = 1.6553 - -0.5847. Which is smaller: r or 1?
1
Let q be 9/(9/6 - 3). Let f be -3 - ((-184)/q + (-3 - -4)). Does -34 = f?
False
Let t(j) = -j**3 - 11*j**2 - 11*j - 9. Let y be t(-10). Let i = y - 1. Suppose o - m = -52, i*m + 6 = 2*m. Is -49 < o?
False
Let y(u) = -u**3 - 3*u**2 - 2*u - 2. Let s be y(-2). Let r be ((-16)/(-10) + s)/(5/(-50)). Let c = 3667/980 - -2/245. Is c greater than r?
False
Let k(s) = 357*s - 4922. Let i be k(43). Which is bigger: i or 10430?
10430
Let m = -136 + 8297/61. Suppose 0 = a + 3*o - 3, -5*a + o + 0*o = -31. Let h be 1 + -8 + a/1. Is m less than or equal to h?
False
Let o be (-39940)/139545 + (-69)/69*4/(-14). Which is greater: o or 0?
0
Let m(s) = -7*s**2 + 4*s - 1. Let g be m(3). Let k = g + 154/3. Which is smaller: 2/213 or k?
k
Suppose -253*i + 116*i = -39730. Which is smaller: i or 1155/4?
1155/4
Let x(t) = -2*t**3 - 47*t**2 + 18*t + 169. Let v be x(-25). Is v at most 1592?
False
Let f = 0.973 + -0.973. Let h = 0.417 - 0.017. Which is bigger: f or h?
h
Let x = -7622 + 7650. Which is smaller: x or -22?
-22
Let k = -246.4 + 187. Let h = 59.3 + k. Which is greater: h or 15/14?
15/14
Suppose 27*x = 25*x - 234. Let f = 145 + x. Which is bigger: 2 or f?
f
Let t be 6/(-3) - (-213)/107. Let z = 332/1177 + t. Let q be ((-15)/27)/(805/966). Which is greater: z or q?
z
Suppose -46 = 12*i + 38. Let r(v) = v - v**3 - 16*v - 2 - 7*v**2 - 2*v**2. Let q be r(i). Are 4 and q non-equal?
True
Let p be ((-36)/99)/(-2) + 668/(-44). Which is greater: p or -0.14?
-0.14
Suppose -7*h + 65 = -12*h. Let z = -141/11 - h. Which is bigger: z or 1?
1
Let p be (9/(-4 + -5))/(1/(-2)). Let u be p/(24/5 - (-22)/110). Which is smaller: u or 0.041?
0.041
Let h be (-147)/24 + (-5)/(-40). Let v(q) = -q**2 - 6*q. Let m be v(h). Is m less than or equal to 2/59?
True
Let m be 73/(-228) - 1/(-4). Let t = -4382.1 - -4382. Which is smaller: m or t?
t
Let p = -112.1423 + 3.1423. Let r be (22/(-14) - 0) + 2. Which is smaller: r or p?
p
Let r(k) = 125*k + 15199. Let c be r(-121). Are c and 960/13 equal?
False
Suppose 3*p - 2*s = 2*p + 6, 3*s + 9 = 3*p. Let x be 1/((15/12)/5). Let t be x/(-6) + 22/(-12). Which is bigger: p or t?
p
Suppose 2*i = 50 + 38. Let b be (-23*2/5)/((-242)/1210). Which is smaller: b or i?
i
Suppose 6 + 1 = 82*g + 7. Is g greater than or equal to -28/23?
True
Suppose 4 = 2*k, 2*k + k - 1626 = 5*i. Is -336 greater than i?
False
Let k(h) = 2*h**3 + 6*h**2 - 7*h - 10. Let r be k(-5). Let i be r*((-16)/(-10))/4. Let m = 30 + i. Is 1/8 smaller than m?
False
Let o be (-5 + 622/126)/(1926/(-21)). Which is greater: 0 or o?
o
Suppose 5*p = 2*p + 5*b - 17, 5*p + 7 = 3*b. Let h be (5/132)/(((-15)/(-10))/3). Let x = 8/33 - h. Are p and x equal?
False
Let i = -1869 + 1869.1. Are -495 and i non-equal?
True
Let v = 0.8 - 1. Let m = -262.7 + 34.7. Let s = 228.7 + m. Is s bigger than v?
True
Suppose -5*o + 25 = i, -3*o + 13 + 2 = 3*i. Let n = -18671/63 - -889/3. Which is greater: i or n?
i
Let h = 5027960347/39913 + -125973. Which is smaller: 1 or h?
h
Let p be (-7)/2*1*69*234/56511. Let u = -191796/445 + 431. Which is bigger: u or p?
u
Let l be 0 - 4 - (-160)/352*11. Is l at most 54/23?
True
Suppose 0 = -5*d + 5*j + 25, -4*d - 4*j = -7*d + 16. Suppose 0 = 4*f - 5*f + 4*q - 16, -5*f + 35 = 3*q. Suppose -d*l = -0 + f. Is l < -2/5?
True
Let o = 140/57 + 4/19. Let f = 11/4 - o. Suppose -z + 22 = -3*z + 4*t, 2*t = 2*z + 12. Is z > f?
False
Let a = 23 - 17. Suppose a*g = -4*j + 4*g - 248, 0 = 4*j + g + 248. Let d = 63 + j. Which is bigger: d or 5/22?
d
Suppose -5*f + c + 321 = 335, 2*f + c - 14 = 0. Let i = -1 - -3. Suppose -p - 15 = i*p. Is f greater than p?
True
Let h = -0.0291 + -270.9709. Let l = 271.1 + h. Which is smaller: 55 or l?
l
Let t = 3331 + -3327.4. Is t at most as big as -0.13?
False
Let m = 0.0178 - 13.4178. Let u = m + 3