 Which is smaller: g or j?
g
Let g = -50 - -19. Let p = -29 - g. Which is smaller: p or 0.08?
0.08
Let o be (-1 - 375/9)*6. Let h be (o/44 - -3) + 3. Which is greater: h or 3/5?
3/5
Suppose 4*z - 4 + 20 = 0. Let u be 33/45 - 3/(-18)*z. Which is smaller: u or -1?
-1
Suppose 2*w + w - 24 = 0. Suppose -3*o = -w*o + 25. Let b be (-1)/3 + (-16)/(-3). Do o and b have the same value?
True
Let u be 56/(-90) + 3/(-30)*-4. Suppose 5*i + 261 = -4*r, -i + 49 = -r + i. Let c = -1181/20 - r. Is u < c?
True
Let z = 251/5 + -50. Let w be 112/210 + (-4)/10. Let s = w + z. Which is smaller: 10 or s?
s
Let j = 43 - 37. Suppose -c + 60 = -j*c. Suppose 17 = -4*z - 3*q - 42, -2*z + 3*q - 7 = 0. Is z at most c?
False
Let v = 194 - 122. Let m = 71 - v. Which is smaller: -4 or m?
-4
Let l = 12 - 7. Suppose 2*m = -4*u + 10, l*u = 3*m - 8*m + 25. Let p be ((-8)/10)/(-6 - (-320)/50). Which is smaller: u or p?
p
Let z(v) = v**2 + 10*v - 19. Let m be z(-12). Suppose 7 = m*o + 2*o. Is 8/13 bigger than o?
False
Let d be (-1212 - -12)/10 - (-1 - -5). Which is greater: d or -249/2?
d
Let x = -75 - -172. Let a = 874/9 - x. Is -1/3 less than a?
True
Suppose 0 = -3*s - q + 22, -3*s + 38 = 2*s + q. Let t = s - 33/4. Which is bigger: 0.42 or t?
0.42
Let v = -23.5 + 25. Let f = 0.39 - -0.11. Let j = v + f. Which is smaller: -0.1 or j?
-0.1
Let i = 3.38 + -2.9. Let w = 0.45 - i. Let v be (8/(-66))/((-4)/6). Which is greater: w or v?
v
Suppose -23*o = 17*o + 40. Which is smaller: -115 or o?
-115
Suppose -5*p - 177 = 4*j, 5*j + 2*p - p = -195. Suppose -14*r = -13*r + 39. Which is smaller: j or r?
r
Let l = 899 - 196. Is l != 1?
True
Let j be (-8)/12 + 4/6. Suppose j = 5*f - 4*a + 4, 3 - 2 = 2*f + a. Suppose 3*d + 19 + 14 = f. Which is smaller: -12 or d?
-12
Suppose -z = -77 + 45. Let g = 52 - z. Is g at least -1?
True
Suppose 5*z + 98 = 3*x, 3*x = -3*z + 128 - 38. Let h(g) = -g**3 + 2*g**2 + 2*g - 1. Let k be h(2). Suppose w = c - 13, -4*w + k*c - 18 - x = 0. Is w >= -10?
True
Let w be (-6)/(18/373)*3/(-3). Which is smaller: 125 or w?
w
Let y be -1*(1 + -3)/1. Let o = -23 - -27. Suppose k + 5*r = 6 - 24, 0 = -4*k - o*r - 8. Is y < k?
False
Let h = 51.7 + 100.3. Is h smaller than -5?
False
Let j be (0 + -3 - -3)/2. Suppose j = g + 2*g - 6. Which is bigger: 1 or g?
g
Let p(h) = -h + 14. Let d be p(8). Suppose 5*c = 2*c + d. Are c and 0.1 nonequal?
True
Let i = -2031 + 2032. Which is bigger: 5/58 or i?
i
Let s be (((-3)/(-5))/((-13)/(-1495)))/3. Suppose j - 3 = 3*z, 3*j - 2*z + 0*z = s. Are j and 9 equal?
True
Suppose 5*j - 8*j = 0. Let r = -1313/99 + 146/11. Which is smaller: j or r?
j
Suppose 0 = -y - 4, -30*p - 2*y = -29*p. Suppose -8 = -2*a - 0. Suppose -u = 3*r - p*r + 179, -2*u - 142 = -a*r. Is r greater than 36?
False
Let u(h) = -h**3 + 6*h - 6. Let n be u(-3). Suppose 3*p - 34 = 4*s - 14, -n*s - 6 = 0. Are p and 4 unequal?
False
Suppose -15*s + 33*s + 90 = 0. Are -0.02 and s unequal?
True
Let d = -829 - -6625/8. Let c = 0 + 0. Which is bigger: d or c?
c
Let i be 2/(-5) - 212/20. Suppose 3*z + 4*r + 457 - 1405 = 0, 632 = 2*z - r. Let u be 2/7 + z/(-28). Is i greater than or equal to u?
True
Suppose 0 = 2*s + 2, -2*b + 240 = 4*s - 940. Let x be (-5 + b/116)*1. Suppose 0 = n - 6*n. Which is smaller: n or x?
n
Let p be (-10 - -10) + 2/(-421). Are -1 and p nonequal?
True
Let j(b) = 6*b - 12. Let g be j(2). Which is smaller: -46 or g?
-46
Let u = -193 + 203. Is 11 at least u?
True
Let b = 1510 + -1510.0006. Which is smaller: b or -0.2?
-0.2
Let q be (7/(-3))/((-3)/9). Let n = 14 + -9. Which is smaller: n or q?
n
Let t be (36/(-5))/((-4)/2). Let l be ((-14)/(-21))/((-2)/12). Let a be (8 - 18)*l/10. Is a less than or equal to t?
False
Let d(s) = -s**3 - s**2 + s - 1. Let x be d(1). Let l = 93 - 91. Which is smaller: l or x?
x
Let w(f) = -2*f**2 + 8*f - 3. Let a(r) = r**2 - r - 2. Let h be a(3). Let d be w(h). Which is smaller: -14/5 or d?
d
Suppose -2*k - 41 = -5*b + 8*b, 15 = -5*b. Are k and -24 nonequal?
True
Suppose 22*a = 19*a + 24. Suppose z + z = -a. Let f be -2 - (-7 + z/(-1)). Which is bigger: f or 1/9?
f
Let r(u) = -u**3 + 4*u**2 - 9*u + 8. Let m be r(3). Let s be (-36)/108 + m/(-3). Let q be 14/4 + -1 + 1. Which is bigger: q or s?
q
Let f = 3.61 - 2.61. Is -2/49 bigger than f?
False
Let t = -347532/2645 - 110/529. Let h = t - -132. Which is bigger: h or -4?
h
Let j be 74/7 + 4/(-7). Suppose 3*l - 5 = 79. Let w = l - 17. Is w bigger than j?
True
Let d(u) = -2*u + 2*u + u - u**2 + 9*u - 3. Suppose -4*p - 7 = -l - 1, 0 = -4*p + 4. Let z be d(l). Which is smaller: z or -11/3?
-11/3
Suppose -2*p + 32 = -4. Let k = p - 4. Let h be 6/k*(7 - 6). Which is greater: 1 or h?
1
Let f = 526 - 502.95. Let g = f + -23. Is g >= 4?
False
Suppose 0*j + 4 = 4*m - 4*j, 3*m + j - 3 = 0. Let l be 1/((-15)/(-18) - m). Let x(o) = -o**3 - 5*o**2 + 7*o. Let v be x(l). Which is greater: -5 or v?
-5
Let i be -57 + 62 - (-1 - -8). Which is smaller: i or -72/31?
-72/31
Suppose -2*d + 6 = n, 0 = -6*d + d - 5*n + 15. Which is greater: d or 27/7?
27/7
Let i(h) = -h**3 + 8*h**2 - 15*h. Let n be i(2). Let u be -1 + (-62)/33 + n/(-18). Which is smaller: u or -2?
u
Let t = -261 - -782/3. Which is smaller: 8 or t?
t
Suppose -92 - 41 = c. Do -135 and c have different values?
True
Suppose 0 = -4*d - 17 - 27. Let r be 1/(-2)*(1 - -21). Do d and r have the same value?
True
Let u be 0/20 - (-1 - -3 - 0). Is -7/4 equal to u?
False
Let k be (1 - 3 - -1)/((-3)/105). Which is smaller: k or 39?
k
Suppose 2*g + 1 = 3*v, 6*v - 9*v - g + 4 = 0. Which is smaller: v or -33?
-33
Let j be (1/(-3))/((-19915)/210). Which is greater: 0.1 or j?
0.1
Let i = -30/7 + 92/21. Let v = -390 - -1169/3. Is v < i?
True
Suppose 3*z + 7 = 2*d + 38, -4*d - 8 = 0. Let v = -8 - z. Which is bigger: 1 or v?
1
Let f = -156 - -110. Let n = -43 - f. Is n at most as big as -2/13?
False
Let m be 2 - (0 + -4 - -6). Let t = 10 + m. Is 7 smaller than t?
True
Let j be ((-100)/(-6))/(3/(-9)). Let u be 4/(-12) - j/(-12). Let m(l) = -l**3 - 14*l**2 + 13*l - 36. Let y be m(-15). Which is smaller: y or u?
y
Suppose -3*g = 5 - 35. Which is smaller: g or 9?
9
Suppose 3*u = 6, u - 10 = 4*l + 2*u. Let n(c) = 2*c + 32. Let x(h) = h**3 + 15*h**2 - 14*h + 16. Let m be x(-16). Let o be n(m). Are o and l nonequal?
True
Suppose -942*c + 954*c - 408 = 0. Is c bigger than 25?
True
Let j = -0.4 - 5.3. Let q = 2.7 + j. Is q at most as big as -1?
True
Suppose -15 = -3*o - 0*o. Let p be (-5)/(o/3) + 97. Let u = -660/7 + p. Which is smaller: u or 0.09?
u
Let o be (39/47)/(-3 - (-1 - 1)). Are o and -2 equal?
False
Let u(f) = 14*f + 139. Let y be u(-10). Which is greater: y or 2/517?
2/517
Let t = -533 - -534. Is 5/58 bigger than t?
False
Let i = -678 - -674. Suppose 2*a = -5*q + 3*q - 4, -2*q + 4 = -2*a. Are a and i unequal?
True
Let v be ((-1664)/(-552) - 3)*2. Is 1 <= v?
False
Suppose -7 = r + 47. Let g be (-3 - 24/(-9))/(3/r). Are g and 7 non-equal?
True
Let j be (-3)/(-4) - ((-85)/20 + 0). Suppose y - j*n + 17 = 0, 3*n + 4 = 7*n. Is y at most 0?
True
Let r = -190 + 140. Is r <= -1?
True
Suppose -7*j - 2065 = -4*k - 2*j, -2*k = 5*j - 1055. Is 518 smaller than k?
True
Let s = 1772 - 1772.2. Is -38.2 not equal to s?
True
Let c(w) = w - 3. Let m be c(8). Suppose -6*d + 4*d = 20. Let s = d + m. Is -4 > s?
True
Let w = -64.98 + 65. Let l = w + 0.98. Is 0.08 > l?
False
Let c be (4/(-8))/(15/4). Let a(v) be the third derivative of v**6/120 + v**5/15 + v**4/24 + 2*v**3/3 + 5*v**2. Let s be a(-4). Which is greater: s or c?
s
Let a be ((-2)/6)/((-9)/108). Suppose a*r = 6 - 10. Which is smaller: 6 or r?
r
Let q(c) = 2*c**3 - c**2 - 4*c - 3. Let w be q(-2). Suppose 5*m + 290 - 215 = 0. Is m not equal to w?
False
Let c = 28 - 116. Let z = c + 88. Is z != 7/5?
True
Let d = 91 - 91. Which is smaller: -1/12 or d?
-1/12
Suppose -5*x = -2*n - 4, -3 + 23 = 3*n - x. Let b = n + 2. Is 9 > b?
False
Let w be ((-256168)/(-37680))/(-41) + 1/6. Which is greater: w or 1?
1
Let i = -142 - -141. Which is smaller: 7 or i?
i
Let h be 4 + 0 - 21/7. Let f = 13 + h. Which is smaller: 15 or f?
f
Let g be (0 - -10)/(-1 + 0). Let d(c) = -c - 11. Let z be d(g). Let k = 260 + -2344/9. Is k less than z?
False
Let j = -2026 + 164108/81. Which is bigger: -1 or j?
j
Suppose 4*z = z + 5*f - 395, 0 = -3*z - 5*f - 415. Let