). Suppose t - r = -2*t. Is 5 <= t?
False
Let g = 0.315 - 0.015. Let l = 0 + -0.2. Let c = l + g. Which is bigger: 4 or c?
4
Let q = -69 + 39. Which is bigger: -57/2 or q?
-57/2
Let v = 16 - 13. Which is greater: v or 1?
v
Let p be -1*4/(-2)*-1. Let q = -6 - 1. Let v be 7/q + 0/(-1). Which is smaller: v or p?
p
Let z = 2 + -4. Let o be 1/(-2) - 12/8. Is o > z?
False
Suppose -2*o - 6 = 0, 0 = -5*d + d - 2*o + 2. Suppose 0 = 3*h - 29 + d. Are h and 8 nonequal?
True
Suppose 0 = -17*m + 15*m. Suppose -2*y - y + 9 = 0. Suppose y*j - 9 = 4*f, -5*f - 5 = -5*j + 5. Which is bigger: j or m?
m
Let v be 3/15 + 132/(-760). Which is smaller: v or 0?
0
Suppose 42 = 4*i - 0*r + r, 3*i - 4*r - 22 = 0. Is 2/5 at least i?
False
Let v = 0 + 0. Suppose 0 = -v*h + h. Suppose 3*x + x = h. Which is greater: 2/5 or x?
2/5
Let s = -38 - -24.6. Let u = -3.3 - s. Let o = 10 - u. Are o and 1 equal?
False
Let a(z) = 23 + 2*z**2 - z**2 - 17*z - 2*z + z. Let q be a(17). Is 5 bigger than q?
False
Let n be (5/(-28))/(18/(-2224)). Let m = n - 156/7. Let u = 1.4 - 1. Is m > u?
False
Let n = -0.19 - -0.19. Is 3 bigger than n?
True
Let l be (8/(-34))/(78/3). Let k = l - 653/1105. Which is greater: 0 or k?
0
Suppose -3*d + g = d - 8, 0 = 2*d - 3*g + 6. Let a be 1/(-5) - 22/(-10). Which is smaller: a or d?
a
Suppose 3*z - 76 = -16. Let h be 9/3 - 16/z. Is h greater than 1?
True
Suppose 5*k - 4 + 19 = 0. Let r be 1/(1/k - 0). Let m be ((-2)/(-9))/((-4)/r). Which is bigger: m or 1?
1
Let i be 2/8 - (-7)/(-28). Which is smaller: i or -2/43?
-2/43
Let w = 109 - 108.8. Let p(u) = 2*u**3 + u**2 - 1. Let x be p(-1). Which is bigger: x or w?
w
Suppose -4*i = -4*t - t - 236, 34 = i + 5*t. Which is greater: i or -1?
i
Suppose 11*m + 7 = -4. Which is bigger: m or -6/23?
-6/23
Let v be (4 - 2)/((-3)/(-6)). Suppose 3*a - 7 = -v*f + 2*a, 2*a = f - 13. Let n be (1/3)/(1/3). Are f and n unequal?
True
Let v = 0.37 - 0.07. Are v and 1 non-equal?
True
Let q(l) = l + 2. Let y = -1 - 4. Let a be q(y). Which is smaller: -4 or a?
-4
Suppose 0 = -2*a - 0*t - 2*t - 22, 5 = -t. Let l = a + 8. Let u = 17/2 + -8. Are l and u non-equal?
True
Let a = -0.05 - 0.19. Let v = a + 0.2. Let w = 0.06 - v. Which is greater: 4 or w?
4
Let x be 1 + 2 - (11 + -11). Is x not equal to 6?
True
Suppose 2*q - 65 + 157 = 0. Is q at most as big as -45?
True
Let a(j) = -j**3 + j. Let v be a(-1). Let y = -97/2 + 49. Which is greater: v or y?
y
Suppose n = -4 + 1. Let p(r) = 6*r + 6. Let w be p(n). Is 1/2 > w?
True
Let s be (12/(-14))/(3 - (-320)/35). Is s at least -1?
True
Suppose 4*r - 5 = -9*q + 4*q, 4*q - 8 = -4*r. Is r > 6?
False
Suppose -12 = 4*f, -4*y + 20 = -4*f + 4. Is 1/5 >= y?
False
Let d be (4/8)/(-1) - -1. Which is smaller: d or 0.7?
d
Suppose 14*w - 125 = 211. Is 24 equal to w?
True
Suppose 4*g - 18 = 4*s + 2, -5*s = -3*g + 19. Let i be (1/2)/(8/(-16)). Which is greater: s or i?
i
Let x = 1 - 1.02. Is x != 2?
True
Let d = -47 - -47. Which is greater: 142 or d?
142
Let u be 14/(-8)*(5 - 1). Let q(p) = p**2 + 8*p + 6. Let g be q(u). Let o = 2 - 1. Do g and o have the same value?
False
Suppose 0 = -4*a - 0 + 4. Suppose 14 + a = -3*b. Let n be b/30 - (-34)/(-12). Which is smaller: -2 or n?
n
Suppose 2*v + d = -4*d - 5, -4*v + 11 = 3*d. Suppose c - 11 = -5*f - 0, -4*c - v*f - 1 = 0. Let y = 0 + c. Does y = 2/5?
False
Let z = -171 - -184. Suppose -2*t - 26 = -2*h, -h + 6*h = t + 61. Which is greater: h or z?
z
Let r = -746 - -372. Let d = r - -1848/5. Is -5 at least as big as d?
False
Let l be 3/(-6) - 7/(-2). Let i be ((-2)/4)/(l/2). Suppose 0 = -2*r - 0*r. Which is smaller: i or r?
i
Let f = -97 + 93. Let h = -3 + 8. Suppose -2*j = 3 + h. Are j and f equal?
True
Let h(x) = x + 5. Let s be h(-5). Is s at most as big as -2/51?
False
Suppose o - 4 = -6. Let p be o/(-10) + 8/(-15). Let a be 1 - -1 - (-40)/(-22). Which is smaller: p or a?
p
Let r = 34189 + -16868. Let p = r + -86878/5. Let y = 55 + p. Which is bigger: 1 or y?
1
Let n = -67 - -67. Suppose -4*k = -3*b + 7*b, -5*b = -4*k - 9. Is n > k?
True
Let n = 253237/2499 + -5/2499. Let f = 100 - n. Is f < -1?
True
Let d(a) = -a + 9. Let n be d(18). Let t be n/(-15) + (-4)/(-10). Let r(h) = 2*h**2 - h + 1. Let i be r(1). Which is greater: i or t?
i
Let k = -10 + 7. Let n = -3 - k. Is n less than 1/7?
True
Suppose 0 = -2*n - v + 82, -148 = -4*n - 0*v + 2*v. Let s = n + -28. Is s less than or equal to 11?
True
Suppose -2*s + 144 = 42. Let y = s - 205/4. Which is smaller: y or 10?
y
Let q be ((-2)/12)/(25/15). Do q and -1 have the same value?
False
Suppose -5*h - 300 = -10*h. Let i = 182/3 - h. Is i less than 0.3?
False
Suppose -4*q + 11 = 3*i, 3*q + 7*i = 2*i. Suppose -4*l - 41 = 5*b, b = -l + 3*l + 3. Let j = q + b. Which is smaller: j or 2/5?
j
Suppose y - a - 2*a = 0, 5*y - a - 28 = 0. Let w be (4/8)/(5/y). Suppose -3*u = 2*u - 10. Is w greater than or equal to u?
False
Suppose 5*s = -0*o - o - 32, -4*s = o + 26. Which is smaller: s or -7?
-7
Let q be (580/(-15))/((-4)/6). Let u be (-21)/(-28) - q/(-8). Is 7 >= u?
False
Let j be -1 - (-902)/6 - 2. Let p = 146 - j. Which is smaller: 1 or p?
p
Let j = -2/1261 - -11359/6305. Which is smaller: j or 1/4?
1/4
Let p(z) = z**3 - 13*z**2 - 1. Let i be p(13). Are -2 and i nonequal?
True
Let c = -3 + 6. Suppose 13 = -c*l + 5*q, -q - 1 = l - 2. Which is smaller: 3/13 or l?
l
Let p = 419/2 - 214. Suppose -2*f + 4*u - 5*u - 14 = 0, -3*f + 1 = -4*u. Which is bigger: p or f?
p
Let u(r) = 2*r + 9. Let x be u(-7). Which is greater: x or -4?
-4
Let h = -0.02 - -0.01. Let g = 0.39 - h. Which is greater: 0.1 or g?
g
Let s = 5.39 - 0.49. Let x = s - 5. Which is smaller: x or 7?
x
Let q be 6/(-4) - 0/2. Suppose 4*a = 3*a - 3. Which is smaller: q or a?
a
Let x(f) = -f**3 - 12*f**2 + f - 13. Let m be x(-12). Let i be m/42 - (8 + -10). Let g = 2/21 + i. Which is bigger: g or 3?
3
Let w(x) = -x**3 - 10*x**2 + 7. Let l be w(-10). Let b = l - 8. Which is smaller: b or -8/5?
-8/5
Suppose 2*n - 4*b - 2 = 0, 10 = -0*b - 2*b. Are -7 and n equal?
False
Let a = 160 - 2082/13. Which is smaller: -1 or a?
-1
Let b be -3 - ((-9)/3 + 3). Suppose 0*z = 3*z - 3. Suppose -d - 4 = -z. Is d < b?
False
Let l = 89800381833/70 - 1282886234. Let y = 23636 + l. Let p = 1/70 - y. Do 2 and p have different values?
True
Let p = 4 + -5. Let c be 16*2/(-8)*2. Let l be (p + -1)/((-16)/c). Do l and -3/8 have different values?
True
Let s(k) = -k - 6. Let y be (1 + -3)*(-10)/(-4). Let v be s(y). Is v greater than or equal to -5/4?
True
Suppose -38 = 4*c + 46. Let x = -64/3 - c. Are 1 and x nonequal?
True
Let f = -3 - -1. Let x be (f/(-3))/((-6)/(-27)). Suppose 0 = -5*y - 0 + 5. Which is greater: y or x?
x
Let z = -3/2 + 2. Let k = -549/218 + 2/109. Which is greater: z or k?
z
Let v be -11 + 8 + 5702/(-25). Let p = v + 231. Which is smaller: -1 or p?
-1
Let s be (-32)/(-6)*6/2. Let n be 1*(s/22)/(-4). Let c = 1 - 0.9. Which is greater: n or c?
c
Let y = 355 + -337.1. Let u = -16 + y. Let g = u - 2. Is g greater than 2?
False
Let p be 30/385*(4 - 6 - 5). Let d = -5 - -3. Is p not equal to d?
True
Suppose -4*y - 69 = y + 3*q, -4*q - 36 = 2*y. Let f = 14 + y. Is 12/5 at most as big as f?
False
Let b = -1207/14 - -169/2. Let h = -31/14 - b. Which is bigger: 0 or h?
0
Let f = 26 + -23. Let o = 0 + 1. Which is smaller: o or f?
o
Suppose 2*f + 5*f = -1792. Let g = -962518/7 + 137247. Let x = f - g. Which is smaller: x or 0?
x
Let c(y) = y + 4. Let u be c(-4). Let j = -2 - -3. Let m be j/(-4) + 4/16. Is u equal to m?
True
Let x(o) = -o. Let h be x(6). Let n = h + 5. Which is smaller: 3/7 or n?
n
Let l = -15 + 14.95. Is l != 8?
True
Let w = -67 - -67. Are w and 2/227 unequal?
True
Suppose -2*i + 12 = 2. Suppose 2*s = 3*q + 10, 0 = s - 0 - i. Is q > -1?
True
Let k be 60/34*(-1)/(-3)*1. Which is smaller: k or 0?
0
Let w = -4 - -8. Suppose 7*l = w*l. Let c be 8/1*15/220. Which is smaller: l or c?
l
Suppose -12*y + 42 = -6. Do -20 and y have the same value?
False
Let f = 3 - -5. Suppose -g = -7 + f. Let q be 2 - (-1 - (-19)/5). Is q equal to g?
False
Let m be 1 + (-92)/20 - -3. Is m at most as big as -7?
False
Let v = 68 - 72. Which is smaller: 0 or v?
v
Let i(m) = -10*m**3 + 2*m**2 - 2*m + 1. Let a be i(1). Let r = 11 + a. Let b be (-4)/(-14) - (-22)/21. Which is smaller: r or b?
b
Suppose