 x = -112 + m. Are x and -31 equal?
True
Suppose p - 2*a + 14813 = 0, -30*p + 5*a - 14810 = -29*p. Are p and -14817 nonequal?
True
Let n = -3916 - -3917. Which is smaller: n or 126/65?
n
Let x = 849 + -847. Let v = 127.99 - -3.01. Which is smaller: x or v?
x
Let f be 5/((-5775)/(-742)) + 3. Let u = f + -8/33. Which is smaller: u or 2?
2
Let a = 2282 + -4599. Let o be a/(-28) + (-3)/(-12). Is 84 smaller than o?
False
Let o be 12/(-24) + 1*310/4. Suppose o - 29 = -f. Which is greater: f or -49?
f
Let c = -14842 - -578840/39. Which is smaller: -23.9 or c?
-23.9
Suppose 31*m - 69 = 86. Suppose -z + 2*z + 1088 = 5*i, -m*z - 644 = -3*i. Which is greater: 0.2 or i?
i
Let m(f) = -8*f - 8. Let d be m(-4). Suppose 76 + d = 5*u. Suppose -5*y + u = 0, -2*y + 16 = 2*q + y. Is q greater than or equal to 20/7?
False
Let d be (64/(-11) - 10/55)*(-6)/(-12). Do -101/30 and d have different values?
True
Suppose 5*y + 0 = -5*w + 30, -w = 5*y - 14. Suppose -y*b = 2*b - 12. Suppose 3*p - 2*a - 14 = 0, p - b*a = -7*a. Which is smaller: p or 19/5?
19/5
Let k be 83/415*3/(12/4990)*54. Which is greater: k or 13474?
13474
Let w = -85.3 - -86.3. Is w <= -1.36?
False
Let v = -77.4 + 72.31. Let j = 2.09 + v. Let s = -3 - -2.6. Which is smaller: j or s?
j
Suppose -7*b - 5*a - 28 = -6*b, 44 = -2*b - 4*a. Let r be 1/(-6) + (-6)/b. Is r greater than or equal to 1?
False
Let q(o) = -o**3 + 4*o**2 + o - 4. Let w be q(4). Let b = -32151 - -417969/13. Is w greater than or equal to b?
False
Suppose 18 = -5*k + 4*t, 14*t + 10 = -2*k + 17*t. Let v(u) = u**2 + 21*u + 21. Let j be v(-16). Are j and k unequal?
True
Suppose 0 = -29*g + 33*g + 620. Let q = g + 156. Are 24/13 and q non-equal?
True
Let a = -242258/2199 + 661/6. Which is greater: 0 or a?
0
Suppose -5*j + 5*a = 3*a - 76642, 5*a - 61340 = -4*j. Let t be 2106/j - 1/(-28)*-4. Which is smaller: t or -1?
-1
Suppose -5*u - 91 = -a - 6*u, -71 = -a + 3*u. Let w = a - 70. Let n be (2/(-3))/(w/6). Which is smaller: -0.7 or n?
-0.7
Suppose 170*w + 141 + 70 = 41. Which is smaller: w or 3/673?
w
Let q be (-14)/(-60) + (2 - 2). Let v be 60/(-550)*11*4/18. Let s = q - v. Which is smaller: -27/5 or s?
-27/5
Let w(z) = 9*z**2 - 3*z + 2. Let h be w(1). Suppose 7*v = 2*v, -f - h = 5*v. Let u = 1.7 + 0.3. Which is greater: u or f?
u
Let p = 52.4 - 52. Let b = 3480 - 3481. Are p and b non-equal?
True
Let q = -7458 - -7464. Which is greater: 828 or q?
828
Let l = 223 + -875/4. Let o be -29*-4*1/4. Suppose 24*x - o*x + 25 = 0. Is x <= l?
False
Let q = 14028 - 15125. Is q greater than -7689/7?
True
Let l be 1/(-4) + (-62)/8. Let q = -577 - -577. Let j be 0 + q - 70/30*3. Which is bigger: j or l?
j
Let f = 688.7 - 677.7. Are f and -1/76 unequal?
True
Suppose -3536 = -29*l + 4505 + 543. Which is greater: l or 2082/7?
2082/7
Let v = -413 - -475. Suppose -35*g = -4*g + v. Is -2/3 at least g?
True
Let g = -16164 + 15451. Which is smaller: 2/21 or g?
g
Let x(p) = -2*p**3 - 14*p**2 - 64*p + 4. Let m be x(0). Let n(o) = -16*o - 5. Let z be n(-4). Is z >= m?
True
Let z = -3600.36 - -3600. Is 0.03 < z?
False
Suppose -30 = n + n. Suppose -253 + 421 = 3*x. Suppose -4*y + 14*l = 10*l + x, -y - 17 = -2*l. Which is bigger: y or n?
y
Let q be 3/(-55292)*(-608)/(-228). Which is smaller: q or 0?
q
Suppose 87*v - 100*v - 567 + 3687 = 0. Is v less than or equal to -10?
False
Let r = -7/2176 - 2155/6528. Let n = -96 + 56. Is r at most as big as n?
False
Let q be ((-12672)/188)/22 - (0 + -9). Is q < 5?
False
Let w = -477 + 316. Let k = w + 158.3. Which is greater: 1/4 or k?
1/4
Suppose -j + 45 = 2*j. Let x = 24226 - 314728/13. Is x > j?
True
Suppose -4*q - 4*k = 524, 395 = -3*q - 6*k + 2*k. Let l = q - -68. Let f = l - -67. Is f smaller than 6?
False
Let p be 0 - (0 + 1) - -1. Let o = -25.8 - -49.6. Let f = o - 23.65. Which is bigger: p or f?
f
Let m = -1922 + 1922. Suppose -5*l + 0*l + 75 = 0. Let t be ((-3)/24)/(l/12). Which is smaller: m or t?
t
Let j = -956 + 956. Which is smaller: j or 4/769?
j
Let p be -1 - 0 - 1/(-1). Let d be (-10)/(-356)*(-972)/(-405). Which is greater: d or p?
d
Let d(x) = -x**3 + 19*x**2 - 33*x + 17. Let b be d(17). Let i be ((-4)/(-9))/(b/(-3)). Let f = -61/255 - i. Are -1 and f equal?
False
Let d = 1.5826 - -887.4174. Which is greater: d or -4/7?
d
Let y = -78.1 - -77.1. Let m = 16 - 12. Which is greater: m or y?
m
Let k(n) = 31*n**2 - 21*n - 27. Let w be k(-9). Let j = 5581/2 - w. Are 118 and j non-equal?
True
Suppose 48 = -2*x + 4*x. Suppose 9*m - 8*m + 13 = 5*l, -3*l = -15. Suppose -9*p - m = -30. Are x and p equal?
False
Let a be (-2 - -1 - (-20)/38)*2/(-1488). Are 0.1 and a unequal?
True
Let r = -11 - 5. Let n(u) = -3*u - 45. Let l be n(r). Suppose 4*a = 5*z + 24, 13 = -l*z - 0*a + a. Which is bigger: z or -6?
z
Let v = -10529/9 + 1170. Let f = -3/19 + -10/57. Which is bigger: f or v?
v
Let k(u) = -18*u**2 + 16*u - 82. Let c be k(17). Which is greater: -5013 or c?
c
Let j = 52 + -51.9. Which is smaller: -4445 or j?
-4445
Suppose -g + m + 4*m = -45, 0 = 3*g - 4*m - 190. Let a be (-7)/(g/3)*-173*9. Let j = a - 466. Which is smaller: 0 or j?
0
Let s be 8 - 13047/(-9) - 5/3. Which is greater: s or 0?
s
Let b = -393 + 435. Let z be (b/21 - 278/54) + 3. Which is bigger: z or -2/11?
z
Suppose -2*s = -8, 0 = -l + 5*s - 4 - 17. Is -100/187 greater than l?
True
Suppose 119*l = 54*l + 29*l + 36. Is l less than or equal to 4.94?
True
Let a(t) = 7*t + 43. Let j be a(-6). Let u be 7*3/21*j. Is u at most 7/12?
False
Let g = -577 + 551. Let d = -115 - -169. Suppose -d = c - 29. Is g at least as big as c?
False
Let u(l) = -2*l - 50 + 52 - 2*l. Let x be u(-2). Suppose -6*b - 4 = -x. Is b less than -1/29?
False
Let s(g) = g + 19. Let c be s(11). Suppose -2*o = -c - 20. Suppose -149 = -4*i - 3*w - 53, 2*w = -2*i + 48. Which is greater: o or i?
o
Suppose -9*m = 22 - 67. Suppose -m*b = l - 3*l + 220, 0 = -4*l. Let d = b - -31. Which is smaller: -12 or d?
d
Let q(j) = -j + 8. Let b = -74 + 91. Let u be q(b). Let o be 4/((-12)/u)*5/15. Which is smaller: o or 3/55?
3/55
Suppose 0 = 4*h - 3*w + 12, 3*h = 8*h + 5*w - 20. Suppose -3*q - 4*x = 16, -q - 7*x + 12*x + 20 = h. Which is greater: -11/18 or q?
q
Let a = -2293.9 - -2294. Let x = 49 - 49.51. Let q = x - -24.51. Do q and a have the same value?
False
Let y = -5033618453/55 + 91523288. Let k = y - 1946243/660. Let h = k + -5/132. Is h at most 4?
True
Let l = -71 - -75. Let i be l + -2 + (-2*51)/2. Which is greater: -1 or i?
-1
Suppose 11*n - 12*n = 0, -3*m = -n - 387. Suppose -5*c - m = 5*z + 31, 4*c = -4. Let d be (0 - -5)/((-3)/18). Is d smaller than z?
False
Let w = -1466 + 1467. Which is smaller: w or -250?
-250
Let r be -1 + (24/(-7))/(-4). Let w = 433.19 + -433. Let s = 0.29 - w. Which is bigger: s or r?
s
Let r be -4 - -7 - 30/22. Suppose -4*y + 24 = -t, 2*t + 18 = -5*y + 7*y. Let k(l) = l**2 + 13*l + 39. Let j be k(t). Which is smaller: r or j?
r
Suppose -29*i = 20*i - 98. Which is smaller: -2/561 or i?
-2/561
Let f = 11 + -9. Suppose -f*w - 92 = -4*w. Let b = 2430 - 2383. Is b > w?
True
Let l be ((-18)/(-28) - 0)/(54/(-63)). Let z = -53.14 + 53. Which is smaller: z or l?
l
Suppose -2*u + 3*n - 8919 = 0, -89*u + 93*u = 5*n - 17837. Which is smaller: -1 or u?
u
Let d = 218 + -104. Suppose -4*j = -5*q + d, -2 - 2 = 4*j. Which is bigger: q or 21?
q
Let h = -906 - -1863/2. Let w = 175691 - 175691.3. Which is bigger: w or h?
h
Let y be 173/2*(-77)/28*2. Let p = 476 + y. Is p less than 0.158?
False
Let o(l) = 383*l - 766. Let y be o(2). Is y != -49/205?
True
Let r = 109 - 107. Suppose -12*a - 2*a = r*a. Is 2/33 > a?
True
Suppose 5*k + 0*z - 4*z = -93, -k - z - 15 = 0. Let q = -17 - k. Suppose q = -0*i + 5*i + 80. Is i smaller than -17?
False
Let m be 1116/(-496) - (-1)/4 - 1*-95. Which is smaller: 73 or m?
73
Let y = 2945 + -2945. Which is bigger: y or -4/369?
y
Suppose 0 = 2*w + 137 + 359. Let h = 247 + w. Let v be 2 + 276/(-137) + 0. Which is smaller: v or h?
h
Let c = -2519 + -442. Let w be ((-3)/(-8))/(c/(-84)). Is 1 less than or equal to w?
False
Let o be (60/(-35) + 2)*7. Let f be 1 + ((11 - 1)*o - 3). Let b be ((-2)/3)/(2/f). Is b greater than -4?
False
Suppose -88*z - 139*z - 151*z = 3924018. Which is smaller: z or -10382?
-10382
Suppose 0 = -28*u - 2810 + 458. Are -669/8 and u equal?
False
Let 