*2 + 4*m + 1. Let o be q(4). Suppose 2*s - 4*s - 3*t - 126 = 0, 0 = 4*s - 3*t + 234. Let n be 3 - (-8)/(-2) - 55/s. Is n != o?
True
Let l(d) = -3*d. Suppose 0 = -3*o - 2*o + 30. Suppose 5*t + t = o. Let i be l(t). Which is greater: i or -2?
-2
Let i = -30.41 - -30. Let c = -2.41 - i. Are 18 and c non-equal?
True
Suppose -41*o = -25*o + 48. Is 6 at most as big as o?
False
Let i be 0/(-2 - 0) + -4 + 50. Suppose -2*z + i = k, -2 + 14 = -3*k. Is 25 smaller than z?
False
Let b be ((-16)/5)/((-10)/325). Let j = b + -91. Is j equal to 13?
True
Let i = -1306 - -1301. Is -7/2 less than i?
False
Let k = -128.42 - -131. Let g = 0.42 + k. Which is smaller: 1/2 or g?
1/2
Let g be (1644/40)/(51/34). Which is bigger: g or 28?
28
Let q be 6/9 + (-5 - 16/(-3)). Is q >= 2/295?
True
Let m be (-231)/55*(-30)/(-27). Is m <= 2?
True
Suppose -3*x - 17 = -8. Let r = 1 + x. Let y be r - (3 + (-26)/4). Is 3 at most as big as y?
False
Let j = -13 - -30. Do 8 and j have different values?
True
Let n = -3.35 - -3. Let v = n + -0.65. Which is greater: -0.01 or v?
-0.01
Let p = -0.2 - -0.4. Let v = 52 - 207/4. Is v > p?
True
Let b = 1293.4 + -1294. Which is smaller: -0.085 or b?
b
Let b = 0.07558 + 0.02442. Let u = -0.23 - -0.2. Let z = -4.97 + u. Is b greater than z?
True
Suppose h + 5 = 8. Suppose -h*w + 7 = 4*f, w + 4*f - 5 + 0 = 0. Which is bigger: -2/51 or w?
w
Let q(z) = 9*z - 18. Let f be q(3). Let r be 1/(-1)*3 - 0. Let w be 2 + (-3 - r) - -6. Which is bigger: w or f?
f
Suppose 0 = 4*v - 0*v - 28. Let a(h) = 8 + 7*h - h - 8*h. Let y be a(v). Which is bigger: -4 or y?
-4
Let h = -3 + 5. Let t = h + -1.8. Let g = -2.68 + 2.78. Which is bigger: g or t?
t
Suppose 3*k - 20 = -5*o - 5, 2*o - 6 = 0. Suppose k*s + 5*s + 775 = 0. Let w be 20/8*(-4)/s. Which is smaller: w or 0?
0
Let y = -166228/37 + 67759345/15096. Let l = -33/8 - y. Which is smaller: 0 or l?
l
Let l(o) = 1 - 5*o**2 + 4*o**2 + o**2 + o**2 - 3*o. Let b be l(2). Let k be (4*(-3)/(-48))/(27/(-16)). Is b < k?
True
Let u = 770 + -5391/7. Which is bigger: u or -9?
u
Suppose 10*m = -5*b + 5*m + 215, 3*b - 105 = 3*m. Which is greater: b or 8?
b
Let m = -18 + 21. Let n be (-1 - 5) + 3 - 1*-11. Is m less than n?
True
Let k be (-10)/6*390/(-650). Are k and 6/113 equal?
False
Suppose -2822 = 10*x - 2752. Does -71/11 = x?
False
Let d be 1*(-5)/3 - 18/(-27). Which is smaller: d or 8/105?
d
Suppose -5*q = 0, 2*p - 4*q - 16 = -0*q. Let b(f) = -6*f - 208. Let n be b(-36). Is n < p?
False
Suppose 9 = -3*u - 2*u - 2*x, 0 = 5*x + 10. Let o = 2 - 0. Let p = o - u. Is 0.1 greater than p?
False
Let w = -3.98 - -4. Let p = 0.18 + w. Let s be (7 + -6)*(-3)/(-7). Which is smaller: s or p?
p
Let y be 9/(4 - (-52)/(-16)). Let a be ((-14)/y)/(2/3). Is -3 less than a?
True
Let i = 94 + -123. Are -5 and i nonequal?
True
Suppose -2*p + 2*a = -14, -a = -4*p + 8 + 5. Let y be p/4 - 12/16. Which is greater: y or -2/9?
-2/9
Let t(u) = -u + 12. Let s be t(7). Let f = 0 + 0.1. Which is smaller: f or s?
f
Suppose -5*p = -10*p - k + 32, -2*k + 34 = 5*p. Suppose -4*q - p = -2*r - 8*q, 4*r - 3*q = 1. Let o = -638/5 + 127. Are r and o unequal?
True
Let t be 2*((-10)/(-6))/((-164)/6). Which is bigger: t or 1?
1
Suppose -4*x = -5*c - 6083, 3*x + x - 6092 = -4*c. Is 1522 less than x?
False
Suppose 8*a - 4*a = 4, 14 = -2*v - 4*a. Are v and -8 nonequal?
True
Let k be (4 - (0 + 3))/(-1). Let c(z) = 14*z**3 + 1. Let r be c(k). Which is smaller: -11 or r?
r
Let v = -113/20 + 1/20. Let d = 26/5 + v. Which is bigger: 1 or d?
1
Suppose 2*a - 4*a - 287 = -5*o, 0 = -3*o - 5*a + 197. Are o and 2/11 non-equal?
True
Let p be 3096/(-13) - (-8)/52. Let h = 459/2 + p. Let x = -8 - h. Is 2 at most x?
False
Let m(u) = -37*u + 4. Let c be m(1). Let i = 30 + c. Which is smaller: i or -1?
i
Suppose 5*g = 5*p - 0*p - 30, 0 = -p - g - 2. Let s be (12/(-10))/(p/(-5)). Suppose -2 = -j - s. Which is smaller: -4/7 or j?
j
Let h(a) = 23*a + 206. Let g be h(-9). Do -3/28 and g have different values?
True
Let b(o) = 11*o + 3. Let n(k) = 5*k + 2. Let x(l) = -4*b(l) + 9*n(l). Let m be x(-7). Let p be 62/(-22) - 45/(-15). Is p < m?
False
Suppose 0 = 34*d - 31*d + 252. Which is smaller: d or -83?
d
Let k = 172 - 200. Is k at least as big as -28?
True
Let s = 16 - 6. Suppose 8*j - s*j + 44 = 0. Is 22 bigger than j?
False
Suppose b = -2*n + 14, -2 + 36 = 3*b + 2*n. Let s be ((-12)/(-9))/(b/3). Let y be -3*((-21)/9 + 2). Which is smaller: y or s?
s
Let i be (-1)/((80/3830)/8). Is i > -381?
False
Let r be (-8253)/(-1703) + (0/(-2) - 5). Which is smaller: 29 or r?
r
Let x = -11197/375 + 448/15. Let i = -2 - -1. Is x at most as big as i?
False
Let o(v) = -v**3 + 7*v**2 - 10*v - 1. Let z be o(8). Let c = -76 - z. Is c equal to 68?
False
Let j be -1 - 1 - (1 - -7). Let x be 2*-2 + (-52)/j. Let k be 2/6 + (-35)/(-21). Which is greater: k or x?
k
Let p be 15/25 + (-97)/145. Let t be 0/(-8) - 2*1/2. Is t >= p?
False
Let d be (-2)/(-4)*0/4. Let y = 316 - 295. Which is greater: y or d?
y
Let c = -647 - -630. Are c and -43 non-equal?
True
Let r be (74 + 2 + -4)*(-36)/(-1488). Is r >= 2?
False
Let t = 906.3 - 913. Which is smaller: -0.3 or t?
t
Suppose 0 = -5*y - 3*w + 46, -3*w + 7*w - 32 = -4*y. Let m be 2/y + 108/132. Let r = 13264/33 - 402. Which is greater: m or r?
m
Let z = 4276/4543 + -54/59. Suppose 5*d = g + 1, -3*d + 3*g - 3 = 6. Are z and d non-equal?
True
Suppose 5*r + 13 = -27. Let m be 22/(-152) + (-2)/r. Let k be 2 - (102/45 - (-6)/15). Which is bigger: k or m?
m
Let r = 2.96 - -0.04. Let n = r - 2.96. Let d = 1.4 + 0.6. Which is greater: n or d?
d
Suppose v - 2*v - 12 = 0. Let p be 6/24 - (-30)/8. Suppose 4*q = -p*j - 44, 2*q = j + 4*j - 29. Is v <= q?
True
Suppose 4*v - 22 = 2. Let x = 85 + -82. Is x >= v?
False
Suppose -x = -4*h + 2*x - 29, -3*x + 4 = h. Let i = h - -4. Is 2 at least as big as i?
True
Let d be 3 - (0/(-2) - 0). Suppose -2*w + d = x - 4, -5*w + 31 = -2*x. Let n be ((-1)/(-6))/(84/(-504)). Do x and n have different values?
True
Let k be (3 - 2)/((-1)/(-1)). Let s = 98698/75 - 1316. Is k equal to s?
False
Let o be (24/60)/(1/(-30)). Suppose -2*h - 62 = 3*i, h + 2*h + 66 = -3*i. Let j = i - -5. Is o smaller than j?
False
Let n = -0.13 - -0.03. Let b = -18 - -19.1. Let q = n + b. Do q and -6 have the same value?
False
Suppose 5*w + 7*a - 442 = 6*a, -3*w + 4*a + 279 = 0. Is w greater than or equal to 89?
True
Let b(f) = -f**2 - 6*f - 1. Let a be b(-6). Let y = -49 + 979/20. Which is greater: a or y?
y
Let x(s) = 61*s. Let h be x(-3). Let g be 16/(4532/1556 - 3). Let o = g - h. Is 0.1 greater than o?
True
Let c = 13 - 13.4. Let y = -5.6 + c. Is 7 at most as big as y?
False
Let i be ((-22)/(-4))/((-12)/24). Let q = i + 2. Suppose -5*t + 0*z - 49 = 2*z, -3*t = -5*z + 17. Are q and t unequal?
False
Suppose 2*z + 2*z = 4*d + 48, d + 7 = -4*z. Suppose 11 - 13 = 2*i. Which is bigger: d or i?
i
Let a = 29.99 + -33. Let u = a + 0.01. Is u not equal to 1/4?
True
Let k(o) = 2*o**2 + 3*o. Let x be k(-3). Suppose 30*t + 476 = 26*t. Let z = -112 - t. Is z < x?
True
Suppose 8*v + 25 = 3*v, -a + 2*v - 20 = 0. Let x(j) = -j**3 + 4*j**2 - 2*j + 6. Let d be x(5). Which is smaller: a or d?
a
Let c be 610/15*(0 + (-9)/6). Let y be (-2)/12 + (c/(-14) - 4). Is y < 1?
True
Let x be (-3)/2*(-2)/(-6). Let f = 872 - 8723/10. Is x at least as big as f?
False
Suppose 2*q + 39 = 5*z, -3*q = -4*z + 20 + 7. Let y be (18/(-64))/(z/6). Let g = 9 + -10. Which is bigger: g or y?
y
Let i be -2*3/2*7. Suppose -16 = -4*u, u = -o - 2*u + 14. Let x be o/(-1 - 9/i). Is x at least as big as -5?
True
Suppose 5*x - 4 = 4*u - 3*u, -5*x = 3*u + 12. Let i(l) = l**2 + 4. Let n be i(6). Let v be n/56*8/(-5). Which is smaller: x or v?
v
Let m = -2809/91 + 215/7. Is m >= 15?
False
Let j = 70 - 65. Suppose -j*c + 3 = -2*c. Which is smaller: c or -1?
-1
Let f be (2/(-3))/(16/(-24)). Suppose 2*c = 7*i - 2*i + 23, 3*i + 21 = 3*c. Suppose -c = j - f. Which is greater: -18/7 or j?
-18/7
Suppose 0 = 6*j - 20 + 14. Let g be (-10)/66*(3 - 6). Is g <= j?
True
Let j be (17/(-2))/((-4)/(-952)). Let a = 2/5219587 - -94928628751/46976283. Let c = a + j. Which is smaller: -2 or c?
c
Suppose 36 = -6*l + 5*l. Let r = l - -37. Is r bigger than -21?
True
Let d = -31952 - -31953. Let x = -9.21 - -0.21. Let g = 2 + x. Which is greater: g or 