-26 - -26. Suppose -3*w = -0*w - 36. Let n be w/(-78) + (-129)/(-1092). Is m > n?
True
Suppose -4*v + 2*o - 19 = -183, -4*o = -2*v + 76. Suppose -9*i + 116 = 3*r - 14*i, -5*r + 214 = 2*i. Is v greater than or equal to r?
True
Let j = -1.7 + 1.6. Let u = -579.6 - -579. Which is smaller: j or u?
u
Let v be (2/18)/(218/12). Suppose -273 + 270 = 3*s. Is v < s?
False
Let f = 2028.1 - 2280. Is f <= -1?
True
Let k be ((-24)/10)/(15/(-50)). Suppose 5*y - 31 = 2*t, 0 = 2*t - 1 - 3. Let b = y - k. Which is greater: 1/37 or b?
1/37
Let a be 6/(-189)*(-60954)/8. Let r = a + -242. Is 0 smaller than r?
False
Let q = 21701.4 + -21701. Which is smaller: -44 or q?
-44
Let t = -549 + 548.9558. Let u = 0.0408 - t. Is 1 greater than or equal to u?
True
Let x be 48*-1 - (-1776)/(-74). Which is smaller: x or -85?
-85
Let r = 22.17 - 11.47. Let q = r - -62.3. Let h = 0 - 1. Which is smaller: h or q?
h
Let l(g) = g**2 + 26*g - 82. Let v be l(0). Which is smaller: v or 3/4?
v
Let q = -3341 - -3309. Which is bigger: -5 or q?
-5
Suppose 0 = k - 4*s - 521, -4*k = 5*s - 848 - 1320. Which is smaller: -5 or k?
-5
Let q be 2/(-44)*(163 - 165). Which is smaller: q or 3/461?
3/461
Let k(o) = -9*o - 6. Let r be k(-2). Let n be 25/2 + r/24. Let v = 51/4 - n. Are v and -2 non-equal?
True
Suppose -2*t + u + 3*u = -14, 0 = 7*t + u - 34. Let m be -4*-2*(-3)/(-12). Let g be (m - -2)/1 + -1. Is t not equal to g?
True
Suppose 3*j - 5 = 100. Suppose -4*q = 4, 2*w + q + 0*q = -j. Let d = 1477 + -1477.4. Is d < w?
False
Let r = 1 - -3. Let f = -3487.014 - -3484. Let x = 0.014 + f. Which is smaller: x or r?
x
Let d be 3/((55/160)/(-11)). Let c = d - -90. Which is bigger: -16/3 or c?
-16/3
Let m = 35 + -33. Suppose 27 = m*k + 9. Let a be (-30)/k*(-6)/(-165). Which is smaller: -1 or a?
-1
Let p be 0 - -4 - (1716/11 - -8 - 5). Is -150 greater than p?
True
Let q = 31377 + -8063865/257. Which is greater: q or -1?
q
Let n(q) = 25*q**3 - 327*q**2 + 26*q + 1. Let j be n(13). Is -9/28 < j?
True
Let k = -1.05 - -21.05. Let s = -20.4 + k. Let d be (2/28)/(3/(-12)). Which is bigger: s or d?
d
Let n = 28 - 15. Let h = 2.02 - -1.98. Which is smaller: h or n?
h
Let y = 262 - 146. Let r = y - 116.06. Is -12 smaller than r?
True
Suppose 0 = -2*p + 3*k - 958, 0 = -0*p + 2*p + 5*k + 974. Let x be ((-576)/504)/(20/(-5)). Is p at least as big as x?
False
Let w be 5 - (-5 + (-648)/(-63) - -2). Which is greater: w or 0.01?
0.01
Let j be (16/(-4))/8 - (-2796)/(-8). Let i = 359 + j. Is 10 not equal to i?
True
Let p be 4 - (-16*1)/(21980/(-1850) - -12). Which is smaller: p or 140?
p
Suppose -63 = t + 2*t. Suppose -3*f - 48 = 5*o + 38, 0 = -4*f + 3*o - 76. Which is greater: f or t?
t
Let g(k) be the third derivative of -k**6/120 + 11*k**5/60 + 31*k**4/24 + 29*k**2 + 3*k. Let w be g(15). Is -434 smaller than w?
False
Let k(j) = -4*j**2 - 5*j + 4. Let d be k(-4). Which is greater: d or -42?
d
Let j = -269/293 + 1483949/1172. Is j equal to 1266?
False
Suppose -178214 = -56*k - 50926. Which is smaller: k or 2/5?
2/5
Let n = 25/388 - 16493/1552. Which is smaller: n or -12?
-12
Let p(c) = -c**3 + 12*c**2 + 13*c - 4. Let b be p(13). Let z be 1 + b - 24/9*-3. Is 4 < z?
True
Suppose -3*o = 2*o. Let q be (-380)/(-1425) - 2/20. Is q smaller than o?
False
Suppose 0 = -4*b + 5*v - 12, 5*b - 2*v = -5*v - 15. Let j(w) = w + 1. Let i be j(b). Which is bigger: -0.33 or i?
-0.33
Let k be (-13805)/(-132) + 1 - (4 - -8). Which is bigger: -2/7 or k?
k
Let s be (-5856)/(-1220)*(111 - 0). Which is bigger: 533 or s?
533
Let d be (4/(-12))/(2/6). Let p = 75037 + -5777854/77. Is p less than d?
False
Suppose -3*m - 18 = -2*b + 16, 2*b - 18 = -m. Let h = -9 + b. Suppose -s + 3*w + 7 = 0, 0 = -0*s - 3*s - h*w + 54. Does s = 1?
False
Suppose -61*x + 63*x = -2. Let k be -4 - 3/(x/1). Which is bigger: k or 3/58?
3/58
Let f(v) = 12*v - 198. Let x be f(29). Is x greater than 9?
True
Let q(z) = -5*z**2 - 101*z - 104. Let b be q(-19). Which is smaller: -29 or b?
-29
Let m be (21/9)/(4704/(-504)). Let b = 45.91 - -1.09. Which is smaller: b or m?
m
Let v(q) = q**2 - 76*q + 1643. Let i be v(51). Is i >= 368?
True
Let i be 111/(-21) - 10/(-35). Let h be 78/i - (-10)/(-25). Let j be (-5)/10*h/(-18). Which is smaller: j or 0?
j
Let i = 99 - 89. Suppose -i*g + 30 = -5*g. Suppose -g*a + 7*a = 26. Is 24 greater than a?
False
Suppose 421 = 19*y + 15*y - 361. Which is smaller: -7 or y?
-7
Let c = -523 - -1056. Let x = c - 561. Is x <= 8?
True
Suppose 0 = -4*a + a + 6. Suppose 0 = a*n + 14. Suppose c - 3*p = -c - 19, 0 = -3*c - p - 34. Which is smaller: c or n?
c
Let j be ((10/3)/(-2))/(12/(-36)). Suppose -2*c - j*l = 7 + 22, -c - 5*l - 27 = 0. Let m be (-3 - (-205)/(-5))/c. Is 22 > m?
False
Let q = 291 + -288. Let w be q*5/(-240)*5. Let h(l) = l**2 - l. Let x be h(0). Is x >= w?
True
Let u(p) = p**3 - 8*p**2 + 6*p + 7. Let t be u(7). Let v = -671841/7 + 96663. Let m = -685 + v. Is m less than or equal to t?
False
Let h(j) = 2*j**2 + 2*j + 3. Let u be h(-5). Let s = -46 + u. Let q be (-6)/s - ((-4)/(-1))/(-4). Which is smaller: -2 or q?
-2
Let m = -2485 + 2461. Let u(p) = -p**3 + p - 13. Let w be u(0). Which is greater: w or m?
w
Let h(c) = -c**3 - 36*c**2 + 84*c + 319. Let p be h(-38). Suppose -252 = -5*r + r. Suppose -5*b = -12 - r. Does b = p?
True
Let h = -159501/18444310 + 6/685. Which is smaller: h or 0?
0
Let f = -1837 + 1837. Let d(c) = 3*c - 4. Let q be d(3). Suppose q*y = -5*l - 70, 2*l = 1 + 1. Which is bigger: f or y?
f
Let b = -1793 + 57371/32. Let d = 81/416 + b. Which is smaller: -1 or d?
-1
Let y be 110866/(-1232) - 42/112. Which is greater: y or -91?
y
Let v = 4057 - 4050. Is v smaller than -48.2?
False
Suppose -5*h = -3*c - 137, -5*h + 136 = -0*c - 4*c. Let s be (7/h)/((-2)/8). Which is bigger: s or -2/1139?
-2/1139
Let k = -2 - 0. Let c = -14741295/11 - -1338581. Let j = c - -1536. Does k = j?
False
Let m = -490 + 487.67. Let z = -123001 + 492003/4. Is z < m?
False
Let q be (-660)/(-144)*36/(-90). Let s(m) = -m - 8. Let v be s(-5). Which is smaller: v or q?
v
Let j = 250 + -442. Let f = -299 - j. Are -0.2 and f equal?
False
Let m be (5/15)/(2/6). Let o be (m/2)/(14/84). Suppose o*u + 16 = 22. Do -4 and u have different values?
True
Let o(w) = -w**3 + 30*w**2 + 118*w + 597. Let a be o(34). Suppose -3*f + 3*l = -57, 3*l = -3*f + 2*f + 23. Let d = 3 - f. Which is smaller: a or d?
d
Let z(f) = -3*f**2 + 219*f - 216. Let q be z(72). Which is greater: -4/3993 or q?
q
Suppose -244*h = -238*h - 6. Let v be 0 + (-16)/28 + h. Which is greater: v or 1.7?
1.7
Let j be -6*((-15)/(-6))/(-5). Let s = j - 5. Let n be (-36)/216*198/21. Which is greater: n or s?
n
Let w be 1*-3 - (2 + -8). Let h be ((-4)/2)/(2/(-6)*w). Let g be (0 + -1)/(h*(-2)/52). Are g and 13 nonequal?
False
Let a = -2 + 2.0606. Let c = -0.4606 + a. Which is smaller: c or -0.23?
c
Let k be 40/16 + (-1)/2. Let u(z) = 7*z - 10. Let g(x) = -3*x + 5. Let n(q) = k*u(q) + 5*g(q). Let b be n(26). Which is smaller: b or 2?
b
Suppose 3*p + 24 = -12. Let i be (-5)/(15/p) - (-4)/(-4). Suppose 5*l - i*l + 8 = 0. Is -4 less than or equal to l?
True
Let i = -0.114 + -80.886. Let u = -0.02 - -49.02. Let j = i + u. Which is greater: -1 or j?
-1
Let b = -32228 - -32220. Is -119.1 at most as big as b?
True
Let g(k) = 2*k**2 - 38*k + 24. Let n be g(20). Let h be ((-3)/(-6))/(1/134). Let p = n - h. Which is greater: p or 2?
2
Suppose -5*u = 3*o - 20, -39 = -11*u + 9*u + 5*o. Let a(y) = 15*y**3 - 2*y - 4*y**2 - 16*y**3 + 2*y**2 + 4 + 5*y. Let j be a(-3). Which is bigger: u or j?
u
Let a = 11 + -3. Let j be 46/a + -2*(-3)/(-8). Suppose 2*n - 12 = 4*o, -2*n = -4*n - j*o + 48. Are n and 13 unequal?
True
Let s be (-12)/(-10)*742/(-28) - -7. Is s greater than or equal to 9?
False
Let g = 32147 + -32076. Is g <= 19/5?
False
Suppose 16*s + 3981 = 19*s - 6*o, 0 = 2*s - 5*o - 2656. Which is greater: s or 1322?
s
Let w = -58.35 + 58. Let o = 0.35 - w. Let p = -136.6 + 137. Which is smaller: p or o?
p
Suppose 69 = 2*i - 1. Suppose -6139 = i*b - 399. Which is bigger: b or -162?
-162
Let f(h) = 6*h**2 - 6*h. Let s(y) = -7*y**2 + 7*y - 1. Let z(p) = 6*f(p) + 5*s(p). Let l be z(-2). Let r be 0 + (3/(-10) - 0). Which is smaller: r or l?
r
Let o be 1/((-551)/(-831) - 62/93). Is o less than or equal to -1389/5?
False
Let r(g)